Dagstuhl Seminar: Formal Methods for Industrial Applications 1995

• Jean-Raymond Abrial, Egon Börger, Hans Langmaack:
  The Stream Boiler Case Study: Competition of Formal Program Specification and Development Methods. 1-12
  
• Mattin Addibpour, Enn Tyugu:
  Structural Synthesis of Programs from Refined User Requirements (Programming Boiler Control in NUT). 13-34
  
• Christoph Andriessens, Thomas Lindner:
  Using FOCUS, LUSTRE, and Probability Theory for the Design of a Reliable Control Program. 35-51
  
• Christoph Beierle, Egon Börger, Igor Durdanovic, Uwe Glässer, Elvinia Riccobene:
  Refining Abstract Machine Specifications of the Steam Boiler Control to Well Documented Executable Code. 52-78
  
• Michel Bidoit, Claude Chevenier, Christine Pellen, Jérôme Ryckbosch:
  An Algebraic Specification of the Steam-Boiler Control System. 79-108
  
• Robert Büssow, Matthias Weber:
  A Steam-Boiler Control Specification with Statecharts and Z. 109-128
  
• Michael J. Butler, Emil Sekerinski, Kaisa Sere:
  An Action System Approach to the Steam Boiler Problem. 129-148
  
• Thierry Cattel, Grégory Duval:
  The Steam-Boiler Problem in Lustre. 149-164
  
• Jorge Cuéllar, Isolde Wildgruber:
  The Steam-Boiler Problem - A TLT Solution. 165-183
  
• Jorge Cuéllar, Isolde Wildgruber:
  The Real-Time Behavior of the Steam Boiler. 184-202
  
• Grégory Duval, Thierry Cattel:
  Specifying and Verifying the Steam-Boiler Problem with SPIN. 203-217
  
• Angelo Gargantini, Angelo Morzenti:
  TRIO Specification of a Steam Boiler Controller. 218-232
  
• Marie-Claude Gaudel, Pierre Dauchy, Carole Khoury:
  A Formal Specification of the Steam-Boiler Control Problem by Algebraic Specifications with Implicit State. 233-264
  
• Thomas A. Henzinger, Howard Wong-Toi:
  Using HyTech to Synthesize Control Parameters for a Steam Boiler. 265-282
  
• Yves Ledru, Marie-Laure Potet:
  A VDM Specification of the Steam-Boiler Problem. 283-317
  
• Gunter Leeb, Nancy A. Lynch:
  Proving Safety Properties of the Steam Boiler Controller. 318-338
  
• Frank Lesske, Stephan Merz:
  Steam Boiler Control Specification Problem: A TLA Solution. 339-358
  
• Xiaoshan Li, Wang Juan:
  Specifying Optimal Design of a Steam-Boiler System. 359-378
  
• Peter Csaba Ölveczky, Piotr Kosiuczenko, Martin Wirsing:
  An Object-Oriented Algebraic Steam-Boiler Control Specification. 379-402
  
• Michael Schenke, Anders P. Ravn:
  Refinement from a Control Problem to Programs. 403-427
  
• Christian P. Schinagl:
  VDM Specification of the Steam-Boiler Control Using RSL Notation. 428-452
  
• Jan Vitt, Jozef Hooman:
  Assertional Specification and Verification Using PVS of the Steam Boiler Control System. 453-472
  
• Andreas Willig, Ina Schieferdecker:
  Specifying and Verifying the Steam-Boiler Control System with Time Extended LOTOS. 473-492
  
• Annette Lötzbeyer:
  Simulation of a Steam-Boiler. 493-499
  
• Jean-Raymond Abrial:
  Steam-Boiler Control Specification Problem. 500-509
  

Last update Wed May 22 02:43:02 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page