Abstract State Machines 2003

Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings

  • Egon Börger
  • Angelo Gargantini
  • Elvinia Riccobene
Conference proceedings ASM 2003

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

Table of contents

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

    1. Antonia Bertolino
      Pages 1-21
    2. Tommaso Bolognesi, Egon Börger
      Pages 22-32
    3. John Derrick, Eerke Boiten
      Pages 33-56
    4. Yuri Gurevich, Nikolai Tillmann
      Pages 57-86
    5. Cyrille Artho, Doron Drusinksy, Allen Goldberg, Klaus Havelund, Mike Lowry, Corina Pasareanu et al.
      Pages 87-108
    6. Gruia-Catalin Roman, Jamie Payton
      Pages 126-150
    7. Perdita Stevens
      Pages 151-166
  3. Research Papers

    1. András Benczúr, Uwe Glässer, Tamás Lukovszki
      Pages 204-217
    2. Egon Börger, Tommaso Bolognesi
      Pages 218-228
    3. Alessandra Cavarra, Elvinia Riccobene, Patrizia Scandurra
      Pages 229-243
    4. Nicu G. Fruja, Robert F. Stärk
      Pages 244-262
    5. Angelo Gargantini, Elvinia Riccobene, Salvatore Rinzivillo
      Pages 263-277
    6. Amjad Gawanmeh, Sofiène Tahar, Kirsten Winter
      Pages 278-292
    7. Erich Grädel, Antje Nowack
      Pages 309-323
    8. Marianna Nicolosi Asmundo, Elvinia Riccobene
      Pages 324-340

Other volumes

  1. Abstract State Machines 2003
    Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings
  2. Third International Conference of B and Z Users Turku, Finland, June 4–6, 2003 Proceedings

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 10th International Workshop on Abstract State Machines, ASM 2003, held in Taormina, Italy in March 2003.

The 16 revised full papers presented together with 8 invited papers and 12 abstracts were carefully reviewed and selected for inclusion in the book. The papers reflect the state of the art of the abstract state machine method for the design and analysis of complex software/hardware systems. Besides theoretical results and methodological progress, application in various fields are studied as well.

Keywords

Java SPIN UML Unified Modeling Language (UML) abstract state machines concurrency formal methods formal specification formal verification modeling software development systems analysis systems design systems modeling verification

Editors and affiliations

  • Egon Börger
    • 1
  • Angelo Gargantini
    • 2
  • Elvinia Riccobene
    • 3
  1. 1.Dipartimento di InformaticaUniversità di PisaPisaItaly
  2. 2.CEAUniversità di CataniaCataniaItaly
  3. 3.Dipartimento di Matematica e InformaticaUniversità di CataniaCataniaItaly

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-36498-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 2003
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-00624-4
  • Online ISBN 978-3-540-36498-6
  • Series Print ISSN 0302-9743
  • About this book
Industry Sectors
Electronics
Telecommunications
Biotechnology