Correct Systems - Building a Business Process Solution (Paperback, Edition.)

Correct Systems looks at the whole process of building a business process model, capturing that in a formal requirements statement and developing a precise specification. The issue of testing is considered throughout the process and design for test issues are fundamental to the approach. A model (language) and a methodology are presented that is very powerful, very easy to use and applicable for the "new world" of component based systems and the integration of systems from dependable components. This book discusses a new area which will be of interest to both software and hardware designers. It presents specification, design, implementation and testing in a user-oriented fashion using simple formal and diagramming techniques with a high level of user-friendliness. The first part provides a simple introduction to the method together with a complete, real case study. The second part describes, in detail, the mathematical theory behind the methods and the claims made.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Applied Computing
Release date:	August 1998
First published:	1998
Authors:	Mike Holcombe • Florentin Ipate
Dimensions:	235 x 155 x 12mm (L x W x T)
Format:	Paperback
Pages:	206
Edition:	Edition.
ISBN-13:	978-3-540-76246-1
Categories:	Books > Computing & IT > General theory of computing > Systems analysis & design Books > Computing & IT > Computer programming > Software engineering Books > Computing & IT > Computer hardware & operating systems > Operating systems & graphical user interfaces (GUIs) > General Promotions
LSN:	3-540-76246-9
Barcode:	9783540762461

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!