[DA [Go CIE [IE [Ko [Lo [Pf Ro [So [S0 [T [Yo V93 g93 EE8 EE1 t00 u95 101 b99 m97 m05 ha u01 1 414 ] 97 3.1 0 01 1软件需求基础 1.1软件需求定义 C5 C1 1.2产品与过程需 C1 求 1.3功能与非功能 C1 需求 1.4紧急特性 C2 1.5定量需求 C3 C6 S4 1.6系统需求与软 件需求 2需求过程 C5 2.1过程模型 C2 C2 C3 S1 2.2过程参与者 C2 C2 C3 C2 C3 S2 2.3过程支持与管 C3 C2 C2 理 C7 2.4过程质量与改 C2 C2 C5 进 S4 3需求获取 3.1需求来源 C2 C3 C1 S1 3.2获取技术 C2 C3 S2 4需求分析 C6 4.1需求分类 C8 C6 S1 4.2概念建模 米 C7 4.3体系结构设计 C10 与需求分配 4.4需求协商 C3 S4 5需求规格说明 5.1系统定义文档 5.2系统需求规格 C9 C3 说明
[DA V93 ] [Go g93 ] [IE EE8 30- 98] [IE EE1 414 3.1 -10 0] [Ko t00 ] [Lo u95 ] [Pf l01 ] [Ro b99 ] [So m97 ] [S0 m05 ] [T ha 97 ] [Yo u01 ] 1软件需求基础 1.1软件需求定义 * * C5 C1 1.2产品与过程需 求 * C1 1.3功能与非功能 需求 * C1 1.4紧急特性 C2 1.5定量需求 C3 S4 C6 1.6系统需求与软 件需求 2需求过程 * C5 2.1过程模型 C2 S1 * C2 C3 2.2过程参与者 C2 * C2 S2 C3 C2 C3 2.3过程支持与管 理 C3 C2 C2 C7 2.4过程质量与改 进 C2 S4 C2 C5 3需求获取 * * * * 3.1需求来源 C2 * C3 S1 * * C1 3.2获取技术 C2 * C3 S2 * * 4需求分析 * C6 4.1需求分类 * C8 S1 C6 4.2概念建模 * * C7 4.3体系结构设计 与需求分配 * C10 4.4需求协商 C3 S4 * 5需求规格说明 5.1系统定义文档 5.2系统需求规格 说明 * * C9 C3
5.3软件需求规格 C9 C3 说明 6需求确认 6.1需求评审 C4 C6 C5 S1 6.2建造原型 C6 C4 C8 C6 S2 6.3模型确认 C4 C5 S3 6.4接收测试 7实际考虑 7.1需求过程的迭 C5 C2 C6 代本质 S1 7.2变更管理 C5 S3 7.3需求属性 C5 S2 7.4需求追踪 C5 S4 7.5需求度量 推荐的软件需求参考文献 [Dav93]A.M.Davis,Software Requirements:Objects,Functions and States: Prentice-Hall,1993. [Gog93]J.Goguen and C.Linde,"Techniques for Requirements Elicitation,"presented at International Symposium on Requirements Engineering,San Diego,California,1993 [IEEE830-98]IEEE Std 830-1998,IEEE Recommended Practice for Software Requirements Specifications:IEEE,1998. (IEEE14143.1-00)IEEE Std14143.1-2000/IS0/IEC14143-1:1998,Information Technology-Software Measurement-Functional Size Measurement-Part 1:Definitions of Concepts:IEEE,2000. [Kot00]G.Kotonya and I.Sommerville,Requirements Engineering:Processes and Techniques:John Wiley and Sons,2000. [Lou95]P.Loucopulos and V.Karakostas,Systems Requirements Engineering: McGraw-Hill,1995. [Pf101]S.L.Pfleeger,"Software Engineering:Theory and Practice,"Second ed: Prentice-Hall,2001,Chap.4. [Rob99]S.Robertson and J.Robertson,Mastering the Requirements Process: Addison-Wesley,1999. [Som97]I.Sommerville and P.Sawyer,"Requirements engineering:A Good Practice Guide,John Wiley and Sons,1997,Chap.1-2. [Som05]I.Sommerville,"Software Engineering,Seventh ed:Addison-Wesley,2005. [Tha97]R.H.Thayer and M.Dorfman,Eds.,"Software Requirements Engineering.IEEE
5.3软件需求规格 说明 * * * C9 C3 6需求确认 * * 6.1需求评审 C4 S1 C6 C5 6.2建造原型 C6 C4 S2 C8 C6 6.3模型确认 * C4 S3 C5 6.4接收测试 * 7实际考虑 * * * 7.1需求过程的迭 代本质 C5 S1 C2 C6 7.2变更管理 C5 S3 7.3需求属性 C5 S2 7.4需求追踪 C5 S4 7.5需求度量 * 推荐的软件需求参考文献 [Dav93] A. M. Davis, Software Requirements: Objects,Functions and States: Prentice-Hall, 1993. [Gog93] J. Goguen and C. Linde, "Techniques for Requirements Elicitation," presented at International Symposium on Requirements Engineering, San Diego, California, 1993 [IEEE830-98] IEEE Std 830-1998, IEEE Recommended Practice for Software Requirements Specifications: IEEE,1998. (IEEE14143.1-00) IEEE Std 14143.1-2000//ISO/IEC14143-1:1998, Information Technology-Software Measurement-Functional Size Measurement-Part 1: Definitions of Concepts: IEEE, 2000. [Kot00] G. Kotonya and I. Sommerville, Requirements Engineering: Processes and Techniques: John Wiley and Sons, 2000. [Lou95] P. Loucopulos and V. Karakostas, Systems Requirements Engineering: McGraw-Hill, 1995. [Pfl01] S. L. Pfleeger, "Software Engineering: Theory and Practice," Second ed: Prentice-Hall, 2001, Chap. 4. [Rob99] S. Robertson and J. Robertson, Mastering the Requirements Process: Addison-Wesley, 1999. [Som97] I. Sommerville and P. Sawyer, "Requirements engineering: A Good Practice Guide," John Wiley and Sons, 1997, Chap. 1-2. [Som05] I. Sommerville, "Software Engineering," Seventh ed: Addison-Wesley, 2005. [Tha97] R. H. Thayer and M. Dorfman, Eds., "Software Requirements Engineering." IEEE
Computer Society Press,1997,176-205,389-404. [You01]R.R.You,Effective Requirements Practices:Addison-Wesley,2001. 附录A深入阅读的文献 (Ale02)I.Alexander and R.Stevens,Writing Better Requirements:Addison-Wesley, 2002. (Ard97)M.Ardis,"Formal Methods for Telecommunication System Requirements:A survey of Standardized Languages,Annals of Software Engineering,vol.3,1997 (Ber97)V.Berzins and al,"A Requirements Evolution Model for Computer Aided Prototyping,"presented at Ninth IEEE International Conference on Software Engineering and Knowledge Engineering,Skokie,Illinois:Knowledge Systems Institute,1997 (Bey95)H.Beyer and K.Holtzblatt,"Apprenticing with the Customer,Communications of the ACM vol.38,iss.5,45-52,May,1995 (Bru95)G.Bruno and R.Agarwal,"Validating Software Requirements Using Operational Models,"presented at Second Symposium on Software Quality Techniques and Acquisition Criteria,Florence,Italy,1995 (Bry94)E.Bryne,"IEEE Standard 830:Recommended Practice for Software Requirements Specification,"presented at IEEE International Conference on Requirements Engineering,1994 (Buc94)G.Bucci and al,"An Object-Oriented Dual Language for Specifying Reactive Systems,"presented at IEEE International Conference on Requirements Engineering, 1994 (Bus95)D.Bustard and P.Lundy,"Enhancing Soft Systems Analysis with Formal Modeling,"presented at Second International Symposium on Requirements Engineering, 1995 (Che94)M.Chechik and J.Gannon,"Automated Verification of Requirements Implementation,"presented at Proceedings of the International Symposium on Software Testing and Analysis,Special Issue,1994 (Chu95)L.Chung and B.Nixon,"Dealing with Non-Functional Requirements:Three Experimental Studies of a Process-Oriented Approach,"presented at Seventeenth IEEE International Conference on Software Engineering,1995 (Cia97)P.Ciancarini and al,"Engineering Formal Requirements:An Analysis and Testing Method for Z Documents,Annals of Software Engineering,vol.3,1997 (Cre94)R.Crespo,"We Need to Identify the Requirements of the Statements of Non-Functional Requirements,"presented at International Workshop on Requirements Engineering:Foundations of Software Quality,1994 (Cur94)P.Curran and al,"BORIS-R Specification of the Requirements of a Large-Scale Software Intensive System,"presented at Requirements Elicitation for Software-Based Systems,1994 (Dar97)R.Darimont and J.Souquieres,"Reusing Operational Requirements:A Process-Oriented Approach,"presented at IEEE International Symposium on Requirements Engineering,1997 (Dav94)A.Davis and P.Hsia,"Giving Voice to Requirements Engineering:Guest
Computer Society Press, 1997, 176-205, 389-404. [You01] R. R. You, Effective Requirements Practices: Addison-Wesley, 2001. 附录A 深入阅读的文献 (Ale02) I. Alexander and R. Stevens, Writing Better Requirements: Addison-Wesley, 2002. (Ard97) M. Ardis, "Formal Methods for Telecommunication System Requirements: A survey of Standardized Languages," Annals of Software Engineering, vol. 3, 1997 (Ber97) V. Berzins and al, "A Requirements Evolution Model for Computer Aided Prototyping," presented at Ninth IEEE International Conference on Software Engineering and Knowledge Engineering, Skokie, Illinois: Knowledge Systems Institute, 1997 (Bey95) H. Beyer and K. Holtzblatt, "Apprenticing with the Customer," Communications of the ACM, vol. 38, iss.5, 45-52, May, 1995 (Bru95) G. Bruno and R. Agarwal, "Validating Software Requirements Using Operational Models," presented at Second Symposium on Software Quality Techniques and Acquisition Criteria, Florence, Italy, 1995 (Bry94) E. Bryne, "IEEE Standard 830: Recommended Practice for Software Requirements Specification," presented at IEEE International Conference on Requirements Engineering, 1994 (Buc94) G. Bucci and al, "An Object-Oriented Dual Language for Specifying Reactive Systems," presented at IEEE International Conference on Requirements Engineering, 1994 (Bus95) D. Bustard and P. Lundy, "Enhancing Soft Systems Analysis with Formal Modeling," presented at Second International Symposium on Requirements Engineering, 1995 (Che94) M. Chechik and J. Gannon, "Automated Verification of Requirements Implementation," presented at Proceedings of the International Symposium on Software Testing and Analysis, Special Issue, 1994 (Chu95) L. Chung and B. Nixon, "Dealing with Non-Functional Requirements: Three Experimental Studies of a Process-Oriented Approach," presented at Seventeenth IEEE International Conference on Software Engineering, 1995 (Cia97) P. Ciancarini and al, "Engineering Formal Requirements: An Analysis and Testing Method for Z Documents," Annals of Software Engineering, vol. 3, 1997 (Cre94) R. Crespo, "We Need to Identify the Requirements of the Statements of Non-Functional Requirements," presented at International Workshop on Requirements Engineering: Foundations of Software Quality, 1994 (Cur94) P. Curran and al, "BORIS-R Specification of the Requirements of a Large-Scale Software Intensive System," presented at Requirements Elicitation for Software-Based Systems, 1994 (Dar97) R. Darimont and J. Souquieres, "Reusing Operational Requirements: A Process-Oriented Approach," presented at IEEE International Symposium on Requirements Engineering, 1997 (Dav94) A. Davis and P. Hsia, "Giving Voice to Requirements Engineering: Guest
Editors'Introduction,"rements Engineering:Guest Editors'Introduction,"IEEE Software,vol.11,iss.2,12-16,March,1994 (Def94)J.DeFoe,"Requirements Engineering Technology in Industrial Education, presented at IEEE International Conference on Requirements Engineering,1994 (Dem97)E.Demirors,"A Blackboard Framework for Supporting Teams in Software Development,"presented at Ninth IEEE International Conference on Software Engineering and Knowledge Engineering,Skokie,Illinois:Knowledge Systems Institute,1997 (Die95)M.Diepstraten,"Command and Control System Requirements Analysis and System Requirements Specification for a Tactical System,"presented at First IEEE International Conference on Engineering of Complex Computer Systems,1995 (Dob94)J.Dobson and R.Strens,"Organizational Requirements Definition for Information Technology,"presented at IEEE International Conference on Requirements Engineering,1994 (Duf95)D.Duffy and al,"A Framework for Requirements Analysis Using Automated Reasoning,"presented at Seventh International Conference on Advanced Information Systems Engineering,1995 (Eas95)S.Easterbrook and B.Nuseibeh,"Managing Inconsistencies in an Evolving Specification,"presented at Second International Symposium on Requirements Engineering,1995 (Edw95)M.Edwards and al,"RECAP:A Requirements Elicitation,Capture,and Analysis Process Prototype Tool for Large Complex Systems,"presented at First IEEE International Conference on Engineering of Complex Computer Systems,1995 (ElE95)K.El-Emam and N.Madhavji,"Requirements Engineering Practices in Information Systems Development:A Multiple Case Study,presented at Second International Symposium on Requirements Engineering,1995 (Fai97)R.Fairley and R.Thayer,"The Concept of Operations:The Bridge From Operational Requirements to Technical Specifications,Annals of Software Engineering,vol.3,1997 (Fic95)S.Fickas and M.Feather,"Requirements Monitoring in Dynamic Environments," presented at Second International Symposium on Requirements Engineering,1995 (Fie95)R.Fields and al,"A Task-Centered Approach to Analyzing Human Error Tolerance Requirements,presented at Second International Symposium on Requirements Engineering,1995 (Gha94)J.Ghajar-Dowlatshahi and A.Varnekar,"Rapid Prototyping in Requirements Specification Phase of Software Systems,"presented at Fourth International Symposium on Systems Engineering,Sunnyvale,California: National Council on Systems Engineering,1994 (Gib95)M.Gibson,"Domain Knowledge Reuse During Requirements Engineering," presented at Seventh International Conference on Advanced Information Systems Engineering (CAiSE '95),1995 (Gol94)L.Goldin and D.Berry,"AbstFinder:A Prototype Abstraction Finder for Natural Language Text for Use in Requirements Elicitation:Design,Methodology and Evaluation,presented at IEEE International Conference on Requirements Engineering
Editors' Introduction," rements Engineering: Guest Editors' Introduction," IEEE Software, vol. 11, iss. 2, 12-16, March, 1994 (Def94) J. DeFoe, "Requirements Engineering Technology in Industrial Education," presented at IEEE International Conference on Requirements Engineering, 1994 (Dem97) E. Demirors, "A Blackboard Framework for Supporting Teams in Software Development," presented at Ninth IEEE International Conference on Software Engineering and Knowledge Engineering, Skokie, Illinois: Knowledge Systems Institute, 1997 (Die95) M. Diepstraten, "Command and Control System Requirements Analysis and System Requirements Specification for a Tactical System," presented at First IEEE International Conference on Engineering of Complex Computer Systems, 1995 (Dob94) J. Dobson and R. Strens, "Organizational Requirements Definition for Information Technology," presented at IEEE International Conference on Requirements Engineering, 1994 (Duf95) D. Duffy and al, "A Framework for Requirements Analysis Using Automated Reasoning," presented at Seventh International Conference on Advanced Information Systems Engineering, 1995 (Eas95) S. Easterbrook and B. Nuseibeh, "Managing Inconsistencies in an Evolving Specification," presented at Second International Symposium on Requirements Engineering, 1995 (Edw95) M. Edwards and al, "RECAP: A Requirements Elicitation, Capture, and Analysis Process Prototype Tool for Large Complex Systems," presented at First IEEE International Conference on Engineering of Complex Computer Systems, 1995 (ElE95) K. El-Emam and N. Madhavji, "Requirements Engineering Practices in Information Systems Development: A Multiple Case Study," presented at Second International Symposium on Requirements Engineering, 1995 (Fai97) R. Fairley and R. Thayer, "The Concept of Operations: The Bridge From Operational Requirements to Technical Specifications," Annals of Software Engineering, vol. 3, 1997 (Fic95) S. Fickas and M. Feather, "Requirements Monitoring in Dynamic Environments," presented at Second International Symposium on Requirements Engineering, 1995 (Fie95) R. Fields and al, "A Task-Centered Approach to Analyzing Human Error Tolerance Requirements," presented at Second International Symposium on Requirements Engineering, 1995 (Gha94) J. Ghajar-Dowlatshahi and A. Varnekar, "Rapid Prototyping in Requirements Specification Phase of Software Systems," presented at Fourth International Symposium on Systems Engineering, Sunnyvale, California: National Council on Systems Engineering, 1994 (Gib95) M. Gibson, "Domain Knowledge Reuse During Requirements Engineering," presented at Seventh International Conference on Advanced Information Systems Engineering (CAiSE '95), 1995 (Gol94) L. Goldin and D. Berry, "AbstFinder: A Prototype Abstraction Finder for Natural Language Text for Use in Requirements Elicitation: Design, Methodology and Evaluation," presented at IEEE International Conference on Requirements Engineering
1994 (Got97)0.Gotel and A.Finkelstein,"Extending Requirements Traceability:Lessons Learned from an Industrial Case Study,"presented at IEEE International Symposium on Requirements Engineering,1997 (Hei96)M.Heimdahl,"Errors Introduced during the TACS II Requirements Specification Effort:A Retrospective Case Study,"presented at Eighteenth IEEE International Conference on Software Engineering,1996 (Hei96a)C.Heitmeyer and al,"Automated Consistency Checking Requirements Specifications,ACM Transactions on Software Engineering and Methodology,vol.5, iss.3,231-261,July,1996 (Hol95)K.Holtzblatt and H.Beyer,"Requirements Gathering:The Human Factor," Communications of the ACM vol.38,iss.5,31-32,May,1995 (Hud96)E.Hudlicka,"Requirements Elicitation with Indirect Knowledge Elicitation Techniques:Comparison of Three Methods,"presented at Second IEEE International Conference on Requirements Engineering,1996 (Hug94)K.Hughes and al,"A Taxonomy for Requirements Analysis Techniques," presented at IEEE International Conference on Requirements Engineering,1994 (Hug95)J.Hughes and al,"Presenting Ethnography in the Requirements Process," presented at Second IEEE International Symposium on Requirements Engineering,1995 (Hut94)A.T.F.Hutt,Ed.,"Object Analysis and Design-Comparison of Methods. Object Analysis and Design Description of Methods."John Wiley Sons,1994. (INCOSE00)INCOSE,How To:Guide for all Engineers,Version 2:International Council on Systems Engineering,2000. (Jac95)M.Jackson,Software Requirements and Specifications.Reading, Massachusetts:Addison Wesley,1995. (Jac97)M.Jackson,"The Meaning of Requirements,Annals of Software Engineering, vo1.3,1997 (Jon96)S.Jones and C.Britton,"Early Elicitation and Definition of Requirements for an Interactive Multimedia Information System,"presented at Second IEEE International Conference on Requirements Engineering,1996 (Kir96)T.Kirner and A.Davis,"Nonfunctional Requirements for Real-Time Systems, Advances in Computers,1996 (Kle97)M.Klein,"Handling Exceptions in Collaborative Requirements Acquisition, presented at IEEE International Symposium on Requirements Engineering,1997 (Kos97)R.Kosman,"A Two-Step Methodology to Reduce Requirements Defects,Annals of Software Engineering,vol.3,1997 (Kro95)J.Krogstie and al,"Towards a Deeper Understanding of Quality in Requirements Engineering,"presented at Seventh International Conference on Advanced Information Systems Engineering (CAiSE'95),1995 (Lal95)V.Lalioti and B.Theodoulidis,"Visual Scenarios for Validation of Requirements Specification,"presented at Seventh International Conference on Software Engineering and Knowledge Engineering,Skokie,Illinois:Knowledge Systems Institute,1995 (Lam95)A.v.Lamsweerde and al,"Goal-Directed Elaboration of Requirements for a
1994 (Got97) O. Gotel and A. Finkelstein, "Extending Requirements Traceability: Lessons Learned from an Industrial Case Study," presented at IEEE International Symposium on Requirements Engineering, 1997 (Hei96) M. Heimdahl, "Errors Introduced during the TACS II Requirements Specification Effort: A Retrospective Case Study," presented at Eighteenth IEEE International Conference on Software Engineering, 1996 (Hei96a) C. Heitmeyer and al, "Automated Consistency Checking Requirements Specifications," ACM Transactions on Software Engineering and Methodology, vol. 5, iss. 3, 231-261, July, 1996 (Hol95) K. Holtzblatt and H. Beyer, "Requirements Gathering: The Human Factor," Communications of the ACM, vol. 38, iss. 5, 31-32, May, 1995 (Hud96) E. Hudlicka, "Requirements Elicitation with Indirect Knowledge Elicitation Techniques: Comparison of Three Methods," presented at Second IEEE International Conference on Requirements Engineering, 1996 (Hug94) K. Hughes and al, "A Taxonomy for Requirements Analysis Techniques," presented at IEEE International Conference on Requirements Engineering, 1994 (Hug95) J. Hughes and al, "Presenting Ethnography in the Requirements Process," presented at Second IEEE International Symposium on Requirements Engineering, 1995 (Hut94) A. T. F. Hutt, Ed., "Object Analysis and Design - Comparison of Methods. Object Analysis and Design - Description of Methods." John Wiley & Sons, 1994. (INCOSE00) INCOSE, How To: Guide for all Engineers, Version 2: International Council on Systems Engineering, 2000. (Jac95) M. Jackson, Software Requirements and Specifications. Reading, Massachusetts: Addison Wesley, 1995. (Jac97) M. Jackson, "The Meaning of Requirements," Annals of Software Engineering, vol. 3, 1997 (Jon96) S. Jones and C. Britton, "Early Elicitation and Definition of Requirements for an Interactive Multimedia Information System," presented at Second IEEE International Conference on Requirements Engineering, 1996 (Kir96) T. Kirner and A. Davis, "Nonfunctional Requirements for Real-Time Systems," Advances in Computers, 1996 (Kle97) M. Klein, "Handling Exceptions in Collaborative Requirements Acquisition," presented at IEEE International Symposium on Requirements Engineering, 1997 (Kos97) R. Kosman, "A Two-Step Methodology to Reduce Requirements Defects," Annals of Software Engineering, vol. 3, 1997 (Kro95) J. Krogstie and al, "Towards a Deeper Understanding of Quality in Requirements Engineering," presented at Seventh International Conference on Advanced Information Systems Engineering (CAiSE '95), 1995 (Lal95) V. Lalioti and B. Theodoulidis, "Visual Scenarios for Validation of Requirements Specification," presented at Seventh International Conference on Software Engineering and Knowledge Engineering, Skokie, Illinois: Knowledge Systems Institute, 1995 (Lam95) A. v. Lamsweerde and al, "Goal-Directed Elaboration of Requirements for a