Formal methods and object technology /

This book presents an overview of two approaches to software engineering - formal methods and object-oriented techniques - and by extracting the best aspects of each demonstrates how better and safer software is being developed. Three main strands of research are identified and discussed: the applic...

Full description

Bibliographic Details

Corporate Author:	SpringerLink (Online service)
Other Authors:	Goldsack, Stephen J., 1926-, Kent, S. J. H. (Stuart John Harding), 1966-
Format:	eBook
Language:	English
Published:	London ; New York : Springer, [1996]
Series:	Formal approaches to computing and information technology.
Subjects:	Object-oriented programming (Computer science) Formal methods (Computer science) VDM++. D_PARLOG++. LOTOS. méthode formelle. programmation par objets. Programmation orientée objets (informatique) Langages formels. Conception orientée objets (informatique) Softwareentwicklung. Objektorientierung. Formale Spezifikationstechnik. Object-oriented programming Electronic books.
Online Access:	Connect to the full text of this electronic book