Making specifications executable — Using IPTES Meta-IV
- 30 September 1992
- journal article
- Published by Elsevier in Microprocessing and Microprogramming
- Vol. 35 (1-5), 521-528
- https://doi.org/10.1016/0165-6074(92)90363-c
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- Specifications are not (necessarily) executableSoftware Engineering Journal, 1989