75 citations found. Retrieving documents...
A. M. Davis. Software Requirements: Objects, Functions and States. Prentice-Hall, Englewood Cliffs, NJ, 1993.

 Home/Search   Document Not in Database   Context   Related Articles   Check  

This paper is cited by the following papers:

First 50 documents  Next 50

Goal-Based Requirements Analysis - Annie Ant Anton (1996)   (30 citations)  (Correct)
Towards a Methodology for Coordination Mechanism Selection.. - Miles, Joy, Luck   (Correct)
A Requirement Specification Language for - Configuration Dynamics Of   (Correct)
Senior Design Project: ABET 2000 Certification - Brouse (1999)   (Correct)
BaSyRE: A Lightweight Combination of Proven RE Techniques - Nikula, Sajaniemi   (Correct)
Towards Requirements-Driven Information Systems.. - Castro, Kolp, Mylopoulos (2002)   (40 citations)  (Correct)
A Five Year Perspective on Software Engineering - Graduate Programs At   (Correct)
Process Improvement Proposals in System Requirements.. - Karlsson, Martinsson   (Correct)
Conceptual Modelling in Software Engineering and.. - Dieste, Juristo.. (2000)   (Correct)
Deriving Goals from a Use Case Based Requirements.. - Antón, Dempster, Siege (2000)   (2 citations)  (Correct)
Designing Agent-Oriented Systems by Analysing Agent Interactions - Miles, Joy, Luck (2000)   (4 citations)  (Correct)
UML for Agent-Oriented Software Development: The Tropos.. - Mylopoulos, Kolp, Castro (2001)   (6 citations)  (Correct)
A Requirements-Driven Development Methodology - Castro, Kolp, Mylopoulos (2001)   (16 citations)  (Correct)
Towards Requirements-Driven Information Systems Engineering - Castro, Kolp, Mylopoulos (2002)   (40 citations)  (Correct)
Wolf: A tool to recover dataflow oriented designs of software.. - Lakhotia   (Correct)
Design and Application of a Test Case Generator for VDM-SL - Droschl (1999)   (1 citation)  (Correct)
Requirements Engineering for Hard Real-Time Systems - Piveropoulos (2000)   (Correct)
Integration of Behavioural Requirements.. - Herlea, Jonker.. (1999)   (Correct)
A Requirements-Driven Development Methodology - Castro, Kolp, Mylopoulos (2001)   (16 citations)  (Correct)
Towards Agent-Oriented Software Development - Castro, Kolp, Mylopoulos   (Correct)
Tropos: A Framework for Requirements-Driven Software.. - John Mylopoulos Jaelson (2000)   (8 citations)  (Correct)
A Formally Founded Description Technique for Business Processes - Thurner (1997)   (6 citations)  (Correct)
Goal-Based Requirements Analysis - Antón (1996)   (30 citations)  (Correct)
Automatically Acquiring the Requirements of Business.. - Jin, Bell, Wilkie (1998)   (4 citations)  (Correct)
An Integration of Scenarios with their Purposes in Task Modeling - Kaindl (1995)   (Correct)
Integration of Formal and Informal Techniques for Requirements.. - Wieringa (1995)   (Correct)
v-Promela: A Visual, Object-Oriented Language for SPIN - Leue, Holzmann   (Correct)
On the Integration of Formal Methods: Events and Scenarios in PVS .. - Droschl (1999)   (2 citations)  (Correct)
Design of Collaborative Information Agents - Jonker, Klusch, Treur (2000)   (2 citations)  (Correct)
Deriving Goals from a Use-Case Based Requirements.. - Antón, Dempster, Siege (2000)   (2 citations)  (Correct)
Requirements Interaction Management - Robinson, al. (1999)   (6 citations)  (Correct)
Managing Use Cases During Goal-Driven Requirements.. - Antón, Dempster, Siege (2000)   (Correct)
Feature Engineering of Software Systems - Turner (1999)   (1 citation)  (Correct)
Formal Methods for Broadband and Multimedia Systems - Fischer, Leue (1997)   (2 citations)  (Correct)
A Service-Sharing Methodology for Integrating COTS-Based.. - Dean Jin Department   (Correct)
Requirements Engineering: a Close Look at Industry Needs.. - Curricula Oliver Minor (2004)   (Correct)
Teaching Software Testing: Lessons Learned - Drake (2003)   (Correct)
A Formally Founded Description Technique for Business Processes - Thurner (1997)   (6 citations)  (Correct)
Modelling an Enterprise Perspective for - Software Requirements..   (Correct)
A Formally Founded Description Technique for Business.. - Veronika Thurner.. (1997)   (6 citations)  (Correct)
Requirements Engineering: a roadmap - Nuseibeh, Easterbrook (2000)   (28 citations)  (Correct)
Management View on Current Requirements Engineering.. - Nikula, Sajaniemi.. (2000)   (Correct)
From Contract Drafting to Software Specification: Linguistic.. - Berry, al. (2000)   (Correct)
Requirements Engineering for Survivable Systems - Mead (2003)   (Correct)
An Evaluation of Methods for Prioritizing Software.. - Karlsson, Wohlin, Regnell (1998)   (2 citations)  (Correct)
Building Information Systems Development Methods.. - Fowler, Swatman   (Correct)
Integrating Semi-formal and Formal Requirements - Roel Wieringa Eric (1997)   (Correct)
Exploring Alternatives during Requirements Analysis - Mylopoulos, al. (2001)   (21 citations)  (Correct)
Requirements Engineering: A Roadmap - Nuseibeh, Easterbrook (2000)   (28 citations)  (Correct)
Tropos: An Agent-Oriented Software Development.. - Bresciani, Perini.. (2004)   (12 citations)  Self-citation (Giunchiglia)   (Correct)

First 50 documents  Next 50

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC