Integrated Formal Methods 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings / edited by Judi M.T. Romijn, Graeme P. Smith, Jaco C. van de Pol.

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Romijn, Judi M.T (Editor), Smith, Graeme P. (Editor), van de Pol, Jaco C. (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Edition:1st ed. 2005.
Series:Programming and Software Engineering ; 3771
Springer eBook Collection.
Subjects:
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Table of Contents:
  • Invited Papers
  • A Family of Mathematical Methods for Professional Software Documentation
  • Generating Path Conditions for Timed Systems
  • Software Model Checking: Searching for Computations in the Abstract or the Concrete
  • Session: Components
  • Adaptive Techniques for Specification Matching in Embedded Systems: A Comparative Study
  • Session: State/Event-Based Verification
  • State/Event Software Verification for Branching-Time Specifications
  • Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-The-Fly Verification Methods
  • Chunks: Component Verification in CSP ? B
  • Session: System Development
  • Agile Formal Method Engineering
  • An Automated Failure Mode and Effect Analysis Based on High-Level Design Specification with Behavior Trees
  • Enabling Security Testing from Specification to Code
  • Session: Applications of B
  • Development of Fault Tolerant Grid Applications Using Distributed B
  • Formal Methods Meet Domain Specific Languages
  • Synthesizing B Specifications from eb 3 Attribute Definitions
  • Session: Tool Support
  • CZT Support for Z Extensions
  • Embedding the Stable Failures Model of CSP in PVS
  • Model-Based Prototyping of an Interoperability Protocol for Mobile Ad-Hoc Networks
  • Session: Non-software Domains
  • Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS
  • Formalising Interactive Voice Services with SDL
  • Session: Semantics
  • A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions
  • Session: UML and Statecharts
  • Consistency Checking of Sequence Diagrams and Statechart Diagrams Using the ?-Calculus
  • An Integrated Framework for Scenarios and State Machines
  • Consistency in UML and B Multi-view Specifications.