Abstract State Machines 2003

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


ISBN: 978-3-540-00624-4 (Print) 978-3-540-36498-6 (Online)
Download Book (24,849 KB) As a courtesy to our readers the eBook is provided DRM-free. However, please note that Springer uses effective methods and state-of-the art technology to detect, stop, and prosecute illegal sharing to safeguard our authors’ interests.

Table of contents (35 chapters)

previous Page of 2
  1. Invited Papers

    1. Book Chapter

      Pages 1-21

      Software Testing Research and Practice

    2. Book Chapter

      Pages 22-32

      Abstract State Processes

    3. Book Chapter

      Pages 33-56

      Recent Advances in Refinement

    4. Book Chapter

      Pages 57-86

      Partial Updates Exploration II

    5. Book Chapter

      Pages 87-108

      Experiments with Test Case Generation and Runtime Analysis

    6. Book Chapter

      Pages 108-125

      A Framework for Proving Contract-Equipped Classes

    7. Book Chapter

      Pages 126-150

      Mobile UNITY Schemas for Agent Coordination

    8. Book Chapter

      Pages 151-166

      UML and Concurrency

  2. Research Papers

    1. Book Chapter

      Pages 166-185

      A Unified Formal Specification and Analysis of the New Java Memory Models

    2. Book Chapter

      Pages 186-203

      Modelling Conditional Knowledge Discovery and Belief Revision by Abstract State Machines

    3. Book Chapter

      Pages 204-217

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

    4. Book Chapter

      Pages 218-228

      Remarks on Turbo ASMs for Functional Equations and Recursion Schemes

    5. Book Chapter

      Pages 229-243

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

    6. Book Chapter

      Pages 244-262

      The Hidden Computation Steps of Turbo Abstract State Machines

    7. Book Chapter

      Pages 263-277

      Using Spin to Generate Tests from ASM Specifications

    8. Book Chapter

      Pages 278-292

      Interfacing ASM with the MDG Tool

    9. Book Chapter

      Pages 293-309

      ASMs versus Natural Semantics: A Comparison with New Insights

    10. Book Chapter

      Pages 309-323

      Quantum Computing and Abstract State Machines

    11. Book Chapter

      Pages 324-340

      Consistent Integration for Sequential Abstract State Machines

    12. Book Chapter

      Pages 341-355

      Deciding the Verification Problem for Abstract State Machines

previous Page of 2