Research Catalog

Title

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

Publication

Berlin ; New York : Springer, [1996], ©1996.

Items in the Library & Off-site

Holdings

Details

Additional Authors

• Abrial, Jean-Raymond.
• Börger, E. (Egon), 1946-
• Langmaack, Hans.

Description

viii, 509 pages : illustrations; 24 cm +

Series Statement

Lecture notes in computer science ; 1165

Uniform Title

Lecture notes in computer science ; 1165.

Subject

• Steam-boilers > Automatic control > Data processing

Note

• "CD annex contain<s> full details of all the contributions, including the executable programs and their documentation which could not be repinced in print"--P. vi.

Bibliography (note)

• Includes bibliographical references and index.

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 [et al.] -- BCPR: An Algebraic Specification of the Steam-Boiler Control System / Michel Bidoit, Claude Chevenier and Christine Pellen [et al.] -- 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 --
• CD: The Steam-Boiler Problem in Lustre / Thierry Cattel and Gregory Duval -- CW1: The Steam Boiler Problem - A TLT Solution / Jorge Cuellar and Isolde Wildgruber -- CW2: The Real-Time Behavior of the Steam Boiler / Jorge Cuellar and Isolde Wildgruber -- DC: Specifying and Verifying the Steam-Boiler Problem with SPIN / Gregory Duval and Thierry Cattel -- GM: TRIO Specification of a Steam Boiler Controller / Angelo Gargantini and Angelo Morzenti -- GDK: A Formal Specification of the Steam-Boiler Control Problem by Algebraic Specifications with Implicit State / Marie-Claude Gaudel, Pierre Dauchy and Carole Khoury -- HW: Using HyTech to Synthesize Control Parameters for a Steam Boiler / Thomas A. Henzinger and Howard Wong-Toi -- LP: A VDM Specification of the Steam-Boiler Problem / Yves Ledru and Marie-Laure Potet -- LL: Proving Safety Properties of the Steam Boiler Controller / Gunter Leeb and Nancy Lynch --
• LM: Steam Boiler Control Specification Problem: A TLA Solution / Frank Lesske and Stephan Merz -- LW: Specifying Optimal Design of a Steam-Boiler System / Li XiaoShan and Wang JuAn -- OKW: An Object-Oriented Algebraic Steam-Boiler Control Specification / Peter Csaba Olveczky, Piotr Kosiuczenko and Martin Wirsing -- SR: Refinement from a Control Problem to Programs / Michael Schenke and Anders P. Ravn -- S: VDM Specification of the Steam-Boiler Control Using RSL Notation / Christian P. Schinagl -- VH: Assertional Specification and Verification Using PVS of the Steam Boiler Control System / Jan Vitt and Jozef Hooman -- WS: Specifying and Verifying the Steam-Boiler Control System with Time Extended LOTOS / Andreas Willig and Ina Schieferdecker -- L: Simulation of a Steam-Boiler / Annette Lotzbeyer -- A: Steam-Boiler Control Specification Problem / Jean-Raymond Abrial.

ISBN

3540619291 (alk. paper)

LCCN

96039128

OCLC

ocm35686104

Owning Institutions

Columbia University Libraries