Integrated Formal Methods集成形式化方法 /会议录

作者简介

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.

书籍目录

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 ConcreteSession: Components　Adaptive Techniques for Specification Matching in Embedded Systems A Comparative StudySession: 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||BSession: 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 CodeSession: Applications of B　Development of Fault Tolerant Grid Applications Using Distributed B　Formal Methods Meet Domain Specific Languages　Synthesizing B Specifications from EB3 Attribute DefinitionsSession: 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 NetworksPeder Christian NcrgaardSession: Non-software Domains　Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS　Formalising Interactive Voice Services with SDLSession: SemanticsSession: UML and StatechartsAuthor Index

 Integrated Formal Methods集成形式化方法 /会议录下载