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

by Robert Stärk and Egon Börger

Book Overview

Written for hardware-software system engineers, researchers and students, this text introduces a systems engineering method that guides the development of software and embedded hardware-software systems seamlessly from requirements capture to their implementation. It helps the designer to cope with the three stumbling-blocks of building modern software based systems: size, complexity and trustworthiness. It covers within a single conceptual framework...

• Format: Hardcover
• Language: English
• ISBN: 3540007024
• ISBN13: 9783540007029
• Release Date: April 2003
• Publisher: Springer
• Length: 438 Pages
• Weight: 1.75 lbs.
• Dimensions: 1.2" x 6.1" x 9.6"