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