Object-Oriented Techniques Based on Specifications

https://doi.org/10.1109/CMPSAC.1988.17211 Paper presented at COMPSAC 88, The Twelfth Annual International Computer Software & Applications Conference, October 5-7, 1988Object-oriented techniques form a promising approach for realizing an integrated computer-aided software development environment capable of detection and correcting errors early in the development process. The author discusses the connection between formal specifications, object-oriented data models, reusable components, and engineering databases