-
MDELab Projects
-
Eclipse Update Site
-
Search
Author Archives: mdelab
Overview of MDELab Tool Framework for the Development of Correct Model Transformation with Triple Graph Grammars
We will be presenting a paper on the 1st Workshop on the Analysis of Model Transformations, which introduces our framework for the development of correct model transformations with triple graph grammars. An intermediate version of the paper can be downloaded, … Continue reading
Posted in TGGs, Verification Tools
Comments Off on Overview of MDELab Tool Framework for the Development of Correct Model Transformation with Triple Graph Grammars
IPTA edition of PRISM
Interval Probabilistic Timed Automata (IPTA) are a recently introduced model for probabilistic real-time behavior with uncertainties. The current development version of the PRISM model checker already supports Probabilistic Timed Automata (PTA). To support also the probability intervals used in IPTA, … Continue reading
Posted in Verification Tools
Comments Off on IPTA edition of PRISM
Transformation Tool Contest 2011
We are participating in the Transformation Tool Contest 2011 and solved the case study Model Transformation for Program Understanding. Our solution of this case study is available for download.
Posted in Uncategorized
Comments Off on Transformation Tool Contest 2011
Our new Eclipse Update-Site
Our new Eclipse Update-Site is available at http://www.mdelab.de/update-site.