loading...
Refinement in Requirements Specification and Analysis: A Case Study
Edinburgh, Scotland April 03-April 07
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ECBS.2000.8398887th IEEE International Conference and ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Edwin de Jong, Jaco van de Pol, Jozef Hooman, "Refinement in Requirements Specification and Analysis: A Case Study," Engineering of Computer-Based Systems, IEEE International Conference on the, pp. 290, 7th IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2000.
 
 
BibTex
x
 
@article{ 10.1109/ECBS.2000.839888,
author = {Edwin de Jong and Jaco van de Pol and Jozef Hooman},
title = {Refinement in Requirements Specification and Analysis: A Case Study},
journal ={Engineering of Computer-Based Systems, IEEE International Conference on the},
volume = {0},
year = {2000},
isbn = {0-7695-0604-6},
pages = {290},
doi = {http://doi.ieeecomputersociety.org/10.1109/ECBS.2000.839888},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Engineering of Computer-Based Systems, IEEE International Conference on the
TI - Refinement in Requirements Specification and Analysis: A Case Study
SN - 0-7695-0604-6
SP
EP
A1 - Edwin de Jong,
A1 - Jaco van de Pol,
A1 - Jozef Hooman,
PY - 2000
KW - requirements specification and analysis
KW - formal methods
KW - refinement
KW - theorem provers
VL - 0
JA - Engineering of Computer-Based Systems, IEEE International Conference on the
ER -
 
Edwin de Jong, Hollandse Signaalapparaten
Jozef Hooman, University of Nijmegen
This paper presents a formal method for requirements specification and analysis. Using this method some techniques for step-wise refinement are studied. During the early phases of system development, where the exact requirements are yet unclear, these techniques allow to write incomplete and global specifications, which during successive steps can be refined and completed.At each step the method supports formal analysis of the specification. In particular two abstraction techniques are studied: nondeterminism and uninterpreted symbols. These techniques are explored using a realistic case study that was inspired by the specification of an existing naval command and control system. Specifications are written and analyzed using the language and proof checker of PVS.
Index Terms:
requirements specification and analysis, formal methods, refinement, theorem provers
Citation:
Edwin de Jong, Jaco van de Pol, Jozef Hooman, "Refinement in Requirements Specification and Analysis: A Case Study," ecbs, pp.290, 7th IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2000
Usage of this product signifies your acceptance of the Terms of Use.