+612 9045 4394
 
CHECKOUT
Integrated Formal Methods : Second International Conference, Ifm 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings - Wolfgang Grieskamp

Integrated Formal Methods

Second International Conference, Ifm 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings

By: Wolfgang Grieskamp (Editor), Thomas Santen (Editor), Bill Stoddart (Editor)

Paperback

Published: 18th October 2000
Ships: 15 business days
15 business days
$158.39
or 4 easy payments of $39.60 with Learn more

IFM 2000, the second in a series of international conferences on Integrated F- mal Methods, was held at the 18th-century chateau DEGREES of Schloss Dagstuhl, Sa- land, Germany, from the 1st to the 3rd of November 2000. The conference programme consisted of invited talks from Sir Tony Hoare FRS and Wolfram Schulte, along with 22 papers selected from 58 submissions. Applying formal methods may involve the modelling of di erent aspects of a system that are expressed through di erent paradigms. This motivates us to research the combination of di erent viewpoints of a system, either by the creation of hybrid notations, by extending existing notations, by translating between notations, or by incorporating a wider perspective with the innovative use of an existing notation. The integration of formal methods promises great bene ts to systems - delling and software development. Regardless of the approach taken, however, signi cant issues can arise in areas such as semantic integration, the tracta- lity of our notations, the integration of tool support, the integration of proof systems, consistency, and completeness. Issues arise equally in our conceptua- sation of systems at di erent levels of abstraction and the development of these conceptualisations through the process of re nement.

Invited Talk
Assertionsp. 1
Linking and Extending Notations
State-Based Extension of CASLp. 3
Linking DC Together with TRSLp. 25
Formalizing Timing Diagrams as Causal Dependencies for Verification Purposesp. 45
A Process Compensation Languagep. 61
Activity Graphs and Processesp. 77
Structuring Real-Time Object-Z Specificationsp. 97
ISpec: Towards Practical and Sound Interface Specificationsp. 116
Methodology
Cooperation of Formal Methods in an Engineering Based Software Development Processp. 136
Developing Control Systems Componentsp. 156
Specification and Analysis of Automata-Based Designsp. 176
Structural Refinement in Object-Z / CSPp. 194
Towards a Unified Development Methodology for Shared-Variable Parallel and Distributed Programsp. 214
Foundation of One Formalism by Another
Construction of Finite Labelled Transition Systems from B Abstract Systemsp. 235
µ-Charts and Z: Hows, Whys, and Whereforesp. 255
Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Languagep. 277
Invited Talk
Why DoesnÆt Anyone Use Formal Methods?p. 297
Semantics
How to Write a Healthiness Conditionp. 299
A Concurrent and Compositional Petri Net Semantics of Preemptionp. 318
Verification and Validation
An Approach to Symbolic Test Generationp. 338
Behavioral Conformance Verification in an Integrated Approach Using UML and Bp. 358
Predicate Diagrams for the Verification of Reactive Systemsp. 380
Modular Verification for a Class of PLTL Propertiesp. 398
Towards Model Checking Stochastic Process Algebrap. 420
Author Indexp. 441
Table of Contents provided by Publisher. All Rights Reserved.

ISBN: 9783540411963
ISBN-10: 3540411968
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 446
Published: 18th October 2000
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 2.34
Weight (kg): 0.64