A formal approach to software error removal
- 26 June 1987
- journal article
- Published by Elsevier in Journal of Systems and Software
- Vol. 7 (2), 109-114
- https://doi.org/10.1016/0164-1212(87)90015-x
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Certifying the reliability of softwareIEEE Transactions on Software Engineering, 1986
- Communicating Modules: A Software Design Model for Concurrent Distributed SystemsComputer, 1985
- An Evaluation of Random TestingIEEE Transactions on Software Engineering, 1984
- Optimizing Preventive Service of Software ProductsIBM Journal of Research and Development, 1984
- Measuring programming quality and productivityIBM Systems Journal, 1978