( en | de | ru )

 

Disambiguation of "Pons, Claudia"

Author of the publication

copydeleteadd this publication to your clipboard
Formal Foundations of Object-Oriented Modeling Notations.

, and . ICFEM, page 101-110. IEEE Computer Society, (2000)

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. You can also use the button next to the name to display some publications already assigned to the person.

Mario Pons

Viviane Pons

Rouven Pons

Friedrich Robert Pons

Franz Ponsch

 

Other publications of authors with the same name

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