Requirements engineering in the year 00: a research perspective

ABSTRACT

Requirements engineering (RE) is concerned with the identification of the goals to be achieved by the envisioned system, the operationalization of such goals into services and constraints, and the assignment of responsibilities for the resulting requirements to agents such as humans, devices, and software. The processes involved in RE include domain analysis, elicitation, specification, assessment, negotiation, documentation, and evolution. Getting high-quality requirements is difficult and critical. Recent surveys have confirmed the growing recognition of RE as an area of utmost importance in software engineering research and practice.The paper presents a brief history of the main concepts and techniques developed to date to support the RE task, with a special focus on modeling as a common denominator to all RE processes. The initial description of a complex safety-critical system is used to illustrate a number of current research trends in RE-specific areas such as goal-oriented requirements elaboration, conflict management, and the handling of abnormal agent behaviors. Opportunities for goal-based architecture derivation are also discussed together with research directions to let the field move towards more disciplined habits.

REFERENCES

• Abr80: J.R. Abrial, "The Specification Language Z: Syntax and Semantics" . Programming Research Group, Oxford Univ., 1980.
• Amo94: Edward G. Amoroso, Fundamentals of computer security technology, Prentice-Hall, Inc., Upper Saddle River, NJ, 1994
• Bal82: Robert M. Balzer , Neil M. Goldman , David S. Wile, Operational specification as the basis for rapid prototyping, ACM SIGSOFT Software Engineering Notes, v.7 n.5, p.3-16, December 1982
• BAR99: Bay Area Rapid Transit District, Advance Automated Train Control System, Case Study Description. Sandia National Labs, http://www.hcecs.sandia.gov/bart.htm.
• Beh99: Patrick Behm , Paul Benoit , Alain Faivre , Jean-Marc Meynadier, Météor: A Successful Application of B in a Large Project, Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I, p.369-387, September 20-24, 1999
• Bel76: T. E. Bell , T. A. Thayer, Software requirements: Are they really a problem?, Proceedings of the 2nd international conference on Software engineering, p.61-68, October 13-15, 1976, San Francisco, California, United States
• Ben93: Kevin Benner , Martin S. Feather , W. Lewis Johnson , Lorna A. Zorman, Utilizing Scenarios in the Software Development Process, Proceedings of the IFIP WG8.1 Working Conference on Information System Development Process, p.117-134, September 01-03, 1993
• Ber91: Valdis Berzins , Lucia Luqi, Software engineering with abstractions, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1991
• Boe81: Barry W. Boehm, Software Engineering Economics, Prentice Hall PTR, Upper Saddle River, NJ, 1981
• Boe95: Barry Boehm , Prasanta Bose , Ellis Horowitz , Ming June Lee, Software requirements negotiation and renegotiation aids, Proceedings of the 17th international conference on Software engineering, p.243-253, April 24-28, 1995, Seattle, Washington, United States [doi>10.1145/225014.225037]
• Bra85: Ronald J. Brachman , Hector J. Levesque, Readings in Knowledge Representation, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1985
• Bro84: M. Brodie, J. Mylopoulos, and J. Schmidt (eds.), On Conceptual Modeling: Perspectives from Artificial Intelligence, Databases, and Programming Languages. Springer-Verlag, 1984.
• Bro87: Frederick P. Brooks, Jr., No silver bullet: essence and accidents of software engineering, Computer, v.20 n.4, p.10-19, April 1987 [doi>10.1109/MC.1987.1663532]
• Bub80: J. Bubenko, "Information Modeling in the Context of System Development", Proc. IFIP Congress '80, North Holland, 1980, 395-411.
• But98: R.W. Butler, S.P. Miller, J.N. Potts and V.A. Carreno, "A Formal Methods Approach to the Analysis of Mode Confusion", Proceedings DASC'98 - 17th Digital Avionics Systems Conference, Seattle, November 1998. See also http:// shemesh.larc.nasa.gov/fm/fm-now-mode-confusion.html.
• Cha98: William Chan , Richard J. Anderson , Paul Beame , Steve Burns , Francesmary Modugno , David Notkin , Jon D. Reese, Model Checking Large Software Specifications, IEEE Transactions on Software Engineering, v.24 n.7, p.498-520, July 1998 [doi>10.1109/32.708566]
• Che76: Peter Pin-Shan Chen, The entity-relationship model—toward a unified view of data, ACM Transactions on Database Systems (TODS), v.1 n.1, p.9-36, March 1976 [doi>10.1145/320434.320440]
• Cla99: Edmund M. Clarke, Jr. , Orna Grumberg , Doron A. Peled, Model checking, MIT Press, Cambridge, MA, 2000
• Dar91: Anne Dardenne , Stephen Fickas , Axel van Lamsweerde, Goal-directed concept acquisition in requirements elicitation, Proceedings of the 6th international workshop on Software specification and design, October 25-26, 1991, Como, Italy
• Dar93: Anne Dardenne , Axel van Lamsweerde , Stephen Fickas, Goal-directed requirements acquisition, Science of Computer Programming, v.20 n.1-2, p.3-50, April 1993
• Dar96: Robert Darimont , Axel van Lamsweerde, Formal refinement patterns for goal-driven requirements elaboration, Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering, p.179-190, October 16-18, 1996, San Francisco, California, United States
• Dem78: Tom DeMarco, Structured Analysis and System Specification, Prentice Hall PTR, Upper Saddle River, NJ, 1979
• Dub93: Eric Dubois , Philippe Du Bois , Michaël Petit, O-O Requirements Analysis: an Agent Perspective, Proceedings of the 7th European Conference on Object-Oriented Programming, p.458-481, July 26-30, 1993
• Dwy99: Matthew B. Dwyer , George S. Avrunin , James C. Corbett, Patterns in property specifications for finite-state verification, Proceedings of the 21st international conference on Software engineering, p.411-420, May 16-22, 1999, Los Angeles, California, United States [doi>10.1145/302405.302672]
• Eas94: Steve Easterbrook, Resolving requirements conflicts with computer-supported negotiation, Requirements engineering: social and technical issues, Academic Press Professional, Inc., San Diego, CA, 1994
• ESI96: European Software Institute, "European User Survey Analysis", Report USV_EUR 2.1, ESPITI Project, January 1996.
• Fau92: Stuart Faulk , John Brackett , Paul Ward , James Kirby, Jr., The Core Method for Real-Time Requirements, IEEE Software, v.9 n.5, p.22-33, September 1992 [doi>10.1109/52.156894]
• Fea87: Martin S. Feather, Language support for the specification and development of composite systems, ACM Transactions on Programming Languages and Systems (TOPLAS), v.9 n.2, p.198-234, April 1987 [doi>10.1145/22719.22947]
• Fea97: Martin S. Feather , Stephen Fickas , Anthony Finkelstein , Axel Van Lamsweerde, Requirements and Specification Exemplars, Automated Software Engineering, v.4 n.4, p.419-438, October 1997 [doi>10.1023/A:1008680612960]
• Fea98: M. S. Feather , S. Fickas , A. Van Lamsweerde , C. Ponsard, Reconciling System Requirements and Runtime Behavior, Proceedings of the 9th international workshop on Software specification and design, p.50, April 16-18, 1998
• Fic92: Stephen Fickas , B. Robert Helm, Knowledge Representation and Reasoning in the Design of Composite Systems, IEEE Transactions on Software Engineering, v.18 n.6, p.470-482, June 1992 [doi>10.1109/32.142870]
• Fin87: A. Finkelstein and C. Potts, "Building Formal Specifications Using Structured Common Sense", Proc. IWSSD-4 - 4th International Workshop on Software Specification and Design (Monterey, Ca.), IEEE, April 1987, 108-113.
• Gam95: Erich Gamma , Richard Helm , Ralph Johnson , John Vlissides, Design patterns: elements of reusable object-oriented software, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1995
• Gar97: David Garlan , Robert Monroe , David Wile, Acme: an architecture description interchange language, Proceedings of the 1997 conference of the Centre for Advanced Studies on Collaborative research, p.7, November 10-13, 1997, Toronto, Ontario, Canada
• Gog93: J. Goguen and C. Linde, "Techniques for Requirements Elicitation", Proc. RE'93 - First IEEE Symposium on Requirements Engineering, San Diego, 1993, 152-164.
• Gog94: Marina Jirotka , Joseph A. Goguen, Requirements engineering: social and technical issues, Academic Press Professional, Inc., San Diego, CA, 1994
• Got95: O. Gotel , A. Finkelstein, Contribution structures [Requirements artifacts], Proceedings of the Second IEEE International Symposium on Requirements Engineering, p.100, March 27-29, 1995
• Gre82: Sol J. Greenspan , John Mylopoulos , Alex Borgida, Capturing more world knowledge in the requirements specification, Proceedings of the 6th international conference on Software engineering, p.225-234, September 13-16, 1982, Tokyo, Japan
• Gre86: Sol J Greenspan , Alexander Borgida , John Mylopoulos, A requirements modeling language and its logic, Information Systems, v.11 n.1, p.9-23, 1986 [doi>10.1016/0306-4379(86)90020-7]
• Har87: David Harel, Statecharts: A visual formalism for complex systems, Science of Computer Programming, v.8 n.3, p.231-274, June 1, 1987 [doi>10.1016/0167-6423(87)90035-9]
• Har90: David Harel , Amir Pnueli , Hagi Lachover , Amnon Naamad , Michal Politi , Rivi Sherman , Aharon Shtull-Trauring , Mark Trakhtenbrot, STATEMATE: A Working Environment for the Development of Complex Reactive Systems, IEEE Transactions on Software Engineering, v.16 n.4, p.403-414, April 1990 [doi>10.1109/32.54292]
• Har96: David Harel , Amnon Naamad, The STATEMATE semantics of statecharts, ACM Transactions on Software Engineering and Methodology (TOSEM), v.5 n.4, p.293-333, Oct. 1996 [doi>10.1145/235321.235322]
• Heim96: Mats P. E. Heimdahl , Nancy G. Leveson, Completeness and Consistency in Hierarchical State-Based Requirements, IEEE Transactions on Software Engineering, v.22 n.6, p.363-377, June 1996 [doi>10.1109/32.508311]
• Heit96: Constance L. Heitmeyer , Ralph D. Jeffords , Bruce G. Labaw, Automated consistency checking of requirements specifications, ACM Transactions on Software Engineering and Methodology (TOSEM), v.5 n.3, p.231-261, July 1996 [doi>10.1145/234426.234431]
• Hei98a: Constance Heitmeyer , James Kirby, Jr. , Bruce Labaw , Myla Archer , Ramesh Bharadwaj, Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications, IEEE Transactions on Software Engineering, v.24 n.11, p.927-948, November 1998 [doi>10.1109/32.730543]
• Hei98b: Constance L. Heitmeyer , James Kirby , Bruce G. Labaw , Ramesh Bharadwaj, SCR*: A Toolset for Specifying and Analyzing Software Requirements, Proceedings of the 10th International Conference on Computer Aided Verification, p.526-531, June 28-July 02, 1998
• Hen80: K.L. Heninger, "Specifying Software Requirements for Complex Systems: New Techniques and their Application", IEEE Transactions on Software Engineering Vol. 6 No. 1, January 1980, 2-13.
• Hic74: G. F. Hice , W. S. Turner , L. F. Cashwell, System Development Methodol-OP, Elsevier Science Inc., New York, NY, 1978
• Hol97: Gerard J. Holzmann, The Model Checker SPIN, IEEE Transactions on Software Engineering, v.23 n.5, p.279-295, May 1997 [doi>10.1109/32.588521]
• Hsi94: Pei Hsia , Jayarajan Samuel , Jerry Gao , David Kung , Yasufumi Toyoshima , Cris Chen, Formal Approach to Scenario Analysis, IEEE Software, v.11 n.2, p.33-41, March 1994 [doi>10.1109/52.268953]
• Hun98: Anthony Hunter , Bashar Nuseibeh, Managing inconsistent specifications: reasoning, analysis, and action, ACM Transactions on Software Engineering and Methodology (TOSEM), v.7 n.4, p.335-367, Oct. 1998 [doi>10.1145/292182.292187]
• Jac78: M M Jackson, Information systems: Modelling, sequencing and transformations, Proceedings of the 3rd international conference on Software engineering, p.72-81, May 10-12, 1978, Atlanta, Georgia, United States
• Jac95: Michael Jackson, Software requirements & specifications: a lexicon of practice, principles and prejudices, ACM Press/Addison-Wesley Publishing Co., New York, NY, 1995
• Jaco93: Ivar Jacobson, Object-Oriented Software Engineering: A Use Case Driven Approach, Addison Wesley Longman Publishing Co., Inc., Redwood City, CA, 2004
• Jar98: M.Jarke and R. Kurki-Suonio (eds.), Special Issue on Scenario Management, IEEE Trans. on Sofware. Engineering, December 1998.
• Jon93: Andrew J. I. Jones , Marek Sergot, On the characterization of law and computer systems: the normative systems perspective, Deontic logic in computer science: normative system specification, John Wiley and Sons Ltd., Chichester, UK, 1994
• Ken93: S. Kent, T. Maibaum and W. Quirk, "Formally Specifying Temporal Constraints and Error Recovery", Proc. RE'93 - 1st Intl. IEEE Symp. on Requirements Engineering, Jan. 1993, 208- 215.
• Koy92: Ron Koymans, Specifying Message Passing and Time-Critical Systems with Temporal Logic, Springer-Verlag New York, Inc., Secaucus, NJ, 1992
• Lam98a: Axel van Lamsweerde , Emmanuel Letier, Integrating obstacles in goal-driven requirements engineering, Proceedings of the 20th international conference on Software engineering, p.53-62, April 19-25, 1998, Kyoto, Japan
• Lam98b: Axel van Lamsweerde , Emmanual Letier , Robert Darimont, Managing Conflicts in Goal-Driven Requirements Engineering, IEEE Transactions on Software Engineering, v.24 n.11, p.908-926, November 1998 [doi>10.1109/32.730542]
• Lam98c: Axel van Lamsweerde , Laurent Willemet, Inferring Declarative Requirements Specifications from Operational Scenarios, IEEE Transactions on Software Engineering, v.24 n.12, p.1089-1114, December 1998 [doi>10.1109/32.738341]
• Lam2Ka: Axel van Lamsweerde , Emmanuel Letier, Handling Obstacles in Goal-Oriented Requirements Engineering, IEEE Transactions on Software Engineering, v.26 n.10, p.978-1005, October 2000 [doi>10.1109/32.879820]
• Lam2Kb: Axel van Lamsweerde, Formal specification: a roadmap, Proceedings of the Conference on The Future of Software Engineering, p.147-159, June 04-11, 2000, Limerick, Ireland [doi>10.1145/336512.336546]
• LAS93: Report of the Inquiry Into the London Ambulance Service, February 1993. The Communications Directorate, South West Thames Regional Authority, ISBN 0-905133-70-6. See also the London Ambulance System home page, http:// hsn.lond-amb.sthames.nhs.uk/http.dir/service/organisation/fea-turs/ info.html.
• Let2K: E.Letier and A. van Lamsweerde, "KAOS in Action: the BART System". IFIP WG2.9 meeting, Flims, http:// www.cis.gsu.edu/~wrobinso/ifip2_9/Flims00.
• Lev94: Nancy G. Leveson , Mats Per Erik Heimdahl , Holly Hildreth , Jon D. Reese, Requirements Specification for Process-Control Systems, IEEE Transactions on Software Engineering, v.20 n.9, p.684-707, September 1994 [doi>10.1109/32.317428]
• Lev95: Nancy G. Leveson, Safeware: system safety and computers, ACM Press, New York, NY, 1995
• Luc95: David C. Luckham , James Vera, An Event-Based Architecture Definition Language, IEEE Transactions on Software Engineering, v.21 n.9, p.717-734, September 1995 [doi>10.1109/32.464548]
• Lut93: R.R. Lutz, "Analyzing Software Requirements Errors in Safety-Critical, Embedded Systems", Proceedings RE'93 - First International Symposium on Requirements Engineering, San Diego, IEEE, 1993, 126-133.
• Mag95: Jeff Magee , Naranker Dulay , Susan Eisenbach , Jeff Kramer, Specifying Distributed Software Architectures, Proceedings of the 5th European Software Engineering Conference, p.137-153, September 25-28, 1995
• Mai93: Neil Maiden , Alistair Sutcliffe, Exploiting reusable specifications through analogy, Communications of the ACM, v.35 n.4, p.55-64, April 1992 [doi>10.1145/129852.129857]
• Man92: Zohar Manna , Amir Pnueli, The temporal logic of reactive and concurrent systems, Springer-Verlag New York, Inc., New York, NY, 1992
• Mas97: Philippe Massonet , Axel Van Lamsweerde, Analogical Reuse of Requirements Frameworks, Proceedings of the 3rd IEEE International Symposium on Requirements Engineering (RE'97), p.26, January 05-08, 1997
• McM93: Kenneth L. McMillan, Symbolic Model Checking, Kluwer Academic Publishers, Norwell, MA, 1993
• Mey85: B. Meyer, "On Formalism in Specifications", IEEE Software, Vol. 2 No. 1, January 1985, 6-26.
• Mor95: Mark Moriconi , Xiaolei Qian , R. A. Riemenschneider, Correct Architecture Refinement, IEEE Transactions on Software Engineering, v.21 n.4, p.356-3, April 1995 [doi>10.1109/32.385972]
• Mun81: E. Munford, "Participative Systems Design: Structure and Method", Systems, Objectives, Solutions, Vol. 1, North-Hol-land, 1981, 5-19.
• Myl92: John Mylopoulos , Lawrence Chung , Brian Nixon, Representing and using nonfunctional requirements: a process-oriented approach, IEEE Transactions on Software Engineering, v.18 n.6, p.488-497, June 1992
• Myl98: John Mylopoulos, Information modeling in the time of the revolution, Information Systems, v.23 n.3-4, p.127-155, May 1, 1998 [doi>10.1016/S0306-4379(98)00005-2]
• Myl99: John Mylopoulos , Lawrence Chung , Eric Yu, From object-oriented to goal-oriented requirements analysis, Communications of the ACM, v.42 n.1, p.31-37, Jan. 1999 [doi>10.1145/291469.293165]
• Nil71: Nils J. Nilsson, Problem-Solving Methods in Artificial Intelligence, McGraw-Hill Pub. Co., 1971
• Nis89: Celso Niskier , T. S. E. Maibaum , Daniel Schwabe, A Pluralistic Knowledge-Based Approach to Software Specification, Proceedings of the 2nd European Software Engineering Conference, p.411-423, September 11-15, 1989
• Nix93: B. A. Nixon, "Dealing with Performance Requirements During the Development of Information Systems", Proc. RE'93 - 1st Intl. IEEE Symp. on Requirements Engineering, Jan. 1993, 42-49.
• Nus94: Bashar Nuseibeh , Jeff Kramer , Anthony Finkelstein, A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification, IEEE Transactions on Software Engineering, v.20 n.10, p.760-773, October 1994 [doi>10.1109/32.328995]
• Par95: David Lorge Parnas , Jan Madey, Functional documents for computer systems, Science of Computer Programming, v.25 n.1, p.41-61, Oct. 1995 [doi>10.1016/0167-6423(95)96871-J]
• Per92: Dewayne E. Perry , Alexander L. Wolf, Foundations for the study of software architecture, ACM SIGSOFT Software Engineering Notes, v.17 n.4, p.40-52, Oct. 1992 [doi>10.1145/141874.141884]
• Pot94: Colin Potts , Kenji Takahashi , Annie I. Antón, Inquiry-Based Requirements Analysis, IEEE Software, v.11 n.2, p.21-32, March 1994 [doi>10.1109/52.268952]
• Pot95: Colin Potts, Using schematic scenarios to understand user needs, Proceedings of the conference on Designing interactive systems: processes, practices, methods, & techniques, p.247-256, August 23-25, 1995, Ann Arbor, Michigan, United States [doi>10.1145/225434.225462]
• Pot96: Ben Potter , Jane Sinclair , David Till, An introduction to formal specification and Z, Prentice-Hall, Inc., Upper Saddle River, NJ, 1992
• Qui68: R. Quillian, Semantic Memory. In Semantic Information Processing, M. Minsky (ed.), MIT Press, 1968, 227-270.
• Reu91: Howard B. Reubenstein , Richard C. Waters, The Requirements Apprentice: Automated Assistance for Requirements Acquisition, IEEE Transactions on Software Engineering, v.17 n.3, p.226-240, March 1991 [doi>10.1109/32.75413]
• Rie99: R. A. Riemenschneider, Checking the Correctness of Architectural Transformation Steps via Proof-Carrying Architectures, Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1), p.65-82, February 22-24, 1999
• Rob89: W. N. Robinson, Integrating multiple specifications using domain goals, Proceedings of the 5th international workshop on Software specification and design, p.219-226, April 1989, Pittsburgh, Pennsylvania, United States
• Ros77a: D.T. Ross, "Structured Analysis (SA): A Language for Communicating Ideas", IEEE Transactions on Software Engineering, Vol. 3, No. 1, 1977, 16-34.
• Ros77b: D.T. Ross and K.E. Schoman, "Structured Analysis for Requirements Definition", IEEE Transactions on Software Engineering, Vol. 3, No. 1, 1977, 6-15.
• Rub92: Kenneth S. Rubin , Adele Goldberg, Object behavior analysis, Communications of the ACM, v.35 n.9, p.48-62, Sept. 1992 [doi>10.1145/130994.130996]
• Rum91: James Rumbaugh , Michael Blaha , William Premerlani , Frederick Eddy , William Lorensen, Object-oriented modeling and design, Prentice-Hall, Inc., Upper Saddle River, NJ, 1991
• Rum99: James Rumbaugh , Ivar Jacobson , Grady Booch, The Unified Modeling Language reference manual, Addison-Wesley Longman Ltd., Essex, UK, 1998
• Sha96: Mary Shaw , David Garlan, Software architecture: perspectives on an emerging discipline, Prentice-Hall, Inc., Upper Saddle River, NJ, 1996
• Smi77: John Miles Smith , Diane C. P. Smith, Database abstractions: aggregation and generalization, ACM Transactions on Database Systems (TODS), v.2 n.2, p.105-133, June 1977 [doi>10.1145/320544.320546]
• Sou93: J. Souqui~res and N. Levy, "Description of Specification Developments", Proc. RE'93 - First IEEE Symposium on Requirements Engineering, San Diego, 1993, 216-223.
• Sta95: The Standish Group, "Software Chaos", http:// www.standishgroup.com/chaos.html.
• Sut97: Alistair Sutcliffe, A Technique Combination Approach to Requirements Engineering, Proceedings of the 3rd IEEE International Symposium on Requirements Engineering (RE'97), p.65, January 05-08, 1997
• Tay96: Richard N. Taylor , Nenad Medvidovic , Kenneth M. Anderson , E. James Whitehead, Jr. , Jason E. Robbins , Kari A. Nies , Peyman Oreizy , Deborah L. Dubrow, A Component- and Message-Based Architectural Style for GUI Software, IEEE Transactions on Software Engineering, v.22 n.6, p.390-406, June 1996 [doi>10.1109/32.508313]
• Tho99: Jeffrey M. Thompson , Mats P. E. Heimdahl , Steven P. Miller, Specification-based prototyping for embedded systems, Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering, p.163-179, September 06-10, 1999, Toulouse, France
• War85: Paul T. Ward , Stephen J. Mellor, Structured Development for Real-Time Systems, Prentice Hall Professional Technical Reference, 1991
• Was79: A. Wasserman, "A Specification Method for Inteactive Information Systems", Proceedings SRS - Specification of Reliable Software. IEEE Catalog No. 79 CH1401-9C, 1979, 68-79.
• Wei98: Klaus Weidenhaupt , Klaus Pohl , Matthias Jarke , Peter Haumer, Scenarios in System Development: Current Practice, IEEE Software, v.15 n.2, p.34-45, March 1998 [doi>10.1109/52.663783]
• Yue87: K. Yue, "What Does It Mean to Say that a Specification is Complete?", Proc. IWSSD-4, Fourth International Workshop on Software Specification and Design, Monterey, 1987.
• YuM94: Eric S. K. Yu , John Mylopoulos, Understanding “why” in software process modelling, analysis, and design, Proceedings of the 16th international conference on Software engineering, p.159-168, May 16-21, 1994, Sorrento, Italy
• Yu97: Eric S. K. Yu, Towards Modeling and Reasoning Support for Early-Phase Requirements Engineering, Proceedings of the 3rd IEEE International Symposium on Requirements Engineering (RE'97), p.226, January 05-08, 1997
• Zav93: Pamela Zave , Michael Jackson, Conjunction as composition, ACM Transactions on Software Engineering and Methodology (TOSEM), v.2 n.4, p.379-411, Oct. 1993 [doi>10.1145/158431.158438]
• Zav96: Pamela Zave , Michael Jackson, Where Do Operations Come From? A Multiparadigm Specification Technique, IEEE Transactions on Software Engineering, v.22 n.7, p.508-528, July 1996 [doi>10.1109/32.538607]
• Zav97a: Pamela Zave , Michael Jackson, Four dark corners of requirements engineering, ACM Transactions on Software Engineering and Methodology (TOSEM), v.6 n.1, p.1-30, Jan. 1997 [doi>10.1145/237432.237434]
• Zav97b: Pamela Zave, Classification of research efforts in requirements engineering, ACM Computing Surveys (CSUR), v.29 n.4, p.315-321, Dec. 1997 [doi>10.1145/267580.267581]

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING

Additional Classification:
  K. Computing Milieux
  K.2 HISTORY OF COMPUTING
      Subjects: Software

General Terms:
Design, Performance, Theory