Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Applied Formal Methods - FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings > Flexible and Reliable Process Model Properties: An Integrated Approach
Applied Formal Methods - FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings |
Dieter Hutter; Werner Stephan; Paolo Traverso; Markus Ullmann
Springer Berlin Heidelberg
Applied Formal Methods - FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings
Flexible and Reliable Process Model Properties: An Integrated Approach
Authors

Tiziana Margaria; Volker Gruhn

ARI Id

1664663169164_2620008

Access

Not Available Free

Pages

213-227

DOI

10.1007/3-540-48257-1_13

Chapter URL

https://rd.springer.com/chapter/10.1007/3-540-48257-1_13

Table of Contents of Book
Showing 1 to 20 of 30 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
I-XI
High Level System Design and Analysis Using Abstract State Machines
Egon Börger
1-43
Enriching the Software Development Process by Formal Methods
Manfred Broy; Oscar Slotosch
44-61
Formal Program Development in Geometric Modeling
François Puitg; Jean-François Dufourd
62-76
Design of Distributed Multimedia Applications (DAMD)
Wanderley Lopes de Souza; Paulo Nazareno Maia Sampaio; Maria Janilce B. Almeida; Luciano Paschoal Gaspary; Lisandro Zambenedetti Granville; Jean-Marie Farines et al.
77-91
Structured Formal Verification of a Fragment of the IBM S/390 Clock Chip
Alfons Geser; Wolfgang Küchlin
92-106
Automated Test Set Generation for Statecharts
K. Bogdanov; M. Holcombe; H. Singh
107-121
Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct
Wolfgang Goerigk; Ulrich Hoffmann
122-136
Translation Validation: From DC+ to C
A. Pnueli; O. Shtrichman; M. Siegel
137-150
A Practical Hierarchical Design by Timed Simulation Relations for Real-Time Systems
Satoshi Yamane
151-167
A Lightweight Approach to Formal Methods
Sten Agerholm; Peter Gorm Larsen
168-183
An Open Environment for the Integration of Heterogeneous Modelling Techniques and Tools
Robert Büssow; Wolfgang Grieskamp; Winfried Heicking; Stephan Herrmann
184-195
Integrating Domain Specific Language Design in the Software Life Cycle
Philipp W. Kutter; Daniel Schweizer; Lothar Thiele
196-212
Flexible and Reliable Process Model Properties: An Integrated Approach
Tiziana Margaria; Volker Gruhn
213-227
A Symbolic Model Checker for ACTL
A. Fantechi; S. Gnesi; F. Mazzanti; R. Pugliese; E. Tronci
228-242
Critical Systems Validation and Verification with CSP and FDR
Michael Goldsmith; Irfan Zakiuddin
243-250
UniForM Perspectives for Formal Methods
Bernd Krieg-Brückner
251-265
The UniForM WorkBench A Higher Order Tool Integration Framework
Einar W. Karlsen
266-280
Two Real Formal Verification Experiences: ATM Switch Chip and Parallel Cache Protocol
Masahiro Fujita; Sree P. Rajan; Alan Hu
281-295
Formal Methods in the Specification of the Emergency Closing System of the Eastern Scheldt Storm Surge Barrier
Meine van der Meulen; Tim Clement
296-301
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 30 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings