Applied Formal Methods - FM-Trends 98

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 High Level System Design and Analysis Using Abstract State Machines
3. Altmetric Badge
   Chapter 2 Enriching the Software Development Process by Formal Methods
4. Altmetric Badge
   Chapter 3 Formal Program Development in Geometric Modeling
5. Altmetric Badge
   Chapter 4 Design of Distributed Multimedia Applications (DAMD)
6. Altmetric Badge
   Chapter 5 Structured Formal Verification of a Fragment of the IBM S/390 Clock Chip
7. Altmetric Badge
   Chapter 6 Automated Test Set Generation for Statecharts
8. Altmetric Badge
   Chapter 7 Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct
9. Altmetric Badge
   Chapter 8 Translation Validation: From DC+ to C
10. Altmetric Badge
    Chapter 9 A Practical Hierarchical Design by Timed Simulation Relations for Real-Time Systems
11. Altmetric Badge
    Chapter 10 A Lightweight Approach to Formal Methods
12. Altmetric Badge
    Chapter 11 An Open Environment for the Integration of Heterogeneous Modelling Techniques and Tools
13. Altmetric Badge
    Chapter 12 Integrating Domain Specific Language Design in the Software Life Cycle
14. Altmetric Badge
    Chapter 13 Flexible and Reliable Process Model Properties: An Integrated Approach
15. Altmetric Badge
    Chapter 14 A Symbolic Model Checker for ACTL
16. Altmetric Badge
    Chapter 15 Critical Systems Validation and Verification with CSP and FDR
17. Altmetric Badge
    Chapter 16 UniForM Perspectives for Formal Methods
18. Altmetric Badge
    Chapter 17 The UniForM WorkBench A Higher Order Tool Integration Framework
19. Altmetric Badge
    Chapter 18 Two Real Formal Verification Experiences: ATM Switch Chip and Parallel Cache Protocol
20. Altmetric Badge
    Chapter 19 Formal Methods in the Specification of the Emergency Closing System of the Eastern Scheldt Storm Surge Barrier
21. Altmetric Badge
    Chapter 20 The New Topicality of Using Formal Models of Security Policy within the Security Engineering Process
22. Altmetric Badge
    Chapter 21 Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture
23. Altmetric Badge
    Chapter 22 The IFAD VDM Tools
24. Altmetric Badge
    Chapter 23 KIV 3.0 for Provably Correct Systems
25. Altmetric Badge
    Chapter 24 PVS: An Experience Report
26. Altmetric Badge
    Chapter 25 Overview over the Project Quest
27. Altmetric Badge
    Chapter 26 VSE: Controlling the Complexity in Formal Software Developments
28. Altmetric Badge
    Chapter 27 The wHOLe System
29. Altmetric Badge
    Chapter 28 Z/EVES Version 1.5: An Overview