Integrated formal methods. 3rd international conference, IFM 2002, Turku, Finland, May 15--18, 2002. Proceedings (Q1611715)

The articles of mathematical interest will be reviewed individually. The preceding conference (2nd, 2000) has been reviewed (see Zbl 0952.00047). Indexed articles: \textit{Gery, Eran; Harel, David; Palachi, Eldad}, Rhapsody: A complete life-cycle model-based development system, 1-10 [Zbl 1057.68589] \textit{Kuske, Sabine; Gogolla, Martin; Kollmann, Ralf; Kreowski, Hans-Jörg}, An integrated semantics for UML class, object and state diagrams based on graph transformation, 11-28 [Zbl 1057.68592] \textit{López, Natalia; Núñez, Manuel; Rubio, Fernando}, Stochastic process algebras meet Eden, 29-48 [Zbl 1057.68642] \textit{Lano, K.; Clark, D.; Androutsopoulos, K.}, From implicit specifications to explicit designs in reactive system development, 49-68 [Zbl 1057.68630] \textit{Nepomniaschy, V. A.; Shilov, N. V.; Bodin, E. V.; Kozura, V. E.}, Basic-REAL: Integrated approach for design, specification and verification of distributed systems, 69-88 [Zbl 1057.68643] \textit{Zulkernine, Mohammad; Seviora, Rudolph E.}, Assume-guarantee algorithms for automatic detection of software failures, 89-108 [Zbl 1057.68598] \textit{Ledang, Hung; Souquières, Jeanine}, Contributions for modelling UML state-charts in B, 109-127 [Zbl 1057.68631] \textit{Sekerinski, Emil; Zurob, Rafik}, Translating statecharts to B, 128-144 [Zbl 1057.68633] \textit{Katz, Shmuel; Grumberg, Orna}, A framework for translating models and specifications, 145-164 [Zbl 1057.68628] \textit{Winter, Kirsten; Duke, Roger}, Model checking Object-Z using ASM, 165-184 [Zbl 1057.68636] \textit{Akbarpour, Behzad; Dekdouk, Abdelkader; Tahar, Sofiène}, Formalization of cadence SPW fixed-point arithmetic in HOL, 185-204 [Zbl 1057.68677] \textit{Xiong, Haiyan; Curzon, Paul; Tahar, Sofiène; Blandford, Ann}, Formally linking MDG and HOL based on a verified MDG system, 205-224 [Zbl 1057.68637] \textit{Bolton, Christie; Davies, Jim}, Refinement in Object-Z and CSP, 225-244 [Zbl 1057.68639] \textit{Hoenicke, Jochen; Olderog, Ernst-Rüdiger}, Combining specification techniques for processes, data and time, 245-266 [Zbl 1057.68626] \textit{Smith, Graeme}, An integration of real-time Object-Z and CSP for specifying concurrent real-time systems, 267-285 [Zbl 1057.68635] \textit{Kent, Stuart}, Model driven engineering, 286-298 [Zbl 1057.68591] \textit{Brooke, Phillip J.; Paige, Richard F.}, The design of a tool-supported graphical notation for Timed CSP, 299-318 [Zbl 1057.68621] \textit{Johnsen, Einar B.; Zhang, Wenhui; Owe, Olaf; Aredo, Demissie B.}, Combining graphical and formal development of open distributed systems, 319-338 [Zbl 1057.68627] \textit{Korenblat, Katerina; Grumberg, Orna; Katz, Shmuel}, Translations between textual transition systems and Petri nets, 339-359 [Zbl 1057.68067] \textit{Ruíz Barradas, Héctor; Bert, Didier}, Specification and proof of liveness properties under fairness assumptions in B event systems, 360-379 [Zbl 1057.68070] \textit{Jeske, C.; Banach, R.}, Minimally and maximally abstract retrenchments, 380-399 [Zbl 1057.68590]