FME 2003: Formal Methods

International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003. Proceedings

  • Keijiro Araki
  • Stefania Gnesi
  • Dino Mandrioli
Conference proceedings FME 2003

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

Table of contents

  1. Front Matter
    Pages I-XV
  2. Invited Speakers

    1. Kouichi Kishida
      Pages 1-6
    2. Toshimi Sawada, Kouichi Kishida, Kokichi Futatsugi
      Pages 7-17
    3. Brian Randell
      Pages 18-39
    4. Gerard J. Holzmann
      Pages 40-50
  3. I-Day

    1. Steven P. Miller, Alan C. Tribble, Mats P. E. Heimdahl
      Pages 75-93
    2. Didier Bert, Sylvain Boulmé, Marie-Laure Potet, Antoine Requet, Laurent Voisin
      Pages 94-113
    3. Daniele Compare, Paola Inverardi, Patrizio Pelliccione, Alessandra Sebastiani
      Pages 114-132
  4. Control Systems and Industrial Applications

    1. Ian J. Hayes, Michael A. Jackson, Cliff B. Jones
      Pages 154-169
    2. Donna C. Stidolph, James Whitehead
      Pages 170-186
    3. Marco Bozzano, Antonella Cavallo, Massimo Cifaldi, Laura Valacca, Adolfo Villafiorita
      Pages 208-222
  5. Communications System Verification

  6. Co-specification and Compilers

    1. Adolfo Duran, Ana Cavalcanti, Augusto Sampaio
      Pages 301-320
  7. Composition

    1. Shengchao Qin, Jin Song Dong, Wei-Ngan Chin
      Pages 321-340
    2. Olga Kouchnarenko, Arnaud Lanoix
      Pages 341-358
    3. Grigore Roşu, Steven Eker, Patrick Lincoln, José Meseguer
      Pages 359-380
    4. Maurice H. ter Beek, Jetty Kleijn
      Pages 381-400
    5. Michel Charpentier
      Pages 401-421
  8. Java, Object Orientation and Modularity

    1. Lilian Burdy, Antoine Requet, Jean-Louis Lanet
      Pages 422-439
    2. Maria-Cristina V. Marinescu, Martin C. Rinard
      Pages 482-502
  9. Model Checking

    1. Arie Gurfinkel, Marsha Chechik
      Pages 503-521
    2. Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini
      Pages 542-561
    3. Julien Musset, Michaël Rusinowitch
      Pages 562-581
    4. Fei Xie, James C. Browne, Robert P. Kurshan
      Pages 582-599
    5. Michael Goldsmith, Nick Moffat, Bill Roscoe, Tim Whitworth, Irfan Zakiuddin
      Pages 600-616
  10. Parallel Process

    1. Diyaa-Addein Atiya, Steve King, Jim C. P. Woodcock
      Pages 617-635
    2. Pascal Fenkam, Harald Gall, Mehdi Jazayeri
      Pages 636-657
    3. Marcelo F. Frias, Carlos G. López Pombo, Gabriel A. Baum, Nazareno M. Aguirre, Tom Maibaum
      Pages 678-697
    4. Thomas A. Kuhn, David von Oheimb
      Pages 698-718
    5. Jei-Wen Teng, Yih-Kuen Tsay
      Pages 719-738
  11. Program Checking and Testing

  12. B Method

    1. Michael Poppleton, Richard Banach
      Pages 814-833
    2. Michael Leuschel, Michael Butler
      Pages 855-874
  13. Security

    1. Alessandro Armando, Luca Compagna, Pierre Ganty
      Pages 875-893
    2. Ewen Denney, Bernd Fischer
      Pages 894-913

About these proceedings


ThisvolumecontainstheproceedingsofFM2003,the12thInternationalFormal Methods Europe Symposium which was held in Pisa, Italy on September 8–14, 2003. Formal Methods Europe (FME, www. fmeurope. org) is an independent - sociation which aims to stimulate the use of and research on formal methods for system development. FME conferences began with a VDM Europe symposium in 1987. Since then, the meetings have grown and have been held about once - ery 18 months. Throughout the years the symposia have been notably successful in bringing together researchers, tool developers, vendors, and users, both from academia and from industry. Unlike previous symposia in the series, FM 2003 was not given a speci?c theme. Rather, its main goal could be synthesized as “widening the scope. ” Indeed, the organizers aimed at enlarging the audience and impact of the symposium along several directions. Dropping the su?x ‘E’ from the title of the conference re?ects the wish to welcome participation and contribution from every country; also,contributionsfromoutsidethetraditionalFormalMethodscommunitywere solicited. The recent innovation of including an Industrial Day as an important part of the symposium shows the strong commitment to involve industrial p- ple more and more within the Formal Methods community. Even the traditional and rather fuzzy borderline between “software engineering formal methods” and methods and formalisms exploited in di?erent ?elds of engineering was so- what challenged.


abstraction design formal methods formal verification mathematical program construction model checking program analysis program correctness programming refinement semantic web software architecture software verification structured analysis verification

Editors and affiliations

  • Keijiro Araki
    • 1
  • Stefania Gnesi
    • 2
  • Dino Mandrioli
    • 3
  1. 1.Department of Computer Science and Communication Engineering, Graduate School of Information Science and Electrical EngineeringKyushu UniversityFukuokaJapan
  2. 2.Istituto di Scienza e Tecnologie dell’Informazione “A. Faedo”, ISTI - CNRPisaItaly
  3. 3.Dipartimento di Elettronica e InformazionePolitecnico di MilanoItaly

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2003
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-40828-4
  • Online ISBN 978-3-540-45236-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site