Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Pamela Zave  Home/Search
Context Related
| belllabs.com/dist/el...IEEEsoftware.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: belllabs.com/who/elsa/pape...bib (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We define a reference model for applying formal methods to the development of user requirements and their reduction to behavioral specification of a system. The approach is characterized by its focus on the shared phenomena that define the interface between the system and the environment in which it will operate and on how the parts of this interface are controlled. This paper extends our previous work on this model by representing it in higher-order logic and determining some of its key... (Update)
Cited by: More
Observational Models of Requirements Evolution - Felici (2004) (Correct)
Requirements-Level Semantics and Model Checking of.. - Eshuis, Jansen, Wieringa (2002) (Correct)
A Formal Framework for Requirements Evolution - Felici (2003) (Correct)
Similar documents (at the sentence level):
11.0%: The Reference Model - Ce Mod El (Correct)
Active bibliography (related documents): More All
0.5: A Reference Model for Requirements and Specifications - Gunter, Gunter, Zave (1998) (Correct)
0.0: THE VILLAGE TELEPHONE SYSTEM: A Case Study in.. - Bhargavan.. (1998) (Correct)
0.0: Detecting Ambiguities in Requirements Documents Using.. - Kamsties, Berry, Paech (2001) (Correct)
Similar documents based on text: More All
0.1: Cv - Bhargavan (Correct)
0.1: Some Projects in Reasoning About Specifications With Automated.. - Gunter (Correct)
0.1: DFC modifications I (Version 2): Routing extensions - Zave, Jackson (Correct)
Related documents from co-citation: More All
6: Mastering the Requirements Process (context) - Robertson, Robertson - 1999
5: Automated Consistency Checking of Requirements Specifications - Heitmeyer, Jeffords et al. - 1996
4: Requirements Engineering: A Good Practice Guide (context) - Sommerville, Sawyer - 1997
BibTeX entry: (Update)
Carl A. Gunter, Elsa L. Gunter, Michael Jackson, and Pamela Zave. A reference model for requirements and specifications. www.cis.upenn.edu/~hol/papers/vts.ps, 1998. http://citeseer.ist.psu.edu/gunter00reference.html More
@article{ gunter00reference,
author = "Carl A. Gunter and Elsa L. Gunter and Michael Jackson and Pamela Zave",
title = "A Reference Model for Requirements and Specifications",
journal = "IEEE Software",
volume = "17",
number = "3",
month = "\slash",
pages = "37--43",
year = "2000",
url = "citeseer.ist.psu.edu/gunter00reference.html" }
Citations (may not include all citations):716 Parallel program design: A foundation (context) - Chandy, Misra - 1988
625 ACM Transactions on Programming Languages and Systems (context) - Lamport, logic - 1994
419 A formulation of the simple theory of types (context) - Church - 1940
108 Reactive modules - Alur, Henzinger - 1996
80 Mocha: Modularity in Model Checking - Alur, Henzinger et al. - 1998
40 Functional documentation for computer systems (context) - Parnas, Madey - 1995
38 Domain descriptions (context) - Jackson, Zave - 1992
28 Documentation of requirements for computer systems (context) - van Schouwen, Parnas et al. - 1992
25 ACM Transactions on Programming Languages and Systems (context) - Abadi, Lamport - 1995
21 Software Engineering Standards (context) - Mazza, Fairclough et al. - 1994
20 Deriving specifications from requirements: An example (context) - Jackson, Zave - 1995
16 A reference model for requirements and specifications - Gunter, Gunter et al. - 2000
3 Debugging the Development Process: Practical Strategies for .. (context) - Maguire - 1994
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://cm.bell-labs.com/who/elsa/papers/bib.html): More
Extensions to Logic Programming Motivated by the Construction of.. - Gunter (1991) (Correct)
Pseudo-Retract Functors for Local Lattices and Bifinte L-Domains - Gunter (Correct)
Adding External Decision Procedures to HOL90 Securely - Elsa Gunter Bell (1998) (Correct)
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