Theory and Practice of Model Transformations [electronic resource] : 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings /
ICMT 2012Corporate Author
ICMT 2012(2012 :Prague, Czech Republic)
ICMT 2012
Hu, Zhenjiang.editor.
de Lara, Juan.editor.(orcid)0000-0001-9425-6362https://orcid.org/0000-0001-9425-6362edt
This book constitutes the refereed proceedings of the 5th International Conference, ICMT 2012, held in Prague, Czech Republic, in May 2012, co-located with TOOLS 2012 Federated Conferences. The 18 full papers presented together with one invited paper were carefully revised and selected from numerous submissions. Topics addressed are such as testing, typing and verification; bidirectionality; applications and visualization; transformation languages, virtual machines; pattern matching; and transformations in modelling, reutilization.
Bibliographic Level Mode of Issuance: Monograph
Includes bibliographical references and index.
This book constitutes the refereed proceedings of the 5th International Conference, ICMT 2012, held in Prague, Czech Republic, in May 2012, co-located with TOOLS 2012 Federated Conferences. The 18 full papers presented together with one invited paper were carefully revised and selected from numerous submissions. Topics addressed are such as testing, typing and verification; bidirectionality; applications and visualization; transformation languages, virtual machines; pattern matching; and transformations in modelling, reutilization.


Software engineering.
Computer logic.
Programming languages (Electronic computers).
Computer communication systems.
Mathematical logic.
Software Engineering.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Computer Communication Networks.
Mathematical Logic and Formal Languages.
Lecture notes in computer science