Volume 3, 1997

• 
  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 updated on Sat May 18 05:48:19 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page