AsmBook Home Page

Last updated November 2005

AsmBook cover


Abstract State Machines
A Method for High-Level System Design and Analysis

This book introduces into a new software engineering method which guides the development of systems seamlessly from requirements capture to coding. The method bridges the gap between understanding and formulating real-world problems by humans and the deployment of their solutions by code-executing machines on changing platforms.It covers design and analysis for both hardware and software systems.It has a scientific foundation and improves current industrial practice by linking the descriptions at the successive stages of the system development cycle in a coherent conceptual framework to keep the system models at related levels synchronized.The method supports the integration of standard design, analysis and documentation techniques for model reuse (by abstraction), validation (by simulation and high-level testing), verification (by reasoning) and maintenance (by structured documentation).

The book is addressed to software engineers (architects, designers, program managers, implementers), researchers, lecturers and students. It is conceived as Modeling Handbook for the Working Software Engineer and as ASM Compendium. As textbook it supports both self-study (providing numerous exercises) and teaching (coming with lecture slides on an accompanying CD, which are also freely available on this AsmBook Website).

Springer-Verlag 2003, ISBN 3-540-00702-4 and Springer-Verlag USA. Order information here.

The authors of  the AsmBook

Egon Börger

(Dipartimento di Informatica, Università di Pisa)

R. Staerk

(Theoretische Informatik, ETH Zürich)


Review in The Computer Journal 47(2) of 2004

Review in Computing Reviews February 2004


AsmBook FAQ

Gives email feedback on Frequently Asked Questions concerning the AsmBook.

AsmBook Corrigenda

Gives information about corrections.

Downloadable Material


The introduction of the AsmBook gives a more detailed description of the goals of the book, its target audience and the treated topics.

Table of contents

The table of contents of the AsmBook

Teaching material

pdf/ppt slides for lecturing on the themes and case studies treated in the AsmBook.
Home Dipartimento di Informatica di Pisa

March 2003