Evaluation of safety-critical software
- 1 June 1990
- journal article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 33 (6), 636-648
- https://doi.org/10.1145/78973.78974
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Education for computing professionalsComputer, 1990
- A formal approach to software error removalJournal of Systems and Software, 1987
- Software safety: why, what, and howACM Computing Surveys, 1986
- Certifying the reliability of softwareIEEE Transactions on Software Engineering, 1986
- An experimental evaluation of the assumption of independence in multiversion programmingIEEE Transactions on Software Engineering, 1986
- Using Documentation as a Software Design MediumBell System Technical Journal, 1981
- Specifying Software Requirements for Complex Systems: New Techniques and Their ApplicationIEEE Transactions on Software Engineering, 1980
- The new math of computer programmingCommunications of the ACM, 1975