Katalog GES



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... Full description

1st Person: Holcombe, Mike
Additional Corporate Bodies: SpringerLink (Online service)
Additional Persons: Ipate, Florentin [author]
Type of Publication: Book
Published: London Springer London 1998, 1998
Edition: 1st ed. 1998
Series: Applied Computing
Keywords: Software engineering
Architecture, Computer
Logics and Meanings of Programs
Computer system failures
System Performance and Evaluation
Computer System Implementation
Software Engineering
Computer logic
Online: Volltext
  Search for full text
Table of Contents:
  • 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

Similar Items

Cannot find similar records

Library Services

Search Options

Quick links

Orientation