


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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














