Integrated Formal Methods [electronic resource] : 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings /
International Conference on Integrated Formal Methods(5th :2005 :Eindhoven, Netherlands)
Romijn, Judi M.T.editor.
Smith, Graeme P.editor.
van de Pol, Jaco C.editor.
Bibliographic Level Mode of Issuance: Monograph
Includes bibliographical references and index.
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.
Computers.
Computer logic.
Programming languages (Electronic computers).
Software engineering.
Computer programming.
Theory of Computation.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Software Engineering.
Programming Techniques.


Lecture Notes in Computer Science