Requirements Engineering

Editor’s Note: The following article is reprinted from the book Software Requirements Engineering, Second Edition, and is provided for readers who want to read a brief tutorial on requirements engineering. The views expressed in this article are the author’s only and do not represent directly or imply any official position or view of the Software Engineering Institute or Carnegie Mellon University.

[1]  Merlin Dorfman,et al.  Arts - an automated requirements traceability system , 1984, J. Syst. Softw..

[2]  Mark C. Paulk,et al.  Key Practices of the Capability Maturity Model , 1991 .

[3]  D. Hatley,et al.  The use of structured methods in the development of large software-based avionics systems , 1984 .

[4]  Richard H Cobb.  In praise of 4GLS , 1985 .

[5]  Anthony I. Wasserman,et al.  A graphical, extensible integrated environment for software development , 1987, SDE 2.

[6]  Barry W. Boehm,et al.  Software Engineering Economics , 1993, IEEE Transactions on Software Engineering.

[7]  Standard Glossary of Software Engineering Terminology , 1990 .

[8]  G. R. Gladden.  Stop the life-cycle, I want to get off , 1982, ACM SIGSOFT Softw. Eng. Notes.

[9]  Douglas T. Ross,et al.  Structured Analysis (SA): A Language for Communicating Ideas , 1977, IEEE Transactions on Software Engineering.

[10]  M W Alfor,et al.  Software Requirements Engineering Methodology (Development) , 1979 .

[11]  John R. Cameron,et al.  An overview of JSD , 1986, IEEE Transactions on Software Engineering.

[12]  Brian Randell,et al.  Software engineering : report on a conference sponsored by the NATO Science Committee, Garmisch, Germany, 7th to 11th October 1968 , 1969 .

[13]  Hassan Gomaa,et al.  Prototyping as a tool in the specification of user requirements , 1981, ICSE '81.

[14]  Mack W. Alford.  SREM at the Age of Eight; The Distributed Computing Design System , 1985, Computer.

[15]  Barry W. Boehm,et al.  Verifying and Validating Software Requirements and Design Specifications , 1989, IEEE Software.

[16]  Derek J. Hatley,et al.  Strategies for Real-Time System Specification , 1987 .

[17]  Frederick P. Brooks,et al.  Report of the defense science board task force on military software , 1987 .

[18]  D. Bjorner,et al.  On the use of formal methods in software development , 1987, ICSE '87.

[19]  Santosh K. Misra,et al.  Third-generation versus fourth-generation software development , 1988, IEEE Software.

[20]  Alan M. Davis,et al.  A Strategy for Comparing Alternative Software Development Life Cycle Models , 1988, IEEE Trans. Software Eng..

[21]  W. Royce.  Managing the development of large software systems: concepts and techniques , 2021, ICSE '87.

[22]  Daniel D. McCracken,et al.  Life cycle concept considered harmful , 1982, ACM SIGSOFT Softw. Eng. Notes.

[23]  Barry W. Boehm,et al.  A spiral model of software development and enhancement , 1986, Computer.