Formal specification and analysis of functional properties of graph rewriting-based model transformation-Reference-Cited by-同舟云学术

Formal specification and analysis of functional properties of graph rewriting-based model transformation

Published:2013-06-07 Issue:5 Volume:23 Page:405-435
ISSN:0960-0833
Container-title:Software Testing, Verification and Reliability
language:en
Short-container-title:Softw. Test. Verif. Reliab.

Author:

Asztalos Márk¹,Lengyel László¹,Levendovszky Tihamér¹

Affiliation:

1. Department of Automation and Applied Informatics; Budapest University of Technology and Economics

Publisher

Wiley

Subject

Safety, Risk, Reliability and Quality,Software

Link

http://onlinelibrary.wiley.com/wol1/doi/10.1002/stvr.1502/fullpdf

Reference39 articles.

1. Jézéquel J-M Model-driven engineering: Basic principles and challenges Invited Presentation at Formal Methods for Components and Objects (FMCO’03) 2003 http://www.irisa.fr/triskell/publis/2003/Jezequel03e.pdf

2. Domain-Specific Modeling

3. Nordstrom GG Metamodeling-rapid design and evolution of domain-specific modeling environments Ph.D. Thesis 1999

4. Model transformation: the heart and soul of model-driven software development;Sendall;Software, IEEE,2003

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

1. TC4MT: A Specification-Driven Testing Framework for Model Transformations;International Journal of Software Engineering and Knowledge Engineering;2023-05-29

2. Verifying Graph Transformation Systems with Description Logics;Graph Transformation;2018

3. Formalised EMFTVM bytecode language for sound verification of model transformations;Software & Systems Modeling;2016-08-16

4. Open issues in model transformations for multimodal applications;Journal on Multimodal User Interfaces;2015-08-09

5. Specification and Verification of Graph-Based Model Transformation Properties;Graph Transformation;2014