Michael J. Butler, Luigia Petre, Kaisa Sere
Proceedings of the Third International Conference on Integrated Formal Methods
IFM, 2002.

@proceedings{IFM-2002,
	address       = "Turku, Finland",
	editor        = "Michael J. Butler and Luigia Petre and Kaisa Sere",
	isbn          = "3-540-43703-7",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Third International Conference on Integrated Formal Methods}",
	volume        = 2335,
	year          = 2002,
}

Contents (21 items)

6 ×#specification
4 ×#modelling
3 ×#csp
3 ×#design
3 ×#development
2 ×#distributed
2 ×#named
2 ×#process
2 ×#uml
2 ×#visual notation

IFM-2002-GeryHP #development #lifecycle #modelling #named

Rhapsody: A Complete Life-Cycle Model-Based Development System (EG, DH, EP), pp. 1–10.

IFM-2002-KuskeGKK #diagrams #graph transformation #semantics #uml

An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation (SK, MG, RK, HJK), pp. 11–28.

IFM-2002-LopezNR #algebra #probability #process

Stochastic Process Algebras Meet Eden (NL, MN, FR), pp. 29–48.

IFM-2002-LanoCA #design #development #specification

From Implicit Specifications to Explicit Designs in Reactive System Development (KL, DC, KA), pp. 49–68.

IFM-2002-NepomniaschySBK #approach #design #distributed #named #specification #verification

Basic-REAL: Integrated Approach for Design, Specification and Verification of Distributed Systems (VAN, NVS, EVB, VEK), pp. 69–88.

IFM-2002-ZulkernineS #algorithm #automation #detection

Assume-Guarantee Algorithms for Automatic Detection of Software Failures (MZ, RES), pp. 89–108.

IFM-2002-LedangS #modelling #uml

Contributions for Modelling UML State-Charts in B (HL, JS), pp. 109–127.

IFM-2002-SekerinskiZ

Translating Statecharts to B (ES, RZ), pp. 128–144.

IFM-2002-KatzG #framework #modelling #specification

A Framework for Translating Models and Specifications (SK, OG), pp. 145–164.

IFM-2002-WinterD #model checking #using

Model Checking Object-Z Using ASM (KW, RD), pp. 165–184.

IFM-2002-AkbarpourDT #fixpoint #formal method

Formalization of Cadence SPW Fixed-Point Arithmetic in HOL (BA, AD, ST), pp. 185–204.

IFM-2002-XiongCTB

Formally Linking MDG and HOL Based on a Verified MDG System (HX, PC, ST, AB), pp. 205–224.

IFM-2002-BoltonD #csp #refinement

Refinement in Object-Z and CSP (CB, JD), pp. 225–244.

IFM-2002-HoenickeO #process #specification

Combining Specification Techniques for Processes, Data and Time (JH, ERO), pp. 245–266.

IFM-2002-Smith #concurrent #csp #integration #realtime #specification

An Integration of Real-Time Object-Z and CSP for Specifying Concurrent Real-Time Systems (GS), pp. 267–285.

IFM-2002-Kent #modelling

Model Driven Engineering (SK), pp. 286–298.

IFM-2002-BrookeP #csp #design #visual notation

The Design of a Tool-Supported Graphical Notation for Timed CSP (PJB, RFP), pp. 299–318.

IFM-2002-JohnsenZOA #development #distributed #visual notation

Combining Graphical and Formal Development of Open Distributed Systems (EBJ, WZ, OO, DBA), pp. 319–338.

IFM-2002-KorenblatGK #petri net

Translations between Textual Transition Systems and Petri Nets (KK, OG, SK), pp. 339–359.

IFM-2002-BarradasB #liveness #proving #specification

Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems (HRB, DB), pp. 360–379.

IFM-2002-JeskeB

Minimally and Maximally Abstract Retrenchments (CJ, RB), pp. 380–400.