Applied formal methods–FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 : proceedings

Applied Formal Methods — FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods Boppard, Germany, October 7–9, 1998 Proceedings
Author: Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-66462-8
DOI: 10.1007/3-540-48257-1

Table of Contents:

• High Level System Design and Analysis Using Abstract State Machines
• Enriching the Software Development Process by Formal Methods
• Formal Program Development in Geometric Modeling
• Design of Distributed Multimedia Applications (DAMD)
• Structured Formal Verification of a Fragment of the IBM S/390 Clock Chip
• Automated Test Set Generation for Statecharts
• Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct
• Translation Validation: From DC+ to C
• A Practical Hierarchical Design by Timed Simulation Relations for Real-Time Systems
• A Lightweight Approach to Formal Methods
• An Open Environment for the Integration of Heterogeneous Modelling Techniques and Tools
• Integrating Domain Specific Language Design in the Software Life Cycle
• Flexible and Reliable Process Model Properties: An Integrated Approach
• A Symbolic Model Checker for ACTL
• Critical Systems Validation and Verification with CSP and FDR
• UniForM Perspectives for Formal Methods
• The UniForM WorkBench A Higher Order Tool Integration Framework
• Two Real Formal Verification Experiences: ATM Switch Chip and Parallel Cache Protocol
• Formal Methods in the Specification of the Emergency Closing System of the Eastern Scheldt Storm Surge Barrier
• The New Topicality of Using Formal Models of Security Policy within the Security Engineering Process

Includes bibliographical references