Formal Methods in Software and Systems Modeling

Formal Methods in Software and Systems Modeling

4.11 - 1251 ratings - Source

By presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, this book commemorates the 60th birthday of Hartmut Ehrig. The 24 invited reviewed papers are written by students and collaborators of Hartmut Ehrig who are established researchers in their fields. Reflecting the scientific interest and work of Hartmut Ehrig, the papers fall into three main parts on graph transformation, algebraic specification and logic, and formal and visual modeling.Tutorial introduction to graph transformation: A software engineering perspective. ... Dynamic meta modeling: A graphical approach to the operational semantics of behavioral diagrams in UML. In A. Evans ... Software architecture: a roadmap.

Title:Formal Methods in Software and Systems Modeling
Author: Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer
Publisher:Springer Science & Business Media - 2005-02-09

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