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.To adapt the language to these new applications, several new (sub)versions of the language have been released. ... They are a necessary complement of the UML (or other graphical languages) notation in order to be able to precisely specify all detailed aspects of a system design. ... This diagram is an excerpt of the EU-Rent Car Rentals Specification [14], an in-depth specification of the EU- Rent caseanbsp;...


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