( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
An OCL-Based Technique for Specifying and Verifying Refinement-Oriented Transformations in MDE

, и . (2006)
DOI: 10.1007/11880240_45

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.

Mario Pons

Viviane Pons

Rouven Pons

Friedrich Robert Pons

Franz Ponsch

 

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

A Minimal OCL-based Profile for Model Transformation., , и . JIISIC, стр. 237-246. Facultad de Ciencias e Ingeniería and Departamento de Ingeniería, Pontificia Universidad Católica del Perú, (2007)Formal Semantics for Object Oriented Systems.. SEKE, стр. 87-94. Knowledge Systems Institute, (1995)A Two-Level Calculus for Composing Hybrid QVT Transformations., , , и . SCCC, стр. 105-114. IEEE Computer Society, (2009)A Domain Specific Language for the Development of Collaborative Systems., , и . SCCC, стр. 3-12. IEEE Computer Society, (2008)Reasoning about the correctness of software development process., и . ICSE, стр. 708. ACM, (2002)Integrating Object-Oriented Modelling Techniques with Formal Specification Techniques., , , , , , , , , и 2 other автор(ы). German-Argentinian Workshop on Information Technology, стр. 23-30. (1999)Foundations of Object-Oriented Modeling Notation in a Dynamic Logic Framework., , и . FMLDO, стр. 1-18. Kluwer, (1998)A Minimal OCL-based Profile for Model Transformation, , и . JIISIC, стр. 237--246. Facultad de Ciencias e Ingenier'ia and Departamento de Ingenier'ia, Pontificia Universidad Cat'olica del Per'u, (2007)Practical Verification Strategy for Refinement Conditions in UML Models, и . (2006)Heuristics on the Definition of UML Refinement Patterns. (2006)