Skip to main content
SpringerLink
Log in

Correct Systems

Building a Business Process Solution

  • Textbook
  • © 1998

Overview

Authors:
  1. Mike Holcombe

    1. Department of Computer Science, University of Sheffield, Sheffield, UK

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. Florentin Ipate

    1. Computer Science Department, Romanian-American University, Bucharest, Romania

    View author publications

    You can also search for this author in PubMed   Google Scholar

  • A novel approach to the construction of a system

Part of the book series: Applied Computing (APPLCOMP)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (8 chapters)

  1. Front Matter

    Pages i-xx
    Download chapter PDF

  2. Building Correct Systems

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Models of Computer-Based Systems

      • Mike Holcombe, Florentin Ipate
      Pages 3-29

    3. Business Processes, Problems and Solutions

      • Mike Holcombe, Florentin Ipate
      Pages 31-60

    4. Testing, Testing, Testing!

      • Mike Holcombe, Florentin Ipate
      Pages 61-92

    5. Building Correct Systems

      • Mike Holcombe, Florentin Ipate
      Pages 93-112

    6. A Case Study

      • Mike Holcombe, Florentin Ipate
      Pages 113-131

  3. Theoretical Foundations

    1. Front Matter

      Pages 133-133
      Download chapter PDF

    2. The Theory of X-Machines

      • Mike Holcombe, Florentin Ipate
      Pages 135-168

    3. Complete Functional Testing

      • Mike Holcombe, Florentin Ipate
      Pages 169-188

    4. Refinement Testing

      • Mike Holcombe, Florentin Ipate
      Pages 189-199

  4. Back Matter

    Pages 200-206
    Download chapter PDF
Back to top

Keywords

About this book

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.

Authors and Affiliations

  • Department of Computer Science, University of Sheffield, Sheffield, UK

    Mike Holcombe

  • Computer Science Department, Romanian-American University, Bucharest, Romania

    Florentin Ipate

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation