FME 2002:Formal Methods—Getting IT Right

International Symposium of Formal Methods Europe Copenhagen, Denmark, July 22–24, 2002 Proceedings

  • Lars-Henrik Eriksson
  • Peter Alexander Lindsay
Conference proceedings FME 2002

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2391)

Table of contents

  1. Front Matter
    Pages I-XI
  2. Natarajan Shankar
    Pages 1-20
  3. Bruno Legeard, Fabien Peureux, Mark Utting
    Pages 21-40
  4. Gil Ratsaby, Baruch Sterin, Shmuel Ur
    Pages 41-56
  5. Juan C. Burguillo-Rial, Manuel J. Fernández-Iglesias, Francisco J. González-Castaño, Martín Llamas-Nistal
    Pages 57-76
  6. Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko
    Pages 77-88
  7. Juan C. Bicarregui
    Pages 106-125
  8. Niels Jørgensen
    Pages 126-145
  9. Sharon Barner, Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal
    Pages 146-162
  10. Alexandre Mota, Paulo Borba, Augusto Sampaio
    Pages 163-183
  11. Thomas Arts, Clara Benac Earle, John Derrick
    Pages 184-203
  12. Michael Huber, Steve King
    Pages 204-223
  13. Darko Marinov, Sarfraz Khurshid
    Pages 234-251
  14. María Victoria Cengarle, Alexander Knapp
    Pages 390-409
  15. David Basin
    Pages 430-430
  16. Michael Whalen, Johann Schumann, Bernd Fischer
    Pages 431-450
  17. Augusto Sampaio, Jim Woodcock, Ana Cavalcanti
    Pages 451-470
  18. Ana Cavalcanti, David A. Naumann
    Pages 471-490
  19. Natalia Ioustinova, Natalia Sidorova, Martin Steffen
    Pages 531-548
  20. Lars Michael Kristensen, Thomas Mailund
    Pages 549-567
  21. Helen Treharne
    Pages 568-586
  22. Jin Song Dong, Jing Sun, Hai Wang
    Pages 587-606
  23. Takaaki Umedu, Yoshiki Terashima, Keiichi Yasumoto, Akio Nakata, Teruo Higashino, Kenichi Taniguchi
    Pages 607-624
  24. Back Matter
    Pages 625-625

About these proceedings


This volume contains the proceedings of the 2002 symposium Formal Methods th Europe (FME 2002). The symposium was the 11 in a series that began with a VDM Europe symposium in 1987. The symposia are traditionally held every 18 months. In 2002 the symposium was held at the University of Copenhagen, as part of the 2002 Federated Logic Conference (FLoC 2002), which brought - gether in one event seven major conferences related to logic in computer science, as well as their a?liated workshops, tutorials, and tools exhibitions. Formal Methods Europe ( is an independent association which aims to stimulate the use of, and research on, formal methods for software development. FME symposia have been notably successful in bringing together a community of users, researchers, and developers of precise mathematical - thods for software development. The theme of FME 2002 was “Formal Methods: Getting IT Right”. The double meaning was intentional. On the one hand, the theme acknowledged the signi?cant contribution formal methods can make to Information Technology, by enabling computer systems to be described precisely and reasoned about with rigour. On the other hand, it recognized that current formal methods are not perfect, and further research and practice are required to improve their foundations, applicability, and e?ectiveness.


Bisimulation Java Card OCL UML Variable algorithm algorithms formal method formal methods formal specification logic model checking program analysis programming calculi programming logic

Editors and affiliations

  • Lars-Henrik Eriksson
    • 1
  • Peter Alexander Lindsay
    • 2
  1. 1.Department of Information TechnologyUppsala University751 05UppsalaSweden
  2. 2.Software Verification Research CentreThe University of QueenslandQueenslandAustralia

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2002
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-43928-8
  • Online ISBN 978-3-540-45614-8
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site