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: Paperback
• Language: English
• ISBN: 3642621163
• ISBN13: 9783642621161
• Release Date: October 2013
• Publisher: Springer
• Length: 438 Pages
• Weight: 1.38 lbs.
• Dimensions: 0.9" x 6.1" x 9.2"