Börger Egon, Stärk Robert. Abstract State Machines: A Method for High-Level System Design and Analysis

Springer, 2003. — 448 p. — ISBN: 3540007024.The systems engineering method proposed in this book, which is based on Abstract State Machines (ASMs), guides the development of software and embedded hardware-software systems seamlessly from requirements capture to actual implementation and documentation.The method bridges the gap between the human understanding and formulation of real-world problems and the deployment of their algorithmic solutions by code-executing machines. Within a single conceptual framework it covers design, verification by reasoning techniques, and validation by simulation and testing.