Formal methods for industrial applications : specifying and programming the steam boiler control / edited by Jean-Raymond Abrial, Egon Börger & Hans Langmaack.
Series: Lecture notes in computer science ; 1165Publication details: Berlin ; New York : Springer, c1996.Description: viii, 511 p. : ill. ; 24 cmISBN:- 9783540619291
- 3540619291 (alk. paper)
- 621.183 21 FOR
| Item type | Current library | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
Book Closed Access
|
Engineering Library | 621.183 FOR 1 (Browse shelf(Opens below)) | 1 | Available | 0022988 |
Contents;
ABL: The steam boiler case study: Competition of formal program specification and development methods
AT: Structural synthesis of programs from refined user requirements
AL: Using FOCUS, LUSTRE, and probability theory for the design of a reliable control program
BBDGR: Refining abstract machine specifications of the steam boiler control to well documented executable code
BCPR: An algebraic specification of the steam boiler control system
BW: A steam boiler control specification with statecharts and Z
BSS: An action system approach to the steam boiler problem
CD: The steam boiler in Lustre
CW1: The steam boiler problem - A TLT solution
CW2: The real-time behavior of the steam boiler
DC: Specifying and verifying the steam boiler problem with SPIN
GM: TRIO specification of a steam boiler controller
GDK: A formal specification of the steam boiler control problem by algebraic specifications with implicit state
etc.
Includes bibliographical references and index.
There are no comments on this title.