The Resource Formal Methods for Industrial Applications : Specifying and Programming the Steam Boiler Control, edited by Jean-Raymond Abrial, Egon Börger, Hans Langmaack, (electronic resource)

Formal Methods for Industrial Applications : Specifying and Programming the Steam Boiler Control, edited by Jean-Raymond Abrial, Egon Börger, Hans Langmaack, (electronic resource)

Label
Formal Methods for Industrial Applications : Specifying and Programming the Steam Boiler Control
Title
Formal Methods for Industrial Applications
Title remainder
Specifying and Programming the Steam Boiler Control
Statement of responsibility
edited by Jean-Raymond Abrial, Egon Börger, Hans Langmaack
Contributor
Editor
Editor
Subject
Language
  • eng
  • eng
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
Member of
Dewey number
621.1/83
http://bibfra.me/vocab/relation/httpidlocgovvocabularyrelatorsedt
  • mGLIijifpmg
  • DdZtF778Ru0
  • 2rDzOenvzuI
Image bit depth
0
Language note
English
LC call number
QA76.758
Literary form
non fiction
http://library.link/vocab/relatedWorkOrContributorName
  • Abrial, Jean-Raymond.
  • Börger, Egon.
  • Langmaack, Hans.
Series statement
Lecture Notes in Computer Science,
Series volume
1165
http://library.link/vocab/subjectName
  • Software engineering
  • Engineering
  • Business
  • Computer science
  • Software Engineering/Programming and Operating Systems
  • Machinery and Machine Elements
  • Business and Management, general
  • Programming Techniques
  • Software Engineering
  • Programming Languages, Compilers, Interpreters
Label
Formal Methods for Industrial Applications : Specifying and Programming the Steam Boiler Control, edited by Jean-Raymond Abrial, Egon Börger, Hans Langmaack, (electronic resource)
Instantiates
Publication
Note
Bibliographic Level Mode of Issuance: Monograph
Antecedent source
mixed
Carrier category
online resource
Carrier category code
  • cr
Color
not applicable
Content category
text
Content type code
  • txt
Contents
The steam boiler case study: Competition of formal program specification and development methods -- Structural synthesis of programs from refined user requirements (Programming boiler control in NUT) -- Using Focus, Lustre and probability theory for the design of a reliable control program -- Refining abstract machine specifications of the steam boiler control to well documented executable code -- An algebraic specification of the Steam-Boiler Control System -- A steam-boiler control specification with statecharts and Z -- An action system approach to the steam boiler problem -- The Steam Boiler problem in Lustre -- The steam-boiler problem — A TLT solution -- The real-time behavior of the steam-boiler -- Specifying and verifying the Steam Boiler Problem with SPIN -- TRIO specification of a steam boiler controller -- A formal specification of the Steam-Boiler Control problem by algebraic specifications with implicit state -- Using HyTech to synthesize control parameters for a steam boiler -- A VDM specification of the steam-boiler problem -- Proving safety properties of the steam boiler controller -- Steam boiler control specification problem: A TLA solution -- Specifying optimal design for a steam-boiler system -- An object-oriented algebraic steam-boiler control specification -- Refinement from a control problem to programs -- VDM specification of the steam-boiler control using RSL notation -- Assertional specification and verification using PVS of the steam boiler control system -- Specifying and verifying the steam boiler control system with Time Extended LOTOS -- Simulation of a steam-boiler -- Steam-boiler control specification problem
Dimensions
unknown
Edition
1st ed. 1996.
Extent
1 online resource (IX, 523 p.)
File format
multiple file formats
Form of item
online
Isbn
9783540495666
Level of compression
uncompressed
Media category
computer
Media type code
  • c
Other control number
10.1007/BFb0027227
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
  • (CKB)1000000000234554
  • (SSID)ssj0000323220
  • (PQKBManifestationID)11247939
  • (PQKBTitleCode)TC0000323220
  • (PQKBWorkID)10299384
  • (PQKB)10785757
  • (DE-He213)978-3-540-49566-6
  • (EXLCZ)991000000000234554
Label
Formal Methods for Industrial Applications : Specifying and Programming the Steam Boiler Control, edited by Jean-Raymond Abrial, Egon Börger, Hans Langmaack, (electronic resource)
Publication
Note
Bibliographic Level Mode of Issuance: Monograph
Antecedent source
mixed
Carrier category
online resource
Carrier category code
  • cr
Color
not applicable
Content category
text
Content type code
  • txt
Contents
The steam boiler case study: Competition of formal program specification and development methods -- Structural synthesis of programs from refined user requirements (Programming boiler control in NUT) -- Using Focus, Lustre and probability theory for the design of a reliable control program -- Refining abstract machine specifications of the steam boiler control to well documented executable code -- An algebraic specification of the Steam-Boiler Control System -- A steam-boiler control specification with statecharts and Z -- An action system approach to the steam boiler problem -- The Steam Boiler problem in Lustre -- The steam-boiler problem — A TLT solution -- The real-time behavior of the steam-boiler -- Specifying and verifying the Steam Boiler Problem with SPIN -- TRIO specification of a steam boiler controller -- A formal specification of the Steam-Boiler Control problem by algebraic specifications with implicit state -- Using HyTech to synthesize control parameters for a steam boiler -- A VDM specification of the steam-boiler problem -- Proving safety properties of the steam boiler controller -- Steam boiler control specification problem: A TLA solution -- Specifying optimal design for a steam-boiler system -- An object-oriented algebraic steam-boiler control specification -- Refinement from a control problem to programs -- VDM specification of the steam-boiler control using RSL notation -- Assertional specification and verification using PVS of the steam boiler control system -- Specifying and verifying the steam boiler control system with Time Extended LOTOS -- Simulation of a steam-boiler -- Steam-boiler control specification problem
Dimensions
unknown
Edition
1st ed. 1996.
Extent
1 online resource (IX, 523 p.)
File format
multiple file formats
Form of item
online
Isbn
9783540495666
Level of compression
uncompressed
Media category
computer
Media type code
  • c
Other control number
10.1007/BFb0027227
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
  • (CKB)1000000000234554
  • (SSID)ssj0000323220
  • (PQKBManifestationID)11247939
  • (PQKBTitleCode)TC0000323220
  • (PQKBWorkID)10299384
  • (PQKB)10785757
  • (DE-He213)978-3-540-49566-6
  • (EXLCZ)991000000000234554

Library Locations

  • Albert D. Cohen Management LibraryBorrow it
    181 Freedman Crescent, Winnipeg, MB, R3T 5V4, CA
    49.807878 -97.129961
  • Architecture/Fine Arts LibraryBorrow it
    84 Curry Place, Winnipeg, MB, CA
    49.807716 -97.136226
  • Archives and Special CollectionsBorrow it
    25 Chancellors Circle (Elizabeth Dafoe Library), Room 330, Winnipeg, MB, R3T 2N2, CA
    49.809961 -97.131878
  • Bibliothèque Alfred-Monnin (Université de Saint-Boniface)Borrow it
    200, avenue de la Cathédrale, Local 2110, Winnipeg, MB, R2H 0H7, CA
    49.888861 -97.119735
  • Bill Larson Library (Grace Hospital)Borrow it
    300 Booth Drive, G-227, Winnipeg, MB, R3J 3M7, CA
    49.882400 -97.276436
  • Carolyn Sifton - Helene Fuld Library (St. Boniface General Hospital)Borrow it
    409 Tache Avenue, Winnipeg, MB, R2H 2A6, CA
    49.883388 -97.126050
  • Concordia Hospital LibraryBorrow it
    1095 Concordia Avenue, Winnipeg, MB, R2K 3S8, CA
    49.913252 -97.064683
  • Donald W. Craik Engineering LibraryBorrow it
    75B Chancellors Circle (Engineering Building E3), Room 361, Winnipeg, MB, R3T 2N2, CA
    49.809053 -97.133292
  • E.K. Williams Law LibraryBorrow it
    224 Dysart Road, Winnipeg, MB, R3T 5V4, CA
    49.811829 -97.131017
  • Eckhardt-Gramatté Music LibraryBorrow it
    136 Dafoe Road (Taché Arts Complex), Room 257, Winnipeg, MB, R3T 2N2, CA
    49.807964 -97.132222
  • Elizabeth Dafoe LibraryBorrow it
    25 Chancellors Circle, Winnipeg, MB, R3T 2N2, CA
    49.809961 -97.131878
  • Fr. H. Drake Library (St. Paul's College)Borrow it
    70 Dysart Road, Winnipeg, MB, R3T 2M6, CA
    49.810605 -97.138184
  • J.W. Crane Memorial Library (Deer Lodge Centre)Borrow it
    2109 Portage Avenue, Winnipeg, MB, R3J 0L3, CA
    49.878000 -97.235520
  • Libraries Annex (not open to the public; please see web page for details)Borrow it
    25 Chancellors Circle (in the Elizabeth Dafoe Library), Winnipeg, MB, R3T 2N2, CA
    49.809961 -97.131878
  • Neil John Maclean Health Sciences LibraryBorrow it
    727 McDermot Avenue (Brodie Centre), 200 Level, Winnipeg, MB, R3E 3P5, CA
    49.903563 -97.160554
  • Sciences and Technology LibraryBorrow it
    186 Dysart Road, Winnipeg, MB, R3T 2M8, CA
    49.811526 -97.133257
  • Seven Oaks General Hospital LibraryBorrow it
    2300 McPhillips Street, Winnipeg, MB, R2V 3M3, CA
    49.955177 -97.148865
  • Sister St. Odilon Library (Misericordia Health Centre)Borrow it
    99 Cornish Avenue, Winnipeg, MB, R3C 1A2, CA
    49.879592 -97.160425
  • St. John's College LibraryBorrow it
    92 Dysart Road, Winnipeg, MB, R3T 2M5, CA
    49.811242 -97.137156
  • Victoria General Hospital LibraryBorrow it
    2340 Pembina Highway, Winnipeg, MB, R3T 2E8, CA
    49.806755 -97.152739
  • William R Newman Library (Agriculture)Borrow it
    66 Dafoe Road, Winnipeg, MB, R3T 2R3, CA
    49.806936 -97.135525
Processing Feedback ...