( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Verification of UML/OCL Class Diagrams using Constraint Programming.

, , и . ICST Workshops, стр. 73-80. IEEE Computer Society, (2008)

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.

Chloé Cabot

Georges-Philippe Cabot

Alexander Jording

Guido Jordine

Jordi Serangeli

 

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

Roles as Entity Types: A Conceptual Modelling Pattern, и . (2004)A UML/OCL framework for the analysis of graph transformation rules., , , и . Software and System Modeling, 9 (3): 335-357 (2010)UMLtoCSP: Una herramienta para la verificación de modelos UML/OCL mediante Constraint Programming., , , и . JISBD, стр. 385-386. Thomson Editorial, (2007)MELO 2011 - 1st Workshop on Model-Driven Engineering, Logic and Optimization., , , , и . ECMFA, том 6698 из Lecture Notes in Computer Science, стр. 379-380. Springer, (2011)Entity Types Derived by Symbol-Generating Rules., , и . ER, том 2813 из Lecture Notes in Computer Science, стр. 376-389. Springer, (2003)Situational Evaluation of Method Fragments: An Evidence-Based Goal-Oriented Approach., , и . CAiSE, том 6051 из Lecture Notes in Computer Science, стр. 424-438. Springer, (2010)APIComposer: Data-Driven Composition of REST APIs., , и . ESOCC, том 11116 из Lecture Notes in Computer Science, стр. 161-169. Springer, (2018)MoScript: A DSL for Querying and Manipulating Model Repositories., , , , и . SLE, том 6940 из Lecture Notes in Computer Science, стр. 180-200. Springer, (2011)Improving the Scalability of Web Applications with Runtime Transformations., , , и . ICWE, том 8541 из Lecture Notes in Computer Science, стр. 430-439. Springer, (2014)Diverse Scenario Exploration in Model Finders Using Graph Kernels and Clustering., и . ABZ, том 12071 из Lecture Notes in Computer Science, стр. 27-43. Springer, (2020)