Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
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.