Calculating upward and downward simulations of state-based specifications

Information and Software Technology

Volumn 41, Issue 13, 1999, Pages 917-923

  Derrick, J ^a   Boiten, E ^a  

^a UNIVERSITY OF KENT   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER SIMULATION; INFORMATION RETRIEVAL;

STATE-BASED SPECIFICATIONS;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

EID: 0033567812     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0950-5849(99)00044-0     Document Type: Article

References (10)

1. Abrial J.R. The B-book: assigning programs to meanings. 1996;Cambridge University Press, Cambridge.
2. Duke R., Rose G., Smith G. Object-Z: a specification language advocated for the description of standards. Computer Standards and Interfaces. 17:1995;511-533.
3. K. Engelhardt, W-P. de Roever, Model-Oriented Data Refinement, in preparation.
4. Jifeng He, Hoare C.A.R., Sanders J.W. Data refinement refined. Robinet B., Wilhelm R. Proc. ESOP 86. 213:1986;187.
5. He Jifeng, C.A.R. Hoare, Pre-specification and data refinement, Data Refinement in a Categorical Setting, Technical Monograph, number PRG-90, Oxford University Computing Laboratory, November 1990.
6. Jones C.B. Systematics Software Development using VDM. 1989;Prentice-Hall, Englewood Cliffs, NJ.
7. Josephs M.B. The data refinement calculator for Z specifications. Information Processing Letters. 27:1988;29-33.
8. Spivey J.M. The Z notation: a reference manual. 1989;Prentice-Hall, Englewood Cliffs, NJ.
9. Woodcock J., Davies J. Using Z: Specification, Refinement, and Proof. 1996;Prentice-Hall, Englewood Cliffs, NJ.
10. Woodcock J.C.P., Morgan C.C. Refinement of state-based concurrent systems. Bjorner D., Hoare C.A.R., Langmaack H. VDM 1990 VDM and Z - Formal Methods in Software Development. LNCS 428:1990;340 Springer, Kiel.