Michael G Hinchey

Industrial-Strength Formal Methods in Practice - Formal Approaches to Computing and Information Technology (FACIT) Michael G Hinchey 1999 edition

Marc Notes: Includes bibliographical references and index. Table of 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."

Contributor Bio:  Hinchey, Michael G Hinchey, University of Nebraska, Omaha and University of Limerick, Ireland. Contributor Bio:  Bowen, Jonathan P Bowen, University of Reading, UK.