Annals of Software Engineering, Volume 3

Volume 3, 1997

• Nancy R. Mead: Software Requirements Engineering - Preface. 1-3 BibTeX
• Michael Jackson: The Meaning of Requirements. 5-21 BibTeX
• Colin Potts, Idris Hsi: Abstraction and Context in Requirements Engineering: Toward a Synthesis. 23-61 BibTeX
• Alan M. Davis, Kathleen Jordan, Tsuyoshi Nakajima: Elements Underlying the Specification of Requirements. 63-100 BibTeX
• Ian Sommerville, Peter Sawyer: Viewpoints: Principles, Problems and a Practical Approach to Requirements Engineering. 101-130 BibTeX
• Jawed I. A. Siddiqi, Ian C. Morrey, Chris Roast, Mehmet Bülent Özcan: Towards Quality Requirements via Animated Formal Apecifications. 131-155 BibTeX
• Mark A. Ardis: Formal Methods for Telecommunication System Requirements: A Survey of Standardized Languages. 157-187 BibTeX
• Paolo Ciancarini, Stelvio Cimato, Cecilia Mascolo: Engineering Formal Requirements: An Analysis and Testing Method for Z Documents. 189-219 BibTeX
• David L. Coleman, Albert L. Baker: Synthesizing Structured Analysis and Object-Based Formal Specifications. 221-253 BibTeX
• François Lustman: A Formal Approach to Scenario Integration. 255-271 BibTeX
• Sunil Vadera, Farid Meziane: Tools for Producing Formal specifications: A view of Current Architectures and Future Directions. 273-290 BibTeX
• Pei Hsia, David Chenho Kung, Chris Sell: Software Requirements and acceptance Testing. 291-317 BibTeX
• Hermann Kaindl: A Practical Approach to Combining Requirements Definition and Object-Oriented Analysis. 319-343 BibTeX
• F. Javier Lerch, Deborah J. Ballou, Donald E. Harter: Using Simulation-Based Experiments for Software Requirements Engineering. 345-366 BibTeX
• Christof Ebert: Dealing with Nonfunctional Requirements in large Software Systems. 367-395 BibTeX
• Balasubramaniam Ramesh, Curtis Stubbs, Timothy Powers, Michael Edwards: Requirements Traceability: Theory and Practice. 397-415 BibTeX
• Richard E. Fairley, Richard H. Thayer: The Concept of Operations: The Bridge from Operational Requirements to Technical Specifications. 417-432 BibTeX
• George Spanoudakis, Anthony Finkelstein: Reconciling Requirements: A Method for Managing Interference, Inconsistency and Conflict. 433-457 BibTeX
• Robyn R. Lutz, Robert M. Woodhouse: Requirements Analysis Using Forward and backward Search. 459-475 BibTeX
• Robert J. Kosman: A Two-Step Methodology to Reduce Requirement Defects. 477-494 BibTeX