Correct Systems

Building a Business Process Solution

Mike Holcombe, Florentin Ipate (Autoren)

Buch | Softcover

XX, 206 Seiten

1998
Springer Berlin (Verlag)
9783540762461 (ISBN)

Artikel merken

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.

1: Building Correct Systems.- 1 Models of Computer-Based Systems.- 2 Business Processes, Problems and Solutions.- 3 Testing, Testing, Testing!.- 4 Building Correct Systems.- 5 A Case Study.- 2: Theoretical Foundations.- 6 The Theory of X-Machines.- 7 Complete Functional Testing.- 8 Refinement Testing.- References.

Erscheint lt. Verlag	26.8.1998
Reihe/Serie	Applied Computing
Zusatzinfo	XX, 206 p.
Verlagsort	London
Sprache	englisch
Maße	155 x 235 mm
Gewicht	360 g
Themenwelt	Mathematik / Informatik ► Informatik ► Software Entwicklung
Themenwelt	Mathematik / Informatik ► Informatik ► Theorie / Studium
Schlagworte	Computer • Design • Hardware • Hardware Design • HC/Informatik, EDV/Informatik • language • Software • Testing
ISBN-13	9783540762461 / 9783540762461
Zustand	Neuware