Search the dblp DataBase
Claudia Pons :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Gabriel Baum , Silvia E. Gordillo , Claudia Pons , Clara Smith , Carlos A. Tau Conceptual Layers in an Object Oriented Database. An Unified Model. [Citation Graph (1, 6)][DBLP ] DASFAA, 1993, pp:141-147 [Conf ] Claudia Pons , Maximo Prieto , Luis Olsina A Formal Mechanism for Assessing Polymorphism in Object-Oriented Systems. [Citation Graph (0, 0)][DBLP ] APAQS, 2000, pp:53-62 [Conf ] Susanne Busse , Claudia Pons Schema Evolution in Federated Information Systems. [Citation Graph (0, 0)][DBLP ] BTW, 2001, pp:26-43 [Conf ] Carlos A. Tau , Clara Smith , Claudia Pons , Ana María Monteiro Formally Speaking About Schemata, Bases, Classes and Objects. [Citation Graph (0, 13)][DBLP ] DASFAA, 1995, pp:308-317 [Conf ] Claudia Pons A Dynamic Logic Model for the Formal Foundation of Object-Oriented Analysis and Design. [Citation Graph (0, 0)][DBLP ] ECOOP Workshops, 1998, pp:16-17 [Conf ] Claudia Pons , Gabriel Baum , Miguel Felder Foundations of Object-Oriented Modeling Notation in a Dynamic Logic Framework. [Citation Graph (0, 0)][DBLP ] FMLDO, 1998, pp:1-18 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] German-Argentinian Workshop on Information Technology, 1999, pp:23-30 [Conf ] Claudia Pons , Gabriel Baum Formal Foundations of Object-Oriented Modeling Notations. [Citation Graph (0, 0)][DBLP ] ICFEM, 2000, pp:101-110 [Conf ] Claudia Pons , Gabriel Baum Reasoning about the correctness of software development process. [Citation Graph (0, 0)][DBLP ] ICSE, 2002, pp:708- [Conf ] Claudia Pons , Diego Garcia Practical Verification Strategy for Refinement Conditions in UML Models. [Citation Graph (0, 0)][DBLP ] IFIP Workshop on Advanced Software Engineering, 2006, pp:47-61 [Conf ] Claudia Pons , Roxana S. Giandini , Gabriel Baum Dependency Relations between Models in the Unified Process. [Citation Graph (0, 0)][DBLP ] IWSSD, 2000, pp:149-158 [Conf ] Roxana S. Giandini , Gabriela Pérez , Claudia Pons A Minimal OCL-based Profile for Model Transformation. [Citation Graph (0, 0)][DBLP ] JIISIC, 2007, pp:237-246 [Conf ] Carlos G. Neil , Claudia Pons Aplicando MDA al Diseño de un Datawarehouse Temporal. [Citation Graph (0, 0)][DBLP ] JIISIC, 2007, pp:181-189 [Conf ] Claudia Pons , Diego Garcia An OCL-Based Technique for Specifying and Verifying Refinement-Oriented Transformations in MDE. [Citation Graph (0, 0)][DBLP ] MoDELS, 2006, pp:646-660 [Conf ] Claudia Pons , Gabriel Baum , Miguel Felder A Dynamic Logic Model for the Formal Foundation of Object-Oriented Analysis and Design. [Citation Graph (0, 0)][DBLP ] SCCC, 1998, pp:130-139 [Conf ] Claudia Pons Formal Semantics for Object Oriented Systems. [Citation Graph (0, 0)][DBLP ] SEKE, 1995, pp:87-94 [Conf ] Claudia Pons Heuristics on the Definition of UML Refinement Patterns. [Citation Graph (0, 0)][DBLP ] SOFSEM, 2006, pp:461-470 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] UML Satellite Activities, 2004, pp:246-249 [Conf ] Roxana S. Giandini , Claudia Pons Relaciones entre Casos de Uso en el Unified Modeling Language. [Citation Graph (0, 0)][DBLP ] Revista Comlombiana de Computación, 2000, v:1, n:1, pp:73-90 [Journal ] Doctoral Symposium Foreword. [Citation Graph (, )][DBLP ] Doctoral Symposium. [Citation Graph (, )][DBLP ] A Two-Level Calculus for Composing Hybrid QVT Transformations. [Citation Graph (, )][DBLP ] A Domain Specific Language for the Development of Collaborative Systems. [Citation Graph (, )][DBLP ] Model Transformation Languages Relying on Models as ADTs. [Citation Graph (, )][DBLP ] A two-level formal semantics for the QVT language. [Citation Graph (, )][DBLP ] A Lightweight Approach for the Semantic Validation of Model Refinements. [Citation Graph (, )][DBLP ] Search in 0.014secs, Finished in 0.016secs