Kevin Lano

Shichao Fang

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

2018

A survey of model transformation design patterns in practice.

[BibT_eX]

[DOI]

J. Syst. Softw., 2018

The Impact of Integrating Agile Software Development and Model-Driven Development: A Comparative Case Study.

[BibT_eX]

[DOI]

Howard P. Haughton

Proceedings of the System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering, 2018

Comparative case studies in agile model-driven development.

[BibT_eX]

[DOI]

Howard P. Haughton

Proceedings of MODELS 2018 Workshops: ModComp, 2018

Technical Debt in Model Transformation Specifications.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Model Transformation, 2018

2017

Translating UML-RSDS OCL to ANSI C.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies: Applications and Foundations, 2017

The Integration of Agile Development and Model Driven Development - A Systematic Literature Review.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017

Agile Model-driven Engineering of Financial Applications.

[BibT_eX]

[DOI]

Howard P. Haughton

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

A Process for Integrating Agile Software Development and Model-driven Development.

[BibT_eX]

[DOI]

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

Practical Aspects of the Integration of Agile Development and Model-driven Development: An Exploratory Study.

[BibT_eX]

[DOI]

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

A Survey of Model Transformation Design Pattern Usage.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Model Transformation, 2017

2016

Solving the Class Responsibility Assignment Case with UML-RSDS.

[BibT_eX]

[DOI]

Proceedings of the 9th Transformation Tool Contest, 2016

Verified bidirectional transformations by construction.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of the Second International Workshop on Patterns in Model Engineering and the Fifth International Workshop on the Verification of Model Transformation, 2016

Requirements Engineering in Model-Transformation Development: An Interview-Based Study.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Model Transformations, 2016

2015

A framework for model transformation verification.

[BibT_eX]

[DOI]

Tony Clark

Formal Aspects Comput., 2015

Temporal Logic Specification and Analysis for Model Transformations.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Workshop on Verification of Model Transformations co-located with Software Technologies: Applications and Foundations (STAF 2015), 2015

Design Patterns for Model Transformations: Current Research and Future Directions.

[BibT_eX]

[DOI]

Proceedings of the First Workshop on Patterns in Model Engineering, 2015

Model Transformation Semantic Analysis by Transformation.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Workshop on Verification of Model Transformations co-located with Software Technologies: Applications and Foundations (STAF 2015), 2015

Experiences of Teaching Model-based Development.

[BibT_eX]

[DOI]

Proceedings of the MODELS Educators Symposium co-located with the ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), 2015

Towards Automatic Generation of Project-Based Solutions.

[BibT_eX]

[DOI]

Krikor Maroukian

Mohammad Yamin

Proceedings of the Information and Knowledge Management in Complex Systems, 2015

2014

Model-Transformation Design Patterns.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2014

Graph and model transformation tools for model migration - Empirical results from the transformation tool contest.

[BibT_eX]

[DOI]

Louis M. Rose

Markus Herrmannsdoerfer

Softw. Syst. Model., 2014

Correct-by-construction synthesis of model transformations using transformation patterns.

[BibT_eX]

[DOI]

Iman Poernomo

Jeffrey Terrell

Softw. Syst. Model., 2014

Evaluation of model transformation approaches for model refactoring.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2014

A survey and comparison of transformation tools based on the transformation tool contest.

[BibT_eX]

[DOI]

Markus Herrmannsdörfer

Sci. Comput. Program., 2014

Meta-Modeling Semantics of UML.

[BibT_eX]

[DOI]

CoRR, 2014

Developing the UML as a Formal Modelling Notation.

[BibT_eX]

[DOI]

CoRR, 2014

Solving the TTC 2014 Movie Database Case with UML-RSDS.

[BibT_eX]

[DOI]

Proceedings of the 7th Transformation Tool Contest part of the Software Technologies: Applications and Foundations (STAF 2014) federation of conferences, 2014

Language-Independent Model Transformation Verification.

[BibT_eX]

[DOI]

Tony Clark

Proceedings of the Third International Workshop on Verification of Model Transformations co-located with Software Technologies: Applications and Foundations, 2014

Case study: FIXML to Java, C# and C++.

[BibT_eX]

[DOI]

Krikor Maroukian

Proceedings of the 7th Transformation Tool Contest part of the Software Technologies: Applications and Foundations (STAF 2014) federation of conferences, 2014

Null Considered Harmful (for Transformation Verification).

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Verification of Model Transformations co-located with Software Technologies: Applications and Foundations, 2014

Report on the Third Workshop on Verification of Model Transformations (VOLT 2014).

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Verification of Model Transformations co-located with Software Technologies: Applications and Foundations, 2014

Surrogate-Assisted Online Optimisation of Cloud IaaS Configurations.

[BibT_eX]

[DOI]

Kleopatra Chatziprimou

Proceedings of the IEEE 6th International Conference on Cloud Computing Technology and Science, 2014

Design Patterns: Applications and Open Issues.

[BibT_eX]

[DOI]

Proceedings of the Cyberpatterns, 2014

2013

Constraint-based specification of model transformations.

[BibT_eX]

[DOI]

J. Syst. Softw., 2013

Case study: Class diagram restructuring.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Sixth Transformation Tool Contest, 2013

Solving the Petri-Nets to Statecharts Transformation Case with UML-RSDS.

[BibT_eX]

[DOI]

Krikor Maroukian

Proceedings of the Proceedings Sixth Transformation Tool Contest, 2013

Optimising Model-transformations using Design Patterns.

[BibT_eX]

[DOI]

Proceedings of the MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 19, 2013

Towards a Meta-model of the Cloud Computing Resource Landscape.

[BibT_eX]

[DOI]

Kleopatra Chatziprimou

Proceedings of the MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 19, 2013

Runtime Infrastructure Optimisation in Cloud IaaS Structures.

[BibT_eX]

[DOI]

Kleopatra Chatziprimou

Proceedings of the IEEE 5th International Conference on Cloud Computing Technology and Science, 2013

2012

Comparative Evaluation of Model Transformation Specification Approaches.

[BibT_eX]

[DOI]

Iman Poernomo

Int. J. Softw. Informatics, 2012

Model Transformation Specification and Design.

[BibT_eX]

[DOI]

Adv. Comput., 2012

Synthesis of Software from Logical Constraints.

[BibT_eX]

[DOI]

Proceedings of the ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends, Rome, Italy, 24, 2012

2011

Slicing Techniques for UML Models.

[BibT_eX]

[DOI]

J. Object Technol., 2011

Saying Hello World with UML-RSDS - A Solution to the 2011 Instructive Case

[BibT_eX]

[DOI]

Proceedings of the Proceedings Fifth Transformation Tool Contest, 2011

Solving the TTC 2011 Model Migration Case with UML-RSDS

[BibT_eX]

[DOI]

Proceedings of the Proceedings Fifth Transformation Tool Contest, 2011

Model projection: simplifying models in response to restricting the environment.

[BibT_eX]

[DOI]

Kelly Androutsopoulos

Proceedings of the 33rd International Conference on Software Engineering, 2011

Model-Driven Development of Model Transformations.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Model Transformations, 2011

A Model-Based Development Approach for Model Transformations.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011

2010

Slicing of UML Models Using Model Transformations.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2010

Specification and Verification of Model Transformations Using UML-RSDS.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 8th International Conference, 2010

Slicing of UML Models.

[BibT_eX]

Proceedings of the ICSOFT 2010, 2010

2009

A compositional semantics of UML-RSDS.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2009

Model Transformation Specification and Verification.

[BibT_eX]

[DOI]