Formal Methods for Model-Driven Engineering

Formal Methods for Model-Driven Engineering

4.11 - 1251 ratings - Source



This book presents 11 tutorial lectures by leading researchers given at the 12th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, held in Bertinoro, Italy, in June 2012. SFM 2012 was devoted to model-driven engineering and covered several topics including modeling languages; model transformations, functional and performance modeling and analysis; and model evolution management.Each workflow activity may be refined by a sequence diagram which represents its detailed behavior, including the invocations of the ... It is the top level model that describes the process of transferring a patient from one hospital to another.


Title:Formal Methods for Model-Driven Engineering
Author: Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio
Publisher:Springer - 2012-06-26
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