عنوان

Industrial-Strength Formal Methods in Practice

شابک

1447105230

شابک

1852336404

شابک

9781447105237

شابک

9781852336400

شماره

b548768

عنوان اصلي

Industrial-Strength Formal Methods in Practice

نام عام مواد

[Book]

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

edited by Michael G. Hinchey, Jonathan P. Bowen.

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

London

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

Springer London

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

1999

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

.

عنوان فروست

Formal Approaches to Computing and Information Technology (FACIT)

متن يادداشت

1 It's Greek to Me: Method in the Madness?.- 2 The French Population Census for 1990.- 3 The Formal Verification of a Payment System.- 4 Specification of a Chemical Process Controller in B.- 5 Formal Analysis of the Motorola CAP DSP.- 6 Bridging the E-Business Gap Through Formal Verification.- 7 A CAD Environment for Safety-Critical Software.- 8 Scheduling and Rescheduling of Trains.- 9 Lessons from the Formal Development of a Radiation Therapy Machine Control Program.- 10 Using Formal Methods to Develop an ATC Information System.- 11 Rigorous Review Technique.- 12 Analysing Z Specifications with Z/EVES.- 13 How to Construct Formal Arguments that Persuade Certifiers.- 14 Formal Methods Through Domain Engineering.- 15 Formal Verification in Railways.- 16 Cleanroom Software Engineering: Theory and Practice.- References.

شماره رده

نشانه اثر

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

edited by Michael G. Hinchey, Jonathan P. Bowen.

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

Jonathan P Bowen

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

Michael G Hinchey

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

نوع ماده

[Book]

تكميل شده

Y