Formal Methods and Object Technology (Paperback, Softcover reprint of the original 1st ed. 1996)

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 application of formal techniques to object technology; the extension of formal methods with object-oriented concepts; and the formal foundations of object technology. Examples of each approach are included and areas such as concurrency and real time, which are especially important in the development of large scale, distributed and safety critical systems, are addressed. By focusing on these two, previously independent, techniques and illustrating how their merger is resulting in the development of tools which are essential to the development of large scale software the editors of this book have provided valuable coverage of this rapidly developing and important area.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Formal Approaches to Computing and Information Technology (FACIT)
Release date:	2001
First published:	April 1996
Editors:	Stephen J. Goldsack • Stuart J. H. Kent
Dimensions:	235 x 155 x 20mm (L x W x T)
Format:	Paperback
Pages:	368
Edition:	Softcover reprint of the original 1st ed. 1996
ISBN-13:	978-3-540-19977-9
Categories:	Books > Computing & IT > Computer programming > Software engineering Books > Computing & IT > Computer programming > Object-oriented programming (OOP) Books > Computing & IT > Computer programming > Programming languages > General Promotions
LSN:	3-540-19977-2
Barcode:	9783540199779

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!