Microsoft Abstract State Machine Language) official site ,
Using ATL for Checking Models, Proceedings of the International Workshop on Graph and Model Transformation (GraMoT), 2005. ,
DOI : 10.1016/j.entcs.2006.01.015
Bridging the MS/DSL Tools and the Eclipse Modeling Framework, Proceedings of the International Workshop on Software Factories at OOPSLA 2005 ,
On the Need for Megamodels, Proceedings of the OOPSLA/GPCE: Best Practices for Model-Driven Software Development workshop, 19 th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications ,
KM3: a DSL for Metamodel Specification, Proceedings of 8 th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems ,
Model- Based DSL Frameworks ,
Modeling in the Large and Modeling in the Small, Proceedings of the European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, pp.33-46 ,
DOI : 10.1007/11538097_3
Model-based Technology Integration with the Technical Space Concept, Metainformatics Symposium 2005, 2005. ,
Technical Spaces: An Initial Appraisal. CoopIS, DOA'2002 Federated Conferences, Industrial track, 2002. ,
Early measures for UML class diagrams, Objet, vol.6, issue.4, 2000. ,