By Ulrike Golas
Graph and version variations play a relevant function for visible modeling and model-driven software program improvement. in the final decade, a mathematical concept of algebraic graph and version modifications has been built for modeling, research, and to teach the correctness of adjustments. Ulrike Golas extends this concept for extra subtle purposes just like the specification of syntax, semantics, and version differences of complicated versions. according to M-adhesive transformation structures, version variations are effectively analyzed relating to syntactical correctness, completeness, practical habit, and semantical simulation and correctness. The built tools and effects are utilized to the non-trivial challenge of the specification of syntax and operational semantics for UML statecharts and a version transformation from statecharts to Petri nets holding the semantics.
Read or Download Analysis and Correctness of Algebraic Graph and Model Transformations PDF
Similar Computer Science books
A Balanced Introduction to Computer Science (3rd Edition)
A Balanced creation to desktop technology, 3/e is perfect for advent to Computing and the net classes in departments of Math and laptop technological know-how. This thoughtfully written textual content makes use of the net as a valuable subject, learning its heritage, expertise, and present use. Experimental difficulties use Web-based instruments, permitting scholars to benefit programming basics through constructing their very own interactive websites with HTML and JavaScript.
The Major Features of Evolution
From Wikipedia: George Gaylord Simpson (June sixteen, 1902 - October 6, 1984) was once an American paleontologist. Simpson was once might be the main influential paleontologist of the 20 th century, and a big player within the smooth evolutionary synthesis, contributing pace and mode in evolution (1944), The that means of evolution (1949) and the main good points of evolution (1953).
Computers and Design in Context (MIT Press)
Too frequently, designers of desktops, either and software program, use versions and ideas that concentrate on the artifact whereas ignoring the context within which the artifact should be used. in keeping with this ebook, that assumption is an incredible cause of some of the mess ups in modern desktops improvement.
Rethinking Public Key Infrastructures and Digital Certificates: Building in Privacy (MIT Press)
As paper-based communique and transaction mechanisms are changed via computerized ones, conventional different types of protection equivalent to images and handwritten signatures have gotten outmoded. so much protection specialists think that electronic certificate supply the easiest expertise for shielding digital communications.
Additional resources for Analysis and Correctness of Algebraic Graph and Model Transformations
