FM-Trends 1998:
Boppard,
Germany
Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann (Eds.):
Applied Formal Methods - FM-Trends 98, International Workshop on Current Trends in Applied Formal Method, Boppard, Germany, October 7-9, 1998, Proceedings.
Lecture Notes in Computer Science 1641 Springer 1999, ISBN 3-540-66462-9 BibTeX
@proceedings{DBLP:conf/fm/1998,
editor = {Dieter Hutter and
Werner Stephan and
Paolo Traverso and
Markus Ullmann},
title = {Applied Formal Methods - FM-Trends 98, International Workshop
on Current Trends in Applied Formal Method, Boppard, Germany,
October 7-9, 1998, Proceedings},
booktitle = {FM-Trends},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1641},
year = {1999},
isbn = {3-540-66462-9},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Papers
Regular Papers
- François Puitg, Jean-François Dufourd:
Formal Program Development in Geometric Modeling.
62-76 BibTeX
- 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 BibTeX
- Alfons Geser, Wolfgang Küchlin:
Structured Formal Verification of a Fragment of the IBM S/390 Clock Chip.
92-106 BibTeX
- Kirill Bogdanov, Mike Holcombe, Harbhajan Singh:
Automated Test Set Generation for Statecharts.
107-121 BibTeX
- Wolfgang Goerigk, Ulrich Hoffmann:
Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct.
122-136 BibTeX
- Amir Pnueli, Ofer Strichman, Michael Siegel:
Translation Validation: From DC+ to C*.
137-150 BibTeX
- Satoshi Yamane:
A Practical Hierarchical Design by Timed Simulation Relations for Real-Time Systems.
151-167 BibTeX
- Sten Agerholm, Peter Gorm Larsen:
A Lightweight Approach to Formal Methods.
168-183 BibTeX
- Robert Büssow, Wolfgang Grieskamp, Winfried Heicking, Stephan Herrmann:
An Open Environment for the Integration of Hetereogenous Modelling Techniques and Tools.
184-195 BibTeX
- Philipp W. Kutter, Daniel Schweizer, Lothar Thiele:
Integrating Domain Specific Language Design in the Software Life Cycle.
196-212 BibTeX
- Tiziana Margaria, Volker Gruhn:
Flexible and Reliable Process Model Properties: An Integrated Approach.
213-227 BibTeX
- Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Rosario Pugliese, Enrico Tronci:
A Symbolic Model Checker for ACTL.
228-242 BibTeX
- Michael Goldsmith, Irfan Zakiuddin:
Critical Systems Validation and Verification with CSP and FDR.
243-250 BibTeX
- Bernd Krieg-Brückner:
UniForM Perspectives for Formal Methods.
251-265 BibTeX
- Einar W. Karlsen:
The UniForM WorkBench - A Higher Order Tool Integration Framework.
266-280 BibTeX
Application Papers
Tool Papers
- Giuseppe Del Castillo:
Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture.
311-325 BibTeX
- Sten Agerholm, Peter Gorm Larsen:
The IFAD VDM Tools: Lightweight Formal Methods.
326-329 BibTeX
- Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel:
KIV 3.0 for Provably Correct Systems.
330-337 BibTeX
- Sam Owre, John M. Rushby, Natarajan Shankar, David W. J. Stringer-Calvert:
PVS: An Experience Report.
338-345 BibTeX
- Oscar Slotosch:
QUEST: Overview over the Project.
346-350 BibTeX
- 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 BibTeX
- Mark E. Woodcock:
The wHOLe System.
359-366 BibTeX
- Ora Canada:
Z/EVES Version 1.5: An Overview.
367-376 BibTeX
Copyright © Sat May 16 23:12:15 2009
by Michael Ley (ley@uni-trier.de)