Formal methods: the very idea
- 1 January 2002
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 42 (1) , 11-27
- https://doi.org/10.1016/s0167-6423(01)00026-0
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- Requirements EngineeringIEEE Software, 1998
- The importance of ignorance in requirements engineeringJournal of Systems and Software, 1995
- Rapid prototyping: lessons learnedIEEE Software, 1995
- Program verification: the very ideaCommunications of the ACM, 1988
- No Silver Bullet Essence and Accidents of Software EngineeringComputer, 1987
- Towards a Formal Basis for the Formal Development Method and the Ina Jo Specification LanguageIEEE Transactions on Software Engineering, 1987
- INATESTACM SIGSOFT Software Engineering Notes, 1985
- Specifying and prototyping: Some thoughts on why they are successfulPublished by Springer Nature ,1985
- Social processes and proofs of theorems and programsCommunications of the ACM, 1979
- Design and code inspections to reduce errors in program developmentIBM Systems Journal, 1976