40 citations found. Retrieving documents...
Swartout W, Balzer R (1982)
The inevitable intertwining of specification and implementation
. Comm ACM 25:438--440
Home/Search
Document Not in Database
Context
Related Articles
Check
This paper is cited by the following papers:
First 50 documents
A Scenario-Driven Approach to Traceability - Egyed (2001)
(3 citations)
(Correct)
User's Manual as a Requirements Specification - Berry, Daudjee, Dong, Nelson.. (2001)
(Correct)
Facilitating the Exploration of Interface Design Alternatives.. - Szekely (1992)
(27 citations)
(Correct)
Engineering and Theoretical Underpinnings of Retrenchment - Banach, Poppleton (2001)
(1 citation)
(Correct)
A Human-Computer Collaboration Paradigm For Bridging Design.. - Luo
(Correct)
A framework based on implementation relations for implementing.. - Leduc (1992)
(12 citations)
(Correct)
Incremental Development of Real-Time Requirements: The Light.. - Smith, Fidge (2000)
(1 citation)
(Correct)
Formal Specification: a Roadmap - van Lamsweerde (2000)
(2 citations)
(Correct)
KASE: An Integrated Environment for Software Design - Bhansali, Nii (1992)
(2 citations)
(Correct)
Web-Based Simulation: Revolution or Evolution? - Page, Buss, Fishwick (1999)
(1 citation)
(Correct)
Requirements Interaction Management - Robinson, al. (1999)
(6 citations)
(Correct)
SBDM as a Model for Codesign Data - Gandhi, Robertson
(Correct)
Generating Test Oracles via Model Checking - Callahan, Easterbrook, Montgomery (1998)
(2 citations)
(Correct)
Negotiation and the Role of the Requirements Specification - Easterbrook (1993)
(Correct)
Automated Software Testing Using Model-Checking - Callahan, Schneider, Easterbrook (1996)
(12 citations)
(Correct)
Original Article - Berry Daudjee Dong
(Correct)
Incremental Development of Real-Time Requirements: The Light.. - Smith, Fidge (2000)
(1 citation)
(Correct)
Requirements Engineering: a roadmap - Nuseibeh, Easterbrook (2000)
(28 citations)
(Correct)
SPADES - A Specification And DEsign System and Its .. - Ludewig, Glinz.. (1985)
(Correct)
Goal-Oriented Requirements Engineering: A Guided Tour - van Lamsweerde (2001)
(38 citations)
(Correct)
Weaving the Software Development Process Between Requirements.. - Nuseibeh (2001)
(5 citations)
(Correct)
Practical Computer Security Analysis - Kienzle (1998)
(Correct)
Automated Support for Requirements Negotiation - Robinson, al. (1994)
(2 citations)
(Correct)
User Interface Prototyping: Tools and Techniques - Szekely (1994)
(3 citations)
(Correct)
Beyond Object-Oriented Technology: Where Current.. - Fischer.. (1995)
(1 citation)
(Correct)
First 50 documents
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