Correct Systems: Building a Business Process Solution (Applied Computing) - Tapa blanda

Holcombe, Mike; Ipate, Florentin

 
9783540762461: Correct Systems: Building a Business Process Solution (Applied Computing)
Tapa blanda
ISBN 10: 3540762469 ISBN 13: 9783540762461
Editorial: Springer, 1998

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
Springer
Año de publicación
1998
Idioma
Inglés
ISBN 10 
3540762469
ISBN 13 
9783540762461
Encuadernación
Tapa blanda
Número de páginas
228
Contacto del fabricante
no disponible
Persona responsable
no disponible

Otras ediciones populares con el mismo título

9781447134367: Correct Systems: Building a Business Process Solution

Edición Destacada

ISBN 10:  1447134362 ISBN 13:  9781447134367
Editorial: Springer, 2012
Tapa blanda