𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Abstract state machines: A method for high-level system design and analysis

✍ Scribed by Egon Boerger, Robert Staerk

Book ID
127425038
Publisher
Springer
Year
2003
Tongue
English
Weight
3 MB
Edition
1
Category
Library
ISBN
3540007024

No coin nor oath required. For personal study only.

✦ Synopsis

This book combines the features of a textbook and a handbook Researchers will find here the most comprehensive description of ASMs available today and professionals will use it as a "modeling handbook of the working software engineer. As a textbook it supports self-study or it can form the basis of a lecture course.

πŸ“œ SIMILAR VOLUMES

High level system design and analysis us
High level system design and analysis using abstract state machines
✍ Borgner E. πŸ“‚ Library 🌐 English βš– 399 KB

From Applied Formal Methods β€” FM-Trends 98 (Lecture Notes in Computer Science, Volume 1641/1999), Springer, 1999.Abstract:We provide an introduction to a practical method for rigorous system development which has been used successfully, under industrial constraints, for design and analysis of compl