• Complex
  • Title
  • Keyword
  • Abstract
  • Scholars
  • Journal
  • ISSN
  • Conference
搜索

Author:

Kong, Xiangjun (Kong, Xiangjun.) | Yu, Xuejun (Yu, Xuejun.)

Indexed by:

EI Scopus

Abstract:

Trusted requirements affect the trusted attributes of software, and have an important impact on whether trusted software can meet the trusted requirements. However, despite the continuous development of society and technology, the work of obtaining and analyzing trusted requirements has not become easy, has become more and more difficult. In the process of obtaining trusted requirements, a series of problems, such as low efficiency and inaccurate acquisition of requirements, serious software quality problems, budget overruns and delivery delays, have become increasingly prominent. In view of the above problems, this paper integrates the concept of meta-requirement into trusted requirement. Based on the respective characteristics of meta-requirement and trusted requirement, this paper puts forward the concept of trusted meta-requirement, and introduces the basic elements and characteristics. Then the trusted meta-requirements and some rules involved in it are formalized by the combination of first-order logic and set theory in order to improve the accuracy of the description and analysis of trusted requirements. © 2022 IEEE.

Keyword:

Formal logic Computer software selection and evaluation Budget control

Author Community:

  • [ 1 ] [Kong, Xiangjun]Beijing University of Technology, Faculty of Information Technology, Beijing, China
  • [ 2 ] [Yu, Xuejun]Beijing University of Technology, Faculty of Information Technology, Beijing, China

Reprint Author's Address:

Email:

Show more details

Related Keywords:

Related Article:

Source :

ISSN: 1062-922X

Year: 2022

Volume: 2022-October

Page: 2080-2084

Language: English

Cited Count:

WoS CC Cited Count:

SCOPUS Cited Count:

ESI Highly Cited Papers on the List: 0 Unfold All

WanFang Cited Count:

Chinese Cited Count:

30 Days PV: 0

Affiliated Colleges:

Online/Total:624/5308089
Address:BJUT Library(100 Pingleyuan,Chaoyang District,Beijing 100124, China Post Code:100124) Contact Us:010-67392185
Copyright:BJUT Library Technical Support:Beijing Aegean Software Co., Ltd.