Investigating the influence of formal methods
- 1 January 1997
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in Computer
- Vol. 30 (2), 33-43
- https://doi.org/10.1109/2.566148
Abstract
No abstract availableThis publication has 10 references indexed in Scilit:
- Formal methods in safety-critical standardsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Observations on industrial practice using formal methodsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Using formal methods to develop an ATC information systemIEEE Software, 1996
- Science and substance: a challenge to software engineersIEEE Software, 1994
- Experience with formal methods in critical systemsIEEE Software, 1994
- Understanding Turing's Universal Machine -- Personal Style in Program DescriptionThe Computer Journal, 1993
- A Personal View: Safety-critical software: a vignetteSoftware Engineering Journal, 1993
- CICS project report experiences and results from the use of Z in IBMLecture Notes in Computer Science, 1991
- NPATH: a measure of execution path complexity and its applicationsCommunications of the ACM, 1988
- Optimizing Preventive Service of Software ProductsIBM Journal of Research and Development, 1984