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