( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Combining unit and specification-based testing for meta-model validation and verification.

, , и . Inf. Syst., (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Citlali Guerra

Jérémie Guerra

Ernesto Guerra

Dante Guerra

Gabriele Guerra

 

Другие публикации лиц с тем же именем

An Algebraic Formalization of the GoF Design Patterns, , и . CoRR, (2010)Abstracting Modelling Languages: A Reutilization Approach., , и . CAiSE, том 7328 из Lecture Notes in Computer Science, стр. 127-143. Springer, (2012)Engaging End-Users in the Collaborative Development of Domain-Specific Modelling Languages., , , , , и . CDVE, том 8091 из Lecture Notes in Computer Science, стр. 101-110. Springer, (2013)Generic Meta-modelling with Concepts, Templates and Mixin Layers., и . MoDELS (1), том 6394 из Lecture Notes in Computer Science, стр. 16-30. Springer, (2010)Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation., , , и . CALCO, том 5728 из Lecture Notes in Computer Science, стр. 383-397. Springer, (2009)Reusable Graph Transformation Templates., и . AGTIVE, том 7233 из Lecture Notes in Computer Science, стр. 35-50. Springer, (2011)Analysing Graph Transformation Rules through OCL, , , и . (2008)An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations, , , и . (2008)Uncovering Errors in ATL Model Transformations Using Static Analysis and Constraint Solving., , и . ISSRE, стр. 34-44. IEEE Computer Society, (2014)A posteriori typing for model-driven engineering: concepts, analysis, and applications., и . ICSE, стр. 1136. ACM, (2018)