Abstract State Machines
Subtitle: A Method for High-Level System Design and Analysis
Edition: 1 edition
Publisher: Springer
Published: June 4, 2003
Language: eng
Format: Hardcover
Number of pages: 438
ISBN-13: 9783540007029
Subjects: Computer Programming; Systems analysis & design; Science/Mathematics; Industrial Design - General; Computers - Languages / Programming; Technology; Programming - Systems Analysis & Design; Programming - General; Information Theory; Computer Science; ASM; Computers / Programming / Software Development; Formal Methods; Rigorous Software Engineering; Stepwise Refinement; System Simulation; System Verification; Computer software; System design; Machinery; Development; Embedded computer systems
First sentence: The method. This book introduces a systems engineering method which guides the development of software and embedded hardware-software systems seamlessly from requirements capture to their implementation.