𝔖 Bobbio Scriptorium
✦   LIBER   ✦

High level system design and analysis using abstract state machines

✍ Scribed by Borgner E.

Book ID
127409531
Tongue
English
Weight
399 KB
Category
Library

No coin nor oath required. For personal study only.

✦ Synopsis

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 complex hardware/software systems. The method allows one to start system development with a trustworthy high level system specification and to link such a ''groundmodel'' in a well documented and inspectable way through intermediate design steps to its implementation. The method enhances traditional operational modelling and analysis techniques by incorporatingthe most general abstraction, decomposition and refinement mechanisms which have become available through Gurevich's Abstract State Ma-chines. Through its versatility the ASM approach is non-monolithic andintegratable at any development level into current design and analysisenvironments. We also collect experimental evidence for the ASM thesis,a generalization of Turing's thesis.

πŸ“œ SIMILAR VOLUMES

Abstract state machines: A method for hi
Abstract state machines: A method for high-level system design and analysis
✍ Egon Boerger, Robert Staerk πŸ“‚ Library πŸ“… 2003 πŸ› Springer 🌐 English βš– 3 MB

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

High order system analysis and design us
High order system analysis and design using the root locus method
✍ K.W. Han; G.J. Thaler πŸ“‚ Article πŸ“… 1966 πŸ› Elsevier Science 🌐 English βš– 663 KB

Using the root locus method a general stability criterion is defined for any order linear systems. According to the distribution of real roots in even and odd parts of characteristic equations, the relative damping character of high order systems can be predicted. By the manipulations of roots in ev