In this text and CD-ROM, the major techniques for formally supported specification, design and verification of large programs and complex systems are applied to a non-trivial and non-academic problem which is typical for industrial informal requirements specifications. The CD-ROM contains the 21 papers included in the book, together with executable code, full definitions of all parts of the specifications, and detailed descriptions of foundational matters where appropriate.Like the management policy for pumps, also the policy for keeping the water level within the prescribed limits is left ... Every measurement is subject to some error, and the values obtained by the sensors for the water level and the steam flowanbsp;...
|Title||:||Formal Methods for Industrial Applications|
|Author||:||Jean-Raymond Abrial, Egon Börger, Hans Langmaack|
|Publisher||:||Springer Science & Business Media - 1996-10-30|