Towards Correct Executable Semantics for Z
- 1 January 1994
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Safety-critical systems, formal methods and standardsSoftware Engineering Journal, 1993
- A compendium of formal techniques for software maintenanceSoftware Engineering Journal, 1993
- Automatic Translation of VDM Specifications into Standard ML ProgramsThe Computer Journal, 1992
- Making specifications executable — Using IPTES Meta-IVMicroprocessing and Microprogramming, 1992
- Specifications are (preferably) executableSoftware Engineering Journal, 1992
- Software development: two approaches to animation of Z specifications using prologSoftware Engineering Journal, 1992
- Specifications are not (necessarily) executableSoftware Engineering Journal, 1989
- Formal specification of an access control systemSoftware: Practice and Experience, 1987