Typing Model Transformations Using Tracts-Reference-Cited by-同舟云学术

Typing Model Transformations Using Tracts

Published:2012 Issue: Volume: Page:56-71
ISSN:0302-9743
Container-title:Theory and Practice of Model Transformations
language:
Short-container-title:

Author:

Vallecillo Antonio,Gogolla Martin

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-30476-7_4

Reference26 articles.

1. LNCS;J. Steel,2005

2. Romero, J.R., Rivera, J.E., Durán, F., Vallecillo, A.: Formal and tool support for model driven engineering with Maude. Journal of Object Technology 6(9), 187–207 (2007)

3. Steel, J., Jézéquel, J.M.: On model typing. Software and Systems Modeling 6(4), 401–413 (2007)

4. Lecture Notes in Computer Science;M. Gogolla,2011

5. Heim, M.: Exploring Indiana Highways: Trip Trivia. Exploring America’s Highway. Travel Organization Network (2007), http://en.wikipedia.org/wiki/Duck_test

Cited by 11 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Safe reuse in modelling language engineering using model subtyping with OCL constraints;Software and Systems Modeling;2022-09-05

2. Revisiting Fault Localization Techniques for Model Transformations: Towards A Hybrid Approach.;The Journal of Object Technology;2022

3. Automated Reuse of Model Transformations through Typing Requirements Models;ACM Transactions on Software Engineering and Methodology;2019-10-12

4. Spectrum-Based Fault Localization in Model Transformations;ACM Transactions on Software Engineering and Methodology;2018-07-31

5. Automated inference of likely metamorphic relations for model transformations;Journal of Systems and Software;2018-02