Buch, Englisch, 297 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 470 g
5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings
Buch, Englisch, 297 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 470 g
Reihe: Programming and Software Engineering
ISBN: 978-3-642-30475-0
Verlag: Springer
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.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
- Technische Wissenschaften Technik Allgemein Modellierung & Simulation
- Wirtschaftswissenschaften Betriebswirtschaft Wirtschaftsinformatik, SAP, IT-Management
- Mathematik | Informatik EDV | Informatik Informatik Künstliche Intelligenz Wissensbasierte Systeme, Expertensysteme