Volume 3, 1997
Software Requirements Engineering
- Nancy R. Mead:
Software Requirements Engineering - Preface.
1-3
- 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
Last update Sat May 18 20:02:27 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
