Abstract State Machines 2003. Advances in Theory and Practice

Abstract State Machines 2003. Advances in Theory and Practice

4.11 - 1251 ratings - Source



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.An ASM Semantics of UML Derived from the Meta-model and Incorporating Actions 367 modelsa#39;. ... at ASM start-time, using model specific information (e.g. populate the domain of classes, associations, attributes, action specifications, etc ). ... Various techniques could be imagined for capturing this information in UML ( object diagrams, particular collaboration ... to eliminate the ASM names and rules irrelevant in the concrete case of the ASM corresponding to a precise UML model 368anbsp;...


Title:Abstract State Machines 2003. Advances in Theory and Practice
Author: Egon Börger, Angelo Gargantini, Elvinia Riccobene
Publisher:Springer - 2003-07-01
ISBN-13:

You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.

Once you have finished the sign-up process, you will be redirected to your download Book page.

How it works:
  • 1. Register a free 1 month Trial Account.
  • 2. Download as many books as you like (Personal use)
  • 3. Cancel the membership at any time if not satisfied.


Click button below to register and download Ebook
Privacy Policy | Contact | DMCA