Correct Systems

Building a Business Process Solution

  • Mike Holcombe
  • Florentin Ipate

Part of the Applied Computing book series (APPLCOMP)

Table of contents

  1. Front Matter
    Pages i-xx
  2. Building Correct Systems

    1. Front Matter
      Pages 1-1
    2. Mike Holcombe, Florentin Ipate
      Pages 3-29
    3. Mike Holcombe, Florentin Ipate
      Pages 31-60
    4. Mike Holcombe, Florentin Ipate
      Pages 61-92
    5. Mike Holcombe, Florentin Ipate
      Pages 93-112
    6. Mike Holcombe, Florentin Ipate
      Pages 113-131
  3. Theoretical Foundations

    1. Front Matter
      Pages 133-133
    2. Mike Holcombe, Florentin Ipate
      Pages 135-168
    3. Mike Holcombe, Florentin Ipate
      Pages 169-188
    4. Mike Holcombe, Florentin Ipate
      Pages 189-199
  4. Back Matter
    Pages 200-206

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.


Hardware computer design hardware design language software testing

Authors and affiliations

  • Mike Holcombe
    • 1
  • Florentin Ipate
    • 2
  1. 1.Department of Computer ScienceUniversity of SheffieldSheffieldUK
  2. 2.Computer Science DepartmentRomanian-American UniversityBucharestRomania

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag London 1998
  • Publisher Name Springer, London
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-76246-1
  • Online ISBN 978-1-4471-3435-0
  • Series Print ISSN 1431-1542
  • Buy this book on publisher's site
Industry Sectors
Materials & Steel
IT & Software