Claudia Pons

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

26 Roxana S. Giandini, Claudia Pons, Gabriela Pérez: A two-level formal semantics for the QVT language. CIbSE 2009: 73-86
25EELuis Mariano Bibbo, Diego García, Claudia Pons: A Domain Specific Language for the Development of Collaborative Systems. SCCC 2008: 3-12
24EEClaudia Pons, Diego García: A Lightweight Approach for the Semantic Validation of Model Refinements. Electr. Notes Theor. Comput. Sci. 220(1): 43-61 (2008)
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
20EEClaudia Pons: Doctoral Symposium Foreword. MoDELS (Doctoral Symposium) 2007
19EEClaudia Pons: Doctoral Symposium. MoDELS Workshops 2007: 287-292
18EEClaudia Pons, Diego García: Practical Verification Strategy for Refinement Conditions in UML Models. IFIP Workshop on Advanced Software Engineering 2006: 47-61
17EEClaudia Pons, Diego García: An OCL-Based Technique for Specifying and Verifying Refinement-Oriented Transformations in MDE. MoDELS 2006: 646-660
16EEClaudia Pons: Heuristics on the Definition of UML Refinement Patterns. SOFSEM 2006: 461-470
15EEJuan Martin Chiaradía, Claudia Pons: Improving the OCL Semantics Definition by Applying Dynamic Meta Modeling and Design Patterns. ECEASST 5: (2006)
14EEClaudia 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
13EEClaudia Pons, Gabriel Baum: Reasoning about the correctness of software development process. ICSE 2002: 708
12 Susanne Busse, Claudia Pons: Schema Evolution in Federated Information Systems. BTW 2001: 26-43
11EEClaudia Pons, Maximo Prieto, Luis Olsina: A Formal Mechanism for Assessing Polymorphism in Object-Oriented Systems. APAQS 2000: 53-62
10EEClaudia Pons, Gabriel Baum: Formal Foundations of Object-Oriented Modeling Notations. ICFEM 2000: 101-110
9EEClaudia Pons, Roxana S. Giandini, Gabriel Baum: Dependency Relations between Models in the Unified Process. IWSSD 2000: 149-158
8EERoxana S. Giandini, Claudia Pons: Relaciones entre Casos de Uso en el Unified Modeling Language. Revista Comlombiana de Computación 1(1): 73-90 (2000)
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
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
4EEClaudia Pons, Gabriel Baum, Miguel Felder: A Dynamic Logic Model for the Formal Foundation of Object-Oriented Analysis and Design. SCCC 1998: 130-139
3EECarlos 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
1EEGabriel 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

Coauthor Index

1Gabriel Baum (Gabriel A. Baum) [1] [4] [5] [7] [9] [10] [13]
2Valeria Becker [14]
3Luis Mariano Bibbo [25]
4Susanne Busse [12]
5Robert Büssow [7]
6Javier Cengia [14]
7Juan Martin Chiaradía [15]
8Hartmut Ehrig [7]
9Miguel Felder [4] [5] [7]
10Diego García [17] [18] [24] [25]
11Robert Geisler [7]
12Roxana S. Giandini [8] [9] [14] [21] [26]
13Silvia E. Gordillo [1]
14Stefan Jähnichen [7]
15Marcus Klar [7]
16Ralf-Detlef Kutsche [7]
17Jorge Longinotti [14]
18Stefan Mann [7]
19Ana María Monteiro [3]
20Carlos G. Neil [22]
21Luis Olsina [11]
22Gabriela Pérez [14] [21] [26]
23Pablo Pesce [14]
24Maximo Prieto [11]
25Clara Smith [1] [3]
26Carlos A. Tau [1] [3]
27Sergio Waldoke [7]
28Herbert Weber [7]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)