Custom cover image
Custom cover image

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

Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: SpringerLink Bücher | Lecture notes in computer science ; 3771Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Description: Online-Ressource (XI, 407 p. Also available online, digital)ISBN:
  • 9783540322405
Subject(s): Genre/Form: Additional physical formats: 9783540304920 | Buchausg. u.d.T.: Integrated formal methods. Berlin : Springer, 2005. XI, 405 S.MSC: MSC: *68-06 | 68Q60 | 00B25RVK: RVK: SS 4800LOC classification:
  • QA76.9.L63 QA76.5913 QA76.63
DOI: DOI: 10.1007/11589976Online resources: Summary: 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.PPN: PPN: 1647647215Package identifier: Produktsigel: ZDB-2-SCS | ZDB-2-LNC | ZDB-2-SEB | ZDB-2-SCS | ZDB-2-SXCS | ZDB-2-SEB
No physical items for this record
KIT – The University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT