Integrated formal methods. 3rd international conference, IFM 2002, Turku, Finland, May 15--18, 2002. Proceedings
type: Item
instance of: scholarly article
title: Integrated formal methods. 3rd international conference, IFM 2002, Turku, Finland, May 15--18, 2002. Proceedings
zbMATH Open document ID: 0992.00052
DOI: 10.1007/3-540-47884-1
published in: Lecture Notes in Computer Science
publication date: 2002-08-27T00:00:00Z
review text: 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üdi…
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
zbMATH DE Number: 1789318
zbMATH Keywords: Turku (Finland)
zbMATH Keywords: Proceedings
zbMATH Keywords: Conference
zbMATH Keywords: IFM 2002
zbMATH Keywords: Integrated formal methods
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/3-540-47884-1
OpenAlex ID: W4301288232
Recommended article: Integrated formal methods. 10th international conference, IFM 2013, Turku, Finland, June 10--14, 2013. Proceedings
Recommended article: Integrated formal methods. 2nd international conference, IFM 2000, Dagstuhl Castle, Germany, November 1--3, 2000. Proceedings
Recommended article: Integrated formal methods. 13th international conference, IFM 2017, Turin, Italy, September 20--22, 2017. Proceedings
Recommended article: Integrated formal methods. 9th international conference, IFM 2012, Pisa, Italy, June 18--21, 2012. Proceedings
Recommended article: Integrated formal methods. 5th international conference, IFM 2005, Eindhoven, The Netherlands, November 29 -- December 2, 2005. Proceedings
Recommended article: Integrated formal methods. 11th international conference, IFM 2014, Bertinoro, Italy, September 9--11, 2014. Proceedings
Recommended article: Integrated formal methods. 12th international conference, IFM 2016, Reykjavik, Iceland, June 1--5, 2016. Proceedings
Recommended article: Integrated formal methods. 15th international conference, IFM 2019, Bergen, Norway, December 2--6, 2019. Proceedings
Recommended article: Integrated formal methods. 17th international conference, IFM 2022, Lugano, Switzerland, June 7--10, 2022. Proceedings
Recommended article: Integrated formal methods. 7th international conference, IFM 2009, Düsseldorf, Germany, February 16--19, 2009. Proceedings
description: scientific article; zbMATH DE number 1789318