Algebraic Methodology and Software Technology

9th International Conference, AMAST 2002 Saint-Gilles-les-Bains, Reunion Island, France September 9–13, 2002 Proceedings

  • Hélène Kirchner
  • Christophe Ringeissen
Conference proceedings AMAST 2002

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

Table of contents

  1. Front Matter
    Pages I-XI
  2. Invited Papers

    1. David Aspinall, Donald Sannella
      Pages 1-14
    2. Igor Walukiewicz
      Pages 15-20
    3. Peter D. Mosses
      Pages 21-40
    4. Gilles Barthe, Pierre Courtieu, Guillaume Dufay, Simão Melo de Sousa
      Pages 41-59
    5. José Luiz Fiadeiro
      Pages 75-82
  3. Regular Papers

    1. Christian Haack, Brian Howard, Allen Stoughton, Joe B. Wells
      Pages 83-98
    2. María Alpuente, Santiago Escobar, Salvador Lucas
      Pages 117-132
    3. Michaël Adélaïde, Olivier Roux
      Pages 132-146
    4. Yifei Dong, Beata Sarna-Starosta, C. R. Ramakrishnan, Scott A. Smolka
      Pages 147-162
    5. Samuel Hornus, Philippe Schnoebelen
      Pages 163-177
    6. Raymond Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau
      Pages 192-207
    7. Irek Ulidowski
      Pages 208-223
    8. Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir
      Pages 239-254
    9. Paolo Baldan, Andrea Bracciali, Roberto Bruni
      Pages 254-270
    10. Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi
      Pages 271-286
    11. Johannes Borgström, Uwe Nestmann
      Pages 287-303
    12. Cees-Bart Breunesse, Bart Jacobs, Joachim van den Berg
      Pages 304-318
    13. Dominik Haneberg, Wolfgang Reif, Kurt Stenzel
      Pages 319-333
    14. Kerry Trentelman, Marieke Huisman
      Pages 334-348
    15. Robert Giegerich, Carsten Meyer
      Pages 349-364
    16. Axel Simon, Andy King
      Pages 365-380
    17. Patricia M. Hill, Fausto Spoto
      Pages 380-395
    18. John G. Stell
      Pages 396-411
    19. Dusko Pavlovic, Douglas R. Smith
      Pages 411-425
    20. Antónia Lopes, José Luiz Fiadeiro
      Pages 426-440
    21. Axel Schairer, Dieter Hutter
      Pages 441-456
    22. Mats Skoglund
      Pages 457-472
  4. System Descriptions

    1. Tatiana Rybina, Andrei Voronkov
      Pages 489-494
    2. Serge Autexier, Dieter Hutter, Till Mossakowski, Axel Schairer
      Pages 495-501
  5. Back Matter
    Pages 503-503

About these proceedings


This volume contains the proceedings of AMAST 2002, the 9th International Conference on Algebraic Methodology and Software Technology, held during September 9–13, 2002, in Saint-Gilles-les-Bains, R´eunion Island, France. The major goal of the AMAST conferences is to promote research that may lead to setting software technology on a ?rm mathematical basis. This goal is achieved through a large international cooperation with contributions from both academia and industry. Developing a software technology on a mathematical basis p- duces software that is: (a) correct, and the correctness can be proved mathem- ically, (b) safe, so that it can be used in the implementation of critical systems, (c) portable, i. e. , independent of computing platforms and language generations, (d) evolutionary, i. e. , it is self-adaptable and evolves with the problem domain. All previous AMAST conferences, which were held in Iowa City (1989, 1991), Twente (1993), Montreal (1995), Munich (1996), Sydney (1997), Manaus (1999), and Iowa City (2000), made contributions to the AMAST goals by reporting and disseminating academic and industrial achievements within the AMAST area of interest. During these meetings, AMAST attracted an international following among researchers and practitioners interested in software technology, progr- ming methodology, and their algebraic, and logical foundations.


Abstract State Machines Algebraic Methods Algebraic State Machines Formal Methods Formal Specification Formal Verification Java Mathematical Software Construction Process Algebras Software Design Software Development algebra formal method model checking verification

Editors and affiliations

  • Hélène Kirchner
    • 1
  • Christophe Ringeissen
    • 2
  1. 1.LORIA - CNRS & INRIA, Campus Scientifique, Bâtiment LORIAVandoeuvre-lès-NancyFrance
  2. 2.LORIA - INRIAVillers-lès-NancyFrance

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-44144-1
  • Online ISBN 978-3-540-45719-0
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site