عنوان

Correct systems :

شابک

3540762469

شابک

9783540762461

شماره

b545625

عنوان اصلي

Correct systems :

نام عام مواد

[Book]

ساير اطلاعات عنواني

building a business process solution

نام نخستين پديدآور

Mike Holcombe, Florentin Ipate.

محل نشرو پخش و غیره

Berlin

نام ناشر، پخش کننده و غيره

Springer

تاریخ نشرو بخش و غیره

1998

نام خاص و کميت اثر

XX, 206 Seiten : Illustrationen ; 24 cm.

عنوان فروست

Applied computing

متن يادداشت

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.

موضوع مستند نشده

Korrektheit.

موضوع مستند نشده

Rechnernetz.

موضوع مستند نشده

Software.

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

Mike Holcombe, Florentin Ipate.

مستند نام اشخاص تاييد نشده

Florentin Ipate

مستند نام اشخاص تاييد نشده

Mike Holcombe

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y