Specifications are necessarily informal or: Some more myths of formal methods
- 31 March 1998
- journal article
- Published by Elsevier in Journal of Systems and Software
- Vol. 40 (3) , 275-296
- https://doi.org/10.1016/s0164-1212(98)00172-1
Abstract
No abstract availableKeywords
This publication has 26 references indexed in Scilit:
- Seven more myths of formal methodsIEEE Software, 1995
- Ten commandments of formal methodsComputer, 1995
- Formal methods reality check: industrial usageIEEE Transactions on Software Engineering, 1995
- A debate on teaching computing scienceCommunications of the ACM, 1989
- Technical correspondenceCommunications of the ACM, 1989
- Program verification: the very ideaCommunications of the ACM, 1988
- A 15 Year Perspective on Automatic ProgrammingIEEE Transactions on Software Engineering, 1985
- ACM forumCommunications of the ACM, 1979
- Social processes and proofs of theorems and programsCommunications of the ACM, 1979
- Informality in Program SpecificationsIEEE Transactions on Software Engineering, 1978