Validation of Model Transformations – First Experiences Using a White Box Approach-Reference-Cited by-同舟云学术

Validation of Model Transformations – First Experiences Using a White Box Approach

Published:2007 Issue: Volume: Page:193-204
ISSN:0302-9743
Container-title:Models in Software Engineering
language:
Short-container-title:

Author:

Küster Jochen M.,Abd-El-Razik Mohamed

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-69489-2_24

Reference21 articles.

1. Csertán, G., Huszerl, G., Majzik, I., Pap, Z., Pataricza, A., Varró, D.: VIATRA: Visual Automated Transformations for Formal Verification and Validation of UML Models . In: Proceedings 17th IEEE International Conference on Automated Software Engineering (ASE 2002), Edinburgh, UK, September 2002, pp. 267–270. IEEE Computer Society Press, Los Alamitos (2002)

2. Lecture Notes in Computer Science;F. Jouault,2006

3. Karsai, G., Agrawal, A., Shi, F., Sprinkle, J.: On the Use of Graph Transformation in the Formal Specification of Model Interpreters. Journal of Universal Computer Science 9(11), 1296–1321 (2003)

4. Fleurey, F., Steel, J., Baudry, B.: Model-Driven Engineering and Validation: Testing model transformations. In: Proceedings SIVOES-MoDeVa Workshop, November 2004 (2004)

5. Lecture Notes in Computer Science;K. Ehrig,2006

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

1. SyMPLES: Embedded Systems Design with SMarty;UML-Based Software Product Line Engineering with SMarty;2022-09-28

2. An automated search‐based test model generation approach for structural testing of model transformations;Journal of Software: Evolution and Process;2022-05-09

3. Automated generation of test scenario models for the system-level safety assurance of autonomous vehicles;Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings;2020-10-16

4. Knowledge Life Cycle Management as a Key Aspect of Digitalization;Communications in Computer and Information Science;2020

5. Design and validation of a C++ code generator from Abstract State Machines specifications;Journal of Software: Evolution and Process;2019-11-24