Seamless Model-Driven Development Put into Practice

SMT—building flexible yet efficient abstraction/refinement solvers. International Journal on Software Tools for Technology Transfer, 12(1):23–37, February 2010. Wolfgang Haberl, Michael Tautschnig, and Uwe Baumgarten. Generating Distributed Code From COLA Models, volume 33 of Lecture Notes in Electrical Engineering, chapter 20. Springer, March 2009. Wolfgang Haberl, Michael Tautschnig, and Uwe Baumgarten. From COLA Models to Distributed Embedded Systems Code. IAENG International Journal of Computer Science, 35(3):427–437, September 2008. Refereed Conference and Workshop Papers Andreas Holzer, Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Michael

• Type: Journal
• Year: 2010
• Where: ISOLA
• Authors: Wolfgang Haberl, Markus Herrmannsdoerfer, Stefan Kugele, Michael Tautschnig, Martin Wechs
• Keywords: COLA Models, Formal Methods, ISOLA 2010, Michael Tautschnig, Wolfgang Haberl