Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2003

Abstract State Machines 2003: Advances in Theory and Practice

10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings

Editors:

  1. Egon Börger

    1. Dipartimento di Informatica, Università di Pisa, Pisa, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Angelo Gargantini

    1. CEA, Università di Catania, Catania, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Elvinia Riccobene

    1. Dipartimento di Matematica e Informatica, Università di Catania, Catania, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Conference series link(s): ASM: International Workshop on Abstract State Machines

Conference proceedings info: ASM 2003.

Sections

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (35 papers)

  1. Front Matter

    Pages I-XI
    PDF

  2. Invited Papers

    1. Software Testing Research and Practice

      • Antonia Bertolino
      Pages 1-21

    2. Abstract State Processes

      • Tommaso Bolognesi, Egon Börger
      Pages 22-32

    3. Recent Advances in Refinement

      • John Derrick, Eerke Boiten
      Pages 33-56

    4. Partial Updates Exploration II

      • Yuri Gurevich, Nikolai Tillmann
      Pages 57-86

    5. Experiments with Test Case Generation and Runtime Analysis

      • Cyrille Artho, Doron Drusinksy, Allen Goldberg, Klaus Havelund, Mike Lowry, Corina Pasareanu et al.
      Pages 87-108

    7. Mobile UNITY Schemas for Agent Coordination

      • Gruia-Catalin Roman, Jamie Payton
      Pages 126-150

    8. UML and Concurrency

      • Perdita Stevens
      Pages 151-166

  3. Research Papers

    3. Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks

      • András Benczúr, Uwe Glässer, Tamás Lukovszki
      Pages 204-217

    4. Remarks on Turbo ASMs for Functional Equations and Recursion Schemes

      • Egon Börger, Tommaso Bolognesi
      Pages 218-228

    5. Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanism of UML State Machines

      • Alessandra Cavarra, Elvinia Riccobene, Patrizia Scandurra
      Pages 229-243

    6. The Hidden Computation Steps of Turbo Abstract State Machines

      • Nicu G. Fruja, Robert F. Stärk
      Pages 244-262

    7. Using Spin to Generate Tests from ASM Specifications

      • Angelo Gargantini, Elvinia Riccobene, Salvatore Rinzivillo
      Pages 263-277

    8. Interfacing ASM with the MDG Tool

      • Amjad Gawanmeh, Sofiène Tahar, Kirsten Winter
      Pages 278-292

    10. Quantum Computing and Abstract State Machines

      • Erich Grädel, Antje Nowack
      Pages 309-323

    11. Consistent Integration for Sequential Abstract State Machines

      • Marianna Nicolosi Asmundo, Elvinia Riccobene
      Pages 324-340
Back to top

About this book

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.

Back to top

Keywords

Back to top

Editors and Affiliations

  • Dipartimento di Informatica, Università di Pisa, Pisa, Italy

    Egon Börger

  • CEA, Università di Catania, Catania, Italy

    Angelo Gargantini

  • Dipartimento di Matematica e Informatica, Università di Catania, Catania, Italy

    Elvinia Riccobene

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation