Library of American University of Madaba

Normal View MARC View ISBD View

Hu, Zhenjiang.

Theory and Practice of Model Transformations 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings / [electronic resource] : edited by Zhenjiang Hu, Juan Lara. - X, 297p. 115 illus. online resource. - Lecture Notes in Computer Science, 7307 0302-9743 ; .

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.

ISBN: 9783642304767

Subjects--Topical Terms:
Computer science.
Computer Communication Networks.
Software engineering.
Logic design.
Computer Science.
Software Engineering.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Computer Communication Networks.
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Formal Languages.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1