Matches in Harvard for { <http://id.lib.harvard.edu/aleph/007451187/catalog> ?p ?o. }
Showing items 1 to 28 of
28
with 100 items per page.
- catalog abstract "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.".
- catalog contributor b10286660.
- catalog contributor b10286661.
- catalog contributor b10286662.
- catalog created "c1996.".
- catalog date "1996".
- catalog date "c1996.".
- catalog dateCopyrighted "c1996.".
- catalog description "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.".
- catalog description "Includes bibliographical references and index.".
- catalog description "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.".
- catalog extent "viii, 509 p. :".
- catalog hasFormat "Formal methods for industrial applications".
- catalog identifier "3540619291 (alk. paper)".
- catalog isFormatOf "Formal methods for industrial applications".
- catalog isPartOf "Lecture notes in computer science, 0302-9743 ; 1165".
- catalog issued "1996".
- catalog issued "c1996.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer,".
- catalog relation "Formal methods for industrial applications".
- catalog subject "621.1/83 21".
- catalog subject "Steam-boilers Automatic control Data processing.".
- catalog subject "TJ288 .F59 1996".
- catalog tableOfContents "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.".
- catalog title "Formal methods for industrial applications : specifying and programming the steam boiler control / Jean-Raymond Abrial, Egon Börger, Hans Langmaack, eds.".
- catalog type "Congressen (vorm) gtt".
- catalog type "text".