Paper Info
Title
Adding Specification Constructors to the Refinement Calculus
Abstract
This paper examines how specification construction operators may be added to the refinement calculus. These operators are useful for the incremental construction of specifications of larger systems from component specifications. The overall aim is to provide a single coherent framework, in which one may both build specifications and refine these specifications to program code.
Year
DOI
Venue
1993
10.1007/BFb0024672
FME
Keywords
Field
DocType
specification constructors,refinement calculus
Program code,Programming language,Refinement calculus,Computer science,Operator (computer programming)
Conference
ISBN
Citations 
PageRank 
3-540-56662-7
14
2.16
References 
Authors
4
1
Name
Order
Citations
PageRank
Nigel Ward13710.54