Modelling Systems - Practical Tools and Techniques in Software Development (Hardcover, 2nd Revised edition)

How can we make sure that the software we build does what it is supposed to? This book provides an insight into established techniques which help developers to overcome the complexity of software development by constructing models of software systems in early design stages. It uses one of the leading formal methods, VDM (Vienna Development Method), and combines training in the formalism with industry-strength tool support and examples derived from real industrial applications. The principles taught here also apply to many of the current generation of formal methods. This second edition has been updated to include advanced online tool support for formal modelling as well as up-to-date reports on real commercial applications in areas as diverse as business information systems and firmware design.

General

Imprint:	Cambridge UniversityPress
Country of origin:	United Kingdom
Release date:	June 2009
First published:	August 2009
Authors:	John Fitzgerald • Peter Gorm Larsen
Dimensions:	253 x 177 x 20mm (L x W x T)
Format:	Hardcover
Pages:	304
Edition:	2nd Revised edition
ISBN-13:	978-0-521-89911-6
Categories:	Books > Computing & IT > Computer programming > Software engineering Promotions
LSN:	0-521-89911-7
Barcode:	9780521899116

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!