A framework for using formal methods in object-oriented software development
- 1 April 1992
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN OOPS Messenger
- Vol. 3 (2) , 9-10
- https://doi.org/10.1145/130943.130946
Abstract
Although formal methods (FMs) hold great promise for improving the process of software development, up to now these methods have had limited impact on the actual development of software. This note outlines why this is so and predicts how formal methods can be developed and evolved to become useful in practice.Keywords
This publication has 0 references indexed in Scilit: