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