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