Formal object-oriented development /

Formal Object-Oriented Development provides a comprehensive overview of the use of formal object-oriented methods; it covers how and where they should be introduced into the development process, how they can be introduced selectively for critical parts of an application, and how to incorporate them...

Full description

Bibliographic Details

Main Author:	Lano, K.
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	London ; New York : Springer, [1995]
Series:	Formal approaches to computing and information technology.
Subjects:	Object-oriented programming (Computer science) Formale Spezifikationstechnik. Objektorientierung. Qualitätssicherung. Software. VDM. Z (Programmiersprache) Electronic books.
Online Access:	Connect to the full text of this electronic book