Education in formal methods for software engineering
- 28 February 1987
- journal article
- Published by Elsevier in Information and Software Technology
- Vol. 29 (1) , 27-32
- https://doi.org/10.1016/0950-5849(87)90017-6
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- A rational design process: How and why to fake itIEEE Transactions on Software Engineering, 1986
- Specification directed module testingIEEE Transactions on Software Engineering, 1986
- Literate ProgrammingThe Computer Journal, 1984
- Justification of formal methods for system specificationSoftware & Microsystems, 1982