|
" Correct systems : "
Mike Holcombe, Florentin Ipate.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
725902
|
| Doc. No
|
:
|
b545625
|
| Main Entry
|
:
|
Mike Holcombe, Florentin Ipate.
|
| Title & Author
|
:
|
Correct systems : : building a business process solution\ Mike Holcombe, Florentin Ipate.
|
| Publication Statement
|
:
|
Berlin: Springer, 1998
|
| Series Statement
|
:
|
Applied computing
|
| Page. NO
|
:
|
XX, 206 Seiten : Illustrationen ; 24 cm.
|
| ISBN
|
:
|
3540762469
|
|
|
:
|
: 9783540762461
|
| Contents
|
:
|
1: Building Correct Systems.- 1 Models of Computer-Based Systems.- 1.1 Introduction to the modelling systems.- 1.2 Finite state machines.- 1.3 Statecharts.- 1.4 A general computational model: the X-machine.- 1.5 An X-machine example.- 2 Business Processes, Problems and Solutions.- 2.1 Problems and solutions.- 2.2 Design methods: old and new.- 2.3 Business process models.- 2.4 A simple business process case study.- 2.5 Another example of a business process and enterprise model.- 2.6 A microprocessor example.- 2.7 Implementation.- 3 Testing, Testing, Testing!.- 3.1 What is testing?.- 3.2 Fundamental issues of correct systems design.- 3.3 An approach to quality-oriented testing.- 3.4 Testing based on a computational modelling approach.- 3.5 Stream X-machines and the fundamental theorem of testing.- 3.6 Discussion.- 4 Building Correct Systems.- 4.1 Refining correct solutions.- 4.2 Components.- 4.3 An integrated design and test refinement strategy.- 4.4 A first simple refinement.- 4.5 Testing refined machines.- 4.6 Components revisited.- 5 A Case Study.- 5.1 An example of a stream X-machine specification: basic background and the requirements capture process.- 5.2 Developing the specification.- 5.3 Data design.- 5.4 Testing.- 5.5 Implementation.- 5.6 A summary of the facilities provided by the completed system..- 2: Theoretical Foundations.- 6 The Theory of X-Machines.- 6.1 The basic theory of X-machines.- 6.2 Stream X-machines.- 6.3 Stream X-machine refinement.- 7 Complete Functional Testing.- 7.1 Some state machine theory.- 7.2 Theoretical basis at finite state machine testing.- 7.3 The theoretical basis of stream X-machine testing.- 8 Refinement Testing.- 8.1 Theoretical basis of refinement testing.- 8.2 The refinement testing method.- References.
|
| Subject
|
:
|
Korrektheit.
|
| Subject
|
:
|
Rechnernetz.
|
| Subject
|
:
|
Software.
|
| LC Classification
|
:
|
TS155.M554 1998
|
| Added Entry
|
:
|
Florentin Ipate
|
|
|
:
|
Mike Holcombe
|
| |