ISBN: 3-540-66462-9
TITLE: Applied Formal Methods - FM-Trends 98
AUTHOR: Hutter, Dieter; Stephan, Werner; Traverso, Paolo; Ullmann, Markus (Eds.)
TOC:

Invited Papers
High Level System Design and Analysis Using Abstract State Machines 1
Egon Brger
Enriching the Software Development Process by Formal Methods 44
Manfred Broy, Oscar Slotosch
Regular Papers
Formal Program Development in Geometric Modeling 62
Franois Puitg, Jean-Francois Dufourd
Design of Distributed Multimedia Applications (DAMD) 77
Wanderley Lopes de Souza, Paulo Nazareno Maia Sampaio, Jean-Marie Farines, Roberto Milton Scheffel, Maria Janilce B. Almeida, Luciano Paschoal Gaspary, Lissandro Zambenodetti Granville, Roberto Willrich, Murilo S. de Camargo, Marcelo Domingos
Structured Formal Verification of a Fragment of the IBM S/390 Clock Chip 92
Alfons Geser, Wolfgang Kchlin
Automated Test Set Generation for Statecharts 107
K. Bogdanov, M. Holcombe, H. Singh
Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct 122
Wolfgang Goerigk, Ulrich Hoffmann
Translation Validation: From DC+ to C 137
A. Pnueli, O. Shtrichman, M. Siegel
A Practical Hierarchical Design by Timed Simulation Relations for Real-Time Systems 151
Satoshi Yamane
A Lightweight Approach to Formal Methods 168
Sten Agerholm, Peter Gorm Larsen
An Open Environment for the Integration of Heterogeneous Modelling Techniques and Tools 184
Robert Bssow, Wolfgang Grieskamp, Winfried Heicking, Stephan Herrmann
Integrating Domain Specific Language Design in the Software Life Cycle 196
Philipp W. Kutter, Daniel Schweizer, Lothar Thiele
Flexible and Reliable Process Model Properties: An Integrated Approach 213
Tiziana Margaria, Volker Gruhn
A Symbolic Model Checker for ACTL 228
A. Fantechi, S. Gnesi, F. Mazzanti, R. Pugliese, E. Tronci
Critical Systems Validation and Verification with CSP and FDR 243
Michael Goldsmith, Irfan Zakiuddin
UniForM Perspectives for Formal Methods 251
Bernd Krieg-Brckner
The UniForM WorkBench - A Higher Order Tool Integration Framework 266
Einar W. Karlsen
Application Papers
Two Real Formal Verification Experiences: ATM Switch Chip and Parallel Cache Protocol 281
Masahiro Fujita, Sree P. Rajan, Alan Hu
Formal Methods in the Specification of the Emergency Closing System of the Eastern Scheldt Storm Surge Barrier 296
Meine van der Meulen, Tim Clement
The New Topicality of Using Formal Models of Security Policy within the Security Engineering Process 302
Frank Koob, Markus Ullmann, Stefan Wittmann
Tool Papers
Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture 311
Giuseppe Del Castillo
The IFAD VDM Tools: Lightweight Formal Methods 326
Sten Agerholm, Peter Gorm Larsen
KIV 3.0 for Provably Correct Systems 330
Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel
PVS: An Experience Report 338
S. Owre, J. M. Rushby, N. Shankar, and D. W. J. Stringer-Calvert
QUEST: Overview over the Project 346
Oscar Slotosch
VSE: Controlling the Complexity in Formal Software Developments 351
Dieter Hutter, Heiko Mantel, Georg Rock, Werner Stephan, Andreas Wolpers, Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel
The wHOLe System 359
Mark E. Woodcock
Z/EVES Version 1.5: An Overview 367
ORA Canada
Author Index 377
END
