Egon Boerger, Robert Staerk, "Abstract State Machines: A Method for High-Level System Design and Analysis"
English | ISBN: 3540007024 | edition 2003 | PDF | 448 pages | 22,2 mb
English | ISBN: 3540007024 | edition 2003 | PDF | 448 pages | 22,2 mb
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.