This book constitutes the refereed proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, held in Eindhoven, The Netherlands, in November/December 2005.
The 19 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections on components, state/event-based verification, system development, applications of B, tool support, non-software domains, semantics, as well as UML and statecharts.
Author(s): David Lorge Parnas (auth.), Judi Romijn, Graeme Smith, Jaco van de Pol (eds.)
Series: Lecture Notes in Computer Science 3771 : Programming and Software Engineering
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2005
Language: English
Pages: 407
Tags: Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Software Engineering; Programming Techniques
Front Matter....Pages -
A Family of Mathematical Methods for Professional Software Documentation....Pages 1-4
Generating Path Conditions for Timed Systems....Pages 5-19
Software Model Checking: Searching for Computations in the Abstract or the Concrete....Pages 20-32
Adaptive Techniques for Specification Matching in Embedded Systems: A Comparative Study....Pages 33-52
State/Event Software Verification for Branching-Time Specifications....Pages 53-69
Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-The-Fly Verification Methods....Pages 70-88
Chunks: Component Verification in CSP ∥ B....Pages 89-108
Agile Formal Method Engineering....Pages 109-128
An Automated Failure Mode and Effect Analysis Based on High-Level Design Specification with Behavior Trees....Pages 129-149
Enabling Security Testing from Specification to Code....Pages 150-166
Development of Fault Tolerant Grid Applications Using Distributed B....Pages 167-186
Formal Methods Meet Domain Specific Languages....Pages 187-206
Synthesizing B Specifications from eb 3 Attribute Definitions....Pages 207-226
CZT Support for Z Extensions....Pages 227-245
Embedding the Stable Failures Model of CSP in PVS....Pages 246-265
Model-Based Prototyping of an Interoperability Protocol for Mobile Ad-Hoc Networks....Pages 266-286
Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS....Pages 287-306
Formalising Interactive Voice Services with SDL....Pages 307-326
A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions....Pages 327-346
Consistency Checking of Sequence Diagrams and Statechart Diagrams Using the π -Calculus....Pages 347-365
An Integrated Framework for Scenarios and State Machines....Pages 366-385
Consistency in UML and B Multi-view Specifications....Pages 386-405
Back Matter....Pages -
