Title: Theory and Practice of Model Transformations
Subjects: Logic design, Computer networks, Computer science, Software engineering, Development, Congresses, Model-driven software architecture, Computer software, Computer software, development, Computer architecture, Mathematical Logic and Formal Languages, Programming Techniques, Computer Communication Networks, Programming Languages, Compilers, Interpreters, Logics and Meanings of Programs