摘要: In this report, I review the notations used for specifying software requirements211in the Yourdon Systems Method (1993 version), the Fusion method (1996 version), 211and the Unified Modeling Language (version 1.1, autumn 1997). ... 展开 In this report, I review the notations used for specifying software requirements211in the Yourdon Systems Method (1993 version), the Fusion method (1996 version), 211and the Unified Modeling Language (version 1.1, autumn 1997). I analyze and 211compare these notations in terms of a framework for requirement specification 211that is derived from systems engineering. The different structures of the 211requirement specifications in each of these notations turn out to have much in 211common. A detailed analysis of the notations leads to the identification of a 211common structure, which incorporates elements of the Yourdon Systems Method as 211well as of the object-oriented methods. The analysis shows that underneath the 211differences between structured and object-oriented requirement specification, 211there is a consensus about the structure of a software requirement specification. 211This leads to the definition of a Toolkit for Requirements and Design Engineering 211(TRADE), outlined in this report. 收起