Proceedings of the Third International Conference on Integrated Formal Methods
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

FM
DBLP
Scholar
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.