From VDM specifications to functional prototypes
- 30 June 1993
- journal article
- Published by Elsevier in Journal of Systems and Software
- Vol. 21 (3) , 267-278
- https://doi.org/10.1016/0164-1212(93)90028-v
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Software development: two approaches to animation of Z specifications using prologSoftware Engineering Journal, 1992
- KIDS: a semiautomatic program development systemIEEE Transactions on Software Engineering, 1990
- Formal program construction by transformations-computer-aided, intuition-guided programmingIEEE Transactions on Software Engineering, 1989
- Specifications are not (necessarily) executableSoftware Engineering Journal, 1989
- Formal specification of an access control systemSoftware: Practice and Experience, 1987