Judi Romijn, Graeme Smith, Jaco van de Pol
Proceedings of the Fifth International Conference on Integrated Formal Methods
IFM, 2005.
@proceedings{IFM-2005,
address = "Eindhoven, The Netherlands",
editor = "Judi Romijn and Graeme Smith and Jaco van de Pol",
isbn = "3-540-30492-4",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Proceedings of the Fifth International Conference on Integrated Formal Methods}",
volume = 3771,
year = 2005,
}
Contents (22 items)
- IFM-2005-Parnas #documentation #product line
- A Family of Mathematical Methods for Professional Software Documentation (DLP), pp. 1–4.
- IFM-2005-BensalemPQT #generative
- Generating Path Conditions for Timed Systems (SB, DP, HQ, ST), pp. 5–19.
- IFM-2005-GodefroidK #model checking
- Software Model Checking: Searching for Computations in the Abstract or the Concrete (PG, NK), pp. 20–32.
- IFM-2005-MalikR #adaptation #case study #comparative #embedded #specification
- Adaptive Techniques for Specification Matching in Embedded Systems: A Comparative Study (RM, PSR), pp. 33–52.
- IFM-2005-ChakiCGOSTV #specification #verification
- State/Event Software Verification for Branching-Time Specifications (SC, EMC, OG, JO, NS, TT, HV), pp. 53–69.
- IFM-2005-Lang #composition #flexibility #on the fly #partial order #verification
- Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-The-Fly Verification Methods (FL), pp. 70–88.
- IFM-2005-SchneiderTE #component #csp #named #verification
- Chunks: Component Verification in CSP||B (SAS, HT, NE), pp. 89–108.
- IFM-2005-PaigeB #agile #formal method
- Agile Formal Method Engineering (RFP, PJB), pp. 109–128.
- IFM-2005-GrunskeLYW #analysis #automation #behaviour #design #specification
- An Automated Failure Mode and Effect Analysis Based on High-Level Design Specification with Behavior Trees (LG, PAL, NY, KW), pp. 129–149.
- IFM-2005-BracherK #security #specification #testing
- Enabling Security Testing from Specification to Code (SB, PK), pp. 150–166.
- IFM-2005-BostromW #development #distributed #fault tolerance #grid #using
- Development of Fault Tolerant Grid Applications Using Distributed B (PB, MAW), pp. 167–186.
- IFM-2005-BodeveixFLM #domain-specific language #formal method
- Formal Methods Meet Domain Specific Languages (JPB, MF, JLL, GM), pp. 187–206.
- IFM-2005-GervaisFL #specification
- Synthesizing B Specifications from EB3 Attribute Definitions (FG, MF, RL), pp. 207–226.
- IFM-2005-MillerFMU
- CZT Support for Z Extensions (TM, LF, PM, MU), pp. 227–245.
- IFM-2005-WeiH #csp
- Embedding the Stable Failures Model of CSP in PVS (KW, JH), pp. 246–265.
- IFM-2005-KristensenWN #ad hoc #mobile #modelling #network #protocol #prototype
- Model-Based Prototyping of an Interoperability Protocol for Mobile Ad-Hoc Networks (LMK, MW, PCN), pp. 266–286.
- IFM-2005-SalaunS #algebra #hardware #process #standard
- Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS (GS, WS), pp. 287–306.
- IFM-2005-Turner #formal method #interactive
- Formalising Interactive Voice Services with SDL (KJT), pp. 307–326.
- IFM-2005-BarradasB #fixpoint #semantics
- A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions (HRB, DB), pp. 327–346.
- IFM-2005-LamP #consistency #diagrams #sequence chart #statechart #using #π-calculus
- Consistency Checking of Sequence Diagrams and Statechart Diagrams Using the π-Calculus (VSWL, JAP), pp. 347–365.
- IFM-2005-SenguptaC #framework #state machine
- An Integrated Framework for Scenarios and State Machines (BS, RC), pp. 366–385.
- IFM-2005-OssamiJS #consistency #multi #specification #uml
- Consistency in UML and B Multi-view Specifications (DDOO, JPJ, JS), pp. 386–405.
