 | 2009 |
|---|
| 26 |       | Roxana S. Giandini,
Claudia Pons,
Gabriela Pérez:
A two-level formal semantics for the QVT language.
CIbSE 2009: 73-86 |
| 2008 |
|---|
| 25 |  | Luis Mariano Bibbo,
Diego García,
Claudia Pons:
A Domain Specific Language for the Development of Collaborative Systems.
SCCC 2008: 3-12 |
| 24 | | Claudia Pons,
Diego García:
A Lightweight Approach for the Semantic Validation of Model Refinements.
Electr. Notes Theor. Comput. Sci. 220(1): 43-61 (2008) |
| 2007 |
|---|
| 23 | | Claudia Pons:
Proceedings of the Doctoral Symposium at the ACM/IEEE 10th International Conference on Model-Driven Engineering Languages and Systems, Nashville (TN), USA, October 1st, 2007
CEUR-WS.org 2007 |
| 22 | | Carlos G. Neil,
Claudia Pons:
Aplicando MDA al Diseño de un Datawarehouse Temporal.
JIISIC 2007: 181-189 |
| 21 | | Roxana S. Giandini,
Gabriela Pérez,
Claudia Pons:
A Minimal OCL-based Profile for Model Transformation.
JIISIC 2007: 237-246 |
| 20 | | Claudia Pons:
Doctoral Symposium Foreword.
MoDELS (Doctoral Symposium) 2007 |
| 19 | | Claudia Pons:
Doctoral Symposium.
MoDELS Workshops 2007: 287-292 |
| 2006 |
|---|
| 18 | | Claudia Pons,
Diego García:
Practical Verification Strategy for Refinement Conditions in UML Models.
IFIP Workshop on Advanced Software Engineering 2006: 47-61 |
| 17 | | Claudia Pons,
Diego García:
An OCL-Based Technique for Specifying and Verifying Refinement-Oriented Transformations in MDE.
MoDELS 2006: 646-660 |
| 16 | | Claudia Pons:
Heuristics on the Definition of UML Refinement Patterns.
SOFSEM 2006: 461-470 |
| 15 | | Juan Martin Chiaradía,
Claudia Pons:
Improving the OCL Semantics Definition by Applying Dynamic Meta Modeling and Design Patterns.
ECEASST 5: (2006) |
| 2004 |
|---|
| 14 | | Claudia Pons,
Roxana S. Giandini,
Gabriela Pérez,
Pablo Pesce,
Valeria Becker,
Jorge Longinotti,
Javier Cengia:
PAMPERO: Precise Assistant for the Modeling Process in an Environment with Refinement Orientation.
UML Satellite Activities 2004: 246-249 |
| 2002 |
|---|
| 13 | | Claudia Pons,
Gabriel Baum:
Reasoning about the correctness of software development process.
ICSE 2002: 708 |
| 2001 |
|---|
| 12 | | Susanne Busse,
Claudia Pons:
Schema Evolution in Federated Information Systems.
BTW 2001: 26-43 |
| 2000 |
|---|
| 11 | | Claudia Pons,
Maximo Prieto,
Luis Olsina:
A Formal Mechanism for Assessing Polymorphism in Object-Oriented Systems.
APAQS 2000: 53-62 |
| 10 | | Claudia Pons,
Gabriel Baum:
Formal Foundations of Object-Oriented Modeling Notations.
ICFEM 2000: 101-110 |
| 9 | | Claudia Pons,
Roxana S. Giandini,
Gabriel Baum:
Dependency Relations between Models in the Unified Process.
IWSSD 2000: 149-158 |
| 8 | | Roxana S. Giandini,
Claudia Pons:
Relaciones entre Casos de Uso en el Unified Modeling Language.
Revista Comlombiana de Computación 1(1): 73-90 (2000) |
| 1999 |
|---|
| 7 | | Herbert Weber,
Marcus Klar,
Stefan Mann,
Ralf-Detlef Kutsche,
Stefan Jähnichen,
Robert Büssow,
Hartmut Ehrig,
Robert Geisler,
Gabriel Baum,
Claudia Pons,
Miguel Felder,
Sergio Waldoke:
Integrating Object-Oriented Modelling Techniques with Formal Specification Techniques.
German-Argentinian Workshop on Information Technology 1999: 23-30 |
| 1998 |
|---|
| 6 | | Claudia Pons:
A Dynamic Logic Model for the Formal Foundation of Object-Oriented Analysis and Design.
ECOOP Workshops 1998: 16-17 |
| 5 | | Claudia Pons,
Gabriel Baum,
Miguel Felder:
Foundations of Object-Oriented Modeling Notation in a Dynamic Logic Framework.
FMLDO 1998: 1-18 |
| 4 | | Claudia Pons,
Gabriel Baum,
Miguel Felder:
A Dynamic Logic Model for the Formal Foundation of Object-Oriented Analysis and Design.
SCCC 1998: 130-139 |
| 1995 |
|---|
| 3 | | Carlos A. Tau,
Clara Smith,
Claudia Pons,
Ana María Monteiro:
Formally Speaking About Schemata, Bases, Classes and Objects.
DASFAA 1995: 308-317 |
| 2 | | Claudia Pons:
Formal Semantics for Object Oriented Systems.
SEKE 1995: 87-94 |
| 1993 |
|---|
| 1 | | Gabriel Baum,
Silvia E. Gordillo,
Claudia Pons,
Clara Smith,
Carlos A. Tau:
Conceptual Layers in an Object Oriented Database. An Unified Model.
DASFAA 1993: 141-147 |
