Goal-directed Requirements Acquisition (1993)

Cached

Download Links

by Anne Dardenne , Axel van Lamsweerde , Stephen Fickas
Venue:SCIENCE OF COMPUTER PROGRAMMING
Citations:431 - 17 self

Documents Related by Co-Citation

293 Representing and Using Non-Functional Requirements: A Process-Oriented Approach – John Mylopoulos, Lawrence Chung, Brian Nixon - 1992
186 inquiry-based requirement analysis – K Takahashi, A Anton - 1994
45 Domain descriptions – Christopher Jackson - 1992
637 A Methodology for Agent-Oriented Analysis and Design – Michael Wooldridge , Nicholas R. Jennings, David Kinny - 1999
87 Specifying message passing and time-critical systems with temporal logic, LNCS 651 – R Koymans - 1992
1505 The temporal logic of reactive and concurrent systems – Zohar Manna, Amir Pnueli - 1992
42 Knowledge Representation and Reasoning in the Design of Composite Systems – Stephen Fickas, B. Robert Helm - 1992
115 Goal-Directed Elaboration of Requirements for a Meeting Scheduler – Axel Van Lamsweerde, Robert Darimont - 1995
398 Modeling Strategic Relationships for Process Reengineering – Eric Siu-kwong Yu - 1995
294 A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification – Bashar Nuseibeh , Jeff Kramer, Anthony Finkelstein - 1994
121 Managing conflicts in goal-driven requirements engineering – Axel Van Lamsweerde, Robert Darimont, Emmanuel Letier - 1998
109 NUSMV: a new symbolic model checker – A. Cimatti, E. Clarke, F. Giunchiglia, M. Roveri - 2000
80 ObjectOriented Software Engineering: A Use-Case Driven Approach – I Jacobson, M Christerson, P Jonsson, G Overgaard - 1992
87 A requirements-driven development methodology – Jaelson Castro, Manuel Kolp, John Mylopoulos - 2001
726 The knowledge level – A Newell - 1982
154 The Unified Modeling Language User Guide", Addision – G Booch, J Rumbaugh, I Jacobson - 1999
210 Automated Consistency Checking of Requirements Specifications – Constance L. Heitmeyer, Ralph D. Jeffords, Bruce G. Labaw - 1996
44 Goal decomposition and scenario analysis in business process reengineering – A I Anton, W M Mc Cracken, C Potts - 1994
910 Object-Oriented Software Engineering – A use Case Driven Approach – I Jacobson, M Christeroson, P Jonsson, G Overgaard - 1992