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

2006-1  

1 (2006年1月9日)  

Judi M.T. Romijn  

407  

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集成形式化方法 /会议录 PDF格式下载