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
LEADER 02511nmm a2200373 u 4500
001 EB000617733
003 EBX01000000000000000470815
005 00000000000000.0
007 cr|||||||||||||||||||||
008 140122 ||| eng
020 |a 9781447134350 
100 1 |a Holcombe, Mike 
245 0 0 |a Correct Systems  |h Elektronische Ressource  |b Building a Business Process Solution  |c by Mike Holcombe, Florentin Ipate 
250 |a 1st ed. 1998 
260 |a London  |b Springer London  |c 1998, 1998 
300 |a XX, 206 p  |b online resource 
505 0 |a 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 
653 |a Software engineering 
653 |a Architecture, Computer 
653 |a Logics and Meanings of Programs 
653 |a Computer system failures 
653 |a System Performance and Evaluation 
653 |a Computer System Implementation 
653 |a Software Engineering 
653 |a Computer logic 
700 1 |a Ipate, Florentin  |e [author] 
710 2 |a SpringerLink (Online service) 
041 0 7 |a eng  |2 ISO 639-2 
989 |b SBA  |a Springer Book Archives -2004 
490 0 |a Applied Computing 
856 |u https://doi.org/10.1007/978-1-4471-3435-0?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 004.24 
520 |a 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 

Similar Items

Cannot find similar records

Library Services

Search Options

Quick links

Orientation