𝔖 Bobbio Scriptorium
✦   LIBER   ✦

High abstraction level permutational ESD concept analysis

✍ Scribed by M. Streibl; F. Zängl; K. Esmark; R. Schwencker; W. Stadler; H. Gossner; S. Drüen; D. Schmitt-Landsiedel

Book ID
108210480
Publisher
Elsevier Science
Year
2005
Tongue
English
Weight
413 KB
Volume
45
Category
Article
ISSN
0026-2714

No coin nor oath required. For personal study only.

📜 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

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