|
" Industrial-Strength Formal Methods in Practice "
edited by Michael G. Hinchey, Jonathan P. Bowen.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
729014
|
| Doc. No
|
:
|
b548768
|
| Main Entry
|
:
|
edited by Michael G. Hinchey, Jonathan P. Bowen.
|
| Title & Author
|
:
|
Industrial-Strength Formal Methods in Practice\ edited by Michael G. Hinchey, Jonathan P. Bowen.
|
| Publication Statement
|
:
|
London: Springer London, 1999
|
| Series Statement
|
:
|
Formal Approaches to Computing and Information Technology (FACIT)
|
| Page. NO
|
:
|
.
|
| ISBN
|
:
|
1447105230
|
|
|
:
|
: 1852336404
|
|
|
:
|
: 9781447105237
|
|
|
:
|
: 9781852336400
|
| Contents
|
:
|
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.
|
| LC Classification
|
:
|
QA76.9.F67E358 1999
|
| Added Entry
|
:
|
Jonathan P Bowen
|
|
|
:
|
Michael G Hinchey
|
| |