( en | de | ru )

 

Disambiguierung von "Pons, Claudia"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Two-Level Calculus for Composing Hybrid QVT Transformations.

, , , und . SCCC, Seite 105-114. IEEE Computer Society, (2009)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Mario Pons

Viviane Pons

Rouven Pons

Thomas Ponsignon

Franz Ponsch

 

Weitere Publikationen von Autoren mit dem selben Namen

A Minimal OCL-based Profile for Model Transformation., , und . JIISIC, Seite 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, Seite 87-94. Knowledge Systems Institute, (1995)A Two-Level Calculus for Composing Hybrid QVT Transformations., , , und . SCCC, Seite 105-114. IEEE Computer Society, (2009)A Domain Specific Language for the Development of Collaborative Systems., , und . SCCC, Seite 3-12. IEEE Computer Society, (2008)Reasoning about the correctness of software development process., und . ICSE, Seite 708. ACM, (2002)Foundations of Object-Oriented Modeling Notation in a Dynamic Logic Framework., , und . FMLDO, Seite 1-18. Kluwer, (1998)Doctoral Symposium Foreword.. MoDELS (Doctoral Symposium), Volume 262 von CEUR Workshop Proceedings, CEUR-WS.org, (2007)Integrating Object-Oriented Modelling Techniques with Formal Specification Techniques., , , , , , , , , und 2 andere Autor(en). German-Argentinian Workshop on Information Technology, Seite 23-30. (1999)A Minimal OCL-based Profile for Model Transformation, , und . JIISIC, Seite 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, und . (2006)