A Transformation-Driven Approach to Automate Feedback Verification Results
暂无分享,去创建一个
[1] Arda Goknil,et al. Survey of Traceability Approaches in Model-Driven Engineering , 2007, 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007).
[2] Jean-Michel Bruel,et al. Satellite Events at the MoDELS 2005 Conference , 2006 .
[3] Jean Bézivin,et al. On the Use of Higher-Order Model Transformations , 2009, ECMDA-FA.
[4] Frédéric Jouault. Loosely Coupled Traceability for ATL , 2005 .
[5] Mamoun Filali,et al. Fiacre: an Intermediate Language for Model Verification in the Topcased Environment , 2008 .
[6] Kevin Lano,et al. Slicing of UML models using model transformations , 2010, MODELS'10.
[7] Juan de Lara,et al. Supporting user-oriented analysis for multi-view domain-specific visual languages , 2009, Inf. Softw. Technol..
[8] Janne Merilinna,et al. Verification and validation in the context of domain-specific modelling , 2010, DSM '10.
[9] Iulian Ober,et al. Seeing errors: model driven simulation trace visualization , 2012, MODELS'12.
[10] Benoît Combemale,et al. A Generic Tool for Tracing Executions Back to a DSML's Operational Semantics , 2011, ECMFA.
[11] Frédéric Jouault,et al. Transforming Models with ATL , 2005, MoDELS.
[12] Steffen Zschaler,et al. Modular DSLs for Flexible Analysis: An e-Motions Reimplementation of Palladio , 2014, ECMFA.
[13] Arend Rensink. Model Driven Architecture - Foundations and Applications, 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings , 2009, ECMDA-FA.
[14] F. Vernadat,et al. The tool TINA – Construction of abstract state spaces for petri nets and time petri nets , 2004 .
[15] Nouha Abid,et al. Real-time Extensions for the Fiacre modeling language , 2010 .
[16] Dániel Varró,et al. Back-annotation of Simulation Traces with Change-Driven Model Transformations , 2010, 2010 8th IEEE International Conference on Software Engineering and Formal Methods.
[17] Xavier Crégut,et al. The TOPCASED project : a toolkit in open source for critical aeronautic systems design , 2006 .
[18] Benoît Combemale,et al. A Design Pattern to Build Executable DSMLs and Associated V&V Tools , 2012, 2012 19th Asia-Pacific Software Engineering Conference.
[19] Richard F. Paige,et al. Merging models with the epsilon merging language (EML) , 2006, MoDELS'06.
[20] Bernhard Rumpe,et al. Meaningful modeling: what's the semantics of "semantics"? , 2004, Computer.