Cover Image

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

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 hu...

Full description

Bibliographic Details
Main Author: Börger, Egon
Corporate Author: SpringerLink (Online service)
Other Authors: Stark, Robert
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003.
Subjects:
Computer science.
Computer system performance.
Software engineering.
Computer simulation.
Electronic books.
Online Access:Connect to the full text of this electronic book
Table of Contents:
  • Introduction
  • ASM Design and Analysis Method
  • Basic ASMs (Ground Model and Refinement Model)
  • Structured ASMs (Composition Techniques)
  • Synchronous Multi-Agent ASMs
  • Asynchronous Multi-Agent ASMs
  • Universal Design and Computation Model
  • Tool Support for ASMs
  • History and Survey of ASM Research
  • References.