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