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