Formal Methods for Industrial Applications
Subtitle: Specifying and Programming the Steam Boiler Control (Lecture Notes in Computer Science)
Contributors: Jean-Raymond Abrial (Editor); Egon Börger (Editor); Hans Langmaack (Editor)
Edition: 1 edition
Publisher: Springer
Published: December 6, 1996
Language: eng
Format: Paperback
Number of pages: 511
ISBN-13: 9783540619291
Subjects: Industry & Industrial Studies; Software engineering; Steam engines; Steam Engineering; General; Technology; Automation; Technology & Industrial Arts; Science/Mathematics; Programming - Software Development; Networking - General; Engineering - Mechanical; Computers / Programming / General; Automatic control; Steam-boilers; Power Resources; Data processing
First sentence: This book wants to contribute to a realistic comparison, from the point of view of practicality for applications under industrial constraints, of the major techniques which are currently available for formally supported specification, design and verification of large programs and complex systems.