Welcome Guest
  |   0 items in your shopping cart
 

BROWSE BY STANDARDS

BROWSE BY CATEGORY

***
 
 
Join our mailing list to recieve newsletters
 

Correct Systems Building a Business Process Solution

Send to friend
 
Title: Correct Systems Building a Business Process Solution
Author: Florentin Ipate, Mike Holcombe
ISBN: 3540762469 / 9783540762461
Format: Soft Cover
Pages: 206
Publisher: Springer Verlag
Year: 1998
Availability: In Stock
     
 
  • Description
  • Contents

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.

Part 1 : Building Correct Systems
Chapter 1 : Models of Computer-Based Systems
Chapter 2 : Business Processes, Problems and Solutions
Chapter 3 : Testing, Testing, Testing!
Chapter 4 : Building Correct Systems
Chapter 5 : A Case Study

Part 2 : Theoretical Foundations
Chapter 6 : The Theory of X-Machines
Chapter 7 : Complete Functional Testing
Chapter 8 : Refinement Testing

References
Index

 
 
 
About Us | Contact us
loading...
This page was created in 0.31590485572815 seconds