Author of the publication

Integrating Object-Oriented Modelling Techniques with Formal Specification Techniques.

, , , , , , , , , , , and . German-Argentinian Workshop on Information Technology, page 23-30. (1999)

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.

 

Other publications of authors with the same name

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)Formal Semantics for Object Oriented Systems.. SEKE, page 87-94. Knowledge Systems Institute, (1995)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)Doctoral Symposium Foreword.. MoDELS (Doctoral Symposium), volume 262 of CEUR Workshop Proceedings, CEUR-WS.org, (2007)Foundations of Object-Oriented Modeling Notation in a Dynamic Logic Framework., , and . FMLDO, page 1-18. Kluwer, (1998)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)Practical Verification Strategy for Refinement Conditions in UML Models, and . (2006)