Integrated Formal Methods

5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings

424 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

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.

• Reihe: Lecture Notes in Computer Science
• Themen: Informatik und Informationstechnologie Informatik Theoretische Informatik
• ISBN: 9783540304920
• Sprache: Englisch
• Erscheinungsdatum: 24.11.2005
• Größe: 235 x 155 mm
• Verlag: Springer
• Herausgegeben von: Judi M. T. Romijn, Jaco C. van de Pol, Graeme P. Smith