FM-Trends 1998: Boppard, Germany

Invited Papers

• Egon Börger:
  High Level System Design and Analysis Using Abstract State Machines. 1-43
  
• Manfred Broy, Oscar Slotosch:
  Enriching the Software Development Process by Formal Methods. 44-61
  

Regular Papers

• François Puitg, Jean-François Dufourd:
  Formal Program Development in Geometric Modeling. 62-76
  
• Wanderley Lopes de Souza, Paulo Nazareno Maia Sampaio, Jean-Marie Farines, Roberto Milton Scheffel, Maria Janilce B. Almeida, Luciano Paschoal Gaspary, Lisandro Zambenedetti Granville, Roberto Willrich, Murilo S. de Camargo, Marcelo Domingos:
  Design of Distributed Multimedia Applications (DAMD). 77-91
  
• Alfons Geser, Wolfgang Küchlin:
  Structured Formal Verification of a Fragment of the IBM S/390 Clock Chip. 92-106
  
• Kirill Bogdanov, Mike Holcombe, Harbhajan Singh:
  Automated Test Set Generation for Statecharts. 107-121
  
• Wolfgang Goerigk, Ulrich Hoffmann:
  Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct. 122-136
  
• Amir Pnueli, Ofer Strichman, Michael Siegel:
  Translation Validation: From DC+ to C*. 137-150
  
• Satoshi Yamane:
  A Practical Hierarchical Design by Timed Simulation Relations for Real-Time Systems. 151-167
  
• Sten Agerholm, Peter Gorm Larsen:
  A Lightweight Approach to Formal Methods. 168-183
  
• Robert Büssow, Wolfgang Grieskamp, Winfried Heicking, Stephan Herrmann:
  An Open Environment for the Integration of Hetereogenous Modelling Techniques and Tools. 184-195
  
• Philipp W. Kutter, Daniel Schweizer, Lothar Thiele:
  Integrating Domain Specific Language Design in the Software Life Cycle. 196-212
  
• Tiziana Margaria, Volker Gruhn:
  Flexible and Reliable Process Model Properties: An Integrated Approach. 213-227
  
• Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Rosario Pugliese, Enrico Tronci:
  A Symbolic Model Checker for ACTL. 228-242
  
• Michael Goldsmith, Irfan Zakiuddin:
  Critical Systems Validation and Verification with CSP and FDR. 243-250
  
• Bernd Krieg-Brückner:
  UniForM Perspectives for Formal Methods. 251-265
  
• Einar W. Karlsen:
  The UniForM WorkBench - A Higher Order Tool Integration Framework. 266-280
  

Application Papers

• Masahiro Fujita, Sreeranga P. Rajan, Alan J. Hu:
  Two Real Formal Verification Experiences: ATM Switch Chip and Parallel Cache Protocol. 281-295
  
• Meine van der Meulen, Tim Clement:
  Formal Methods in the Specification of the Emergency Closing System of the Eastern Scheldt Storm Surge Barrier. 296-301
  
• Frank Koob, Markus Ullmann, Stefan Wittmann:
  The New Topicality of Using Formal Models of Security Policy within the Security Engineering Process. 302-310
  

Tool Papers

• Giuseppe Del Castillo:
  Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture. 311-325
  
• Sten Agerholm, Peter Gorm Larsen:
  The IFAD VDM Tools: Lightweight Formal Methods. 326-329
  
• Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel:
  KIV 3.0 for Provably Correct Systems. 330-337
  
• Sam Owre, John M. Rushby, Natarajan Shankar, David W. J. Stringer-Calvert:
  PVS: An Experience Report. 338-345
  
• Oscar Slotosch:
  QUEST: Overview over the Project. 346-350
  
• Dieter Hutter, Heiko Mantel, Georg Rock, Werner Stephan, Andreas Wolpers, Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel:
  VSE: Controlling the Complexity in Formal Software Developments. 351-358
  
• Mark E. Woodcock:
  The wHOLe System. 359-366
  
• Ora Canada:
  Z/EVES Version 1.5: An Overview. 367-376