Formal methods for industrial applications : specifying and programming the steam boiler control / Jean-Raymond Abrial, Egon Börger, Hans Langmaack, eds.

Contributor(s):

Material type: Text

TextSeries: Lecture notes in computer science ; 1165.Publication details: Berlin ; New York : Springer, ©1996.Description: viii, 509 pages : illustrations ; 24 cm + 1 computer optical disc (4 3/4 in.)Content type:

text

Media type:

unmediated

Carrier type:

volume

ISBN:

3540619291
9783540619291

Subject(s): Additional physical formats: Online version:: Formal Methods for Industrial Applications.DDC classification:

621.1/83 21

LOC classification:

TJ288 .F59 1996

Other classification:

54.59

Online resources:

Click here to access online

Contents:

ABL: The Steam Boiler Case Study: Competition of Formal Program Specification and Development Methods / Jean-Raymond Abrial, Egon Borger and Hans Langmaack -- AT: Structural Synthesis of Programs from Refined User Requirements (Programming Boiler Control in NUT) / Mattin Addibpour and Enn Tyugu -- AL: Using FOCUS, LUSTRE, and Probability Theory for the Design of a Reliable Control Program / Christoph Andriessens and Thomas Lindner -- BBDGR: Refining Abstract Machine Specifications of the Steam Boiler Control to Well Documented Executable Code / Christoph Beierle, Egon Borger and Igor Durdanovic [and others] -- BCPR: An Algebraic Specification of the Steam-Boiler Control System / Michel Bidoit, Claude Chevenier and Christine Pellen [and others] -- BW: A Steam-Boiler Control Specification with Statecharts and Z / Robert Bussow and Matthias Weber -- BSS: An Action System Approach to the Steam Boiler Problem / Michael Butler, Emil Sekerinski and Kaisa Sere.

Summary: This book, with the CD-ROM included, is the documentation of a unique collaborative effort in evaluating formal methods for usage under industrial constraints: 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 21 papers included in the book, together with an introduction and competition report, were selected from 33 candidate solutions. This book comes with a CD-ROM containing, besides the printed papers, executable code, full definitions of all parts of the specifications, and detailed descriptions of foundational matters where appropriate.

Holdings ( 1 )
Title notes ( 3 )

Holdings
Item type	Current library	Collection	Call number	Status	Date due	Barcode	Item holds
eBook	e-Library	eBook LNCS		Available

Total holds: 0

Includes bibliographical references and index.

This book, with the CD-ROM included, is the documentation of a unique collaborative effort in evaluating formal methods for usage under industrial constraints: 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 21 papers included in the book, together with an introduction and competition report, were selected from 33 candidate solutions. This book comes with a CD-ROM containing, besides the printed papers, executable code, full definitions of all parts of the specifications, and detailed descriptions of foundational matters where appropriate.