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

Borger, Egon

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

Synopsis

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 both design, verification by reasoning techniques, and experimental validation by simulation and testing. The text contains detailed proofs, exercises, as well as numerous real-world examples and case studies.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Autres éditions populaires du même titre

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

Edition présentée

ISBN 10 :  3642621163 ISBN 13 :  9783642621161
Editeur : Springer-Verlag Berlin and Heide..., 2013
Couverture souple