Correct Systems Building a Business Process Solution

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 (la...

Full description

Bibliographic Details
Main Authors: Holcombe, Mike, Ipate, Florentin (Author)
Format: eBook
Language:English
Published: London Springer London 1998, 1998
Edition:1st ed. 1998
Series:Applied Computing
Subjects:
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
Table of Contents:
  • 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