✦ LIBER ✦

[Lecture Notes in Computer Science] Abstract State Machines 2003 Volume 2589 || Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanism of UML State Machines

✍ Scribed by Börger, Egon; Gargantini, Angelo; Riccobene, Elvinia

Book ID: 123606539
Publisher: Springer Berlin Heidelberg
Year: 2003
Tongue: English
Weight: 473 KB
Edition: 1
Category: Article
ISBN: 3540364986
DOI: 10.1007/3-540-36498-6_13

No coin nor oath required. For personal study only.

✦ Synopsis

This book constitutes the refereed proceedings of the 10th International Workshop on Abstract State Machines, ASM 2003, held in Taormina, Italy in March 2003. The 16 revised full papers presented together with 8 invited papers and 12 abstracts were carefully reviewed and selected for inclusion in the book. The papers reflect the state of the art of the abstract state machine method for the design and analysis of complex software/hardware systems. Besides theoretical results and methodological progress, application in various fields are studied as well.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Abst

[Lecture Notes in Computer Science] Abstract State Machines, Alloy, B, VDM, and Z Volume 7316 || A Practical Event-B Refinement Method Based on a UML-Driven Development Process

✍ Derrick, John; Fitzgerald, John; Gnesi, Stefania; Khurshid, Sarfraz; Leuschel, M 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 236 KB

[Lecture Notes in Computer Science] Abst

[Lecture Notes in Computer Science] Abstract State Machines, B and Z Volume 5238 || On the Purpose of Event-B Proof Obligations

✍ Börger, Egon; Butler, Michael; Bowen, Jonathan P.; Boca, Paul 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 218 KB

This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008. The conference simultaneously incorporated the 15th International ASM Workshop, the 17th International Conference of Z Users and