The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Claudia Pons: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. Susanne Busse, Claudia Pons
    Schema Evolution in Federated Information Systems. [Citation Graph (0, 0)][DBLP]
    BTW, 2001, pp:26-43 [Conf]
  4. 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]
  5. 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]
  6. 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]
  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. [Citation Graph (0, 0)][DBLP]
    German-Argentinian Workshop on Information Technology, 1999, pp:23-30 [Conf]
  8. Claudia Pons, Gabriel Baum
    Formal Foundations of Object-Oriented Modeling Notations. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2000, pp:101-110 [Conf]
  9. Claudia Pons, Gabriel Baum
    Reasoning about the correctness of software development process. [Citation Graph (0, 0)][DBLP]
    ICSE, 2002, pp:708- [Conf]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. Claudia Pons
    Formal Semantics for Object Oriented Systems. [Citation Graph (0, 0)][DBLP]
    SEKE, 1995, pp:87-94 [Conf]
  17. Claudia Pons
    Heuristics on the Definition of UML Refinement Patterns. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 2006, pp:461-470 [Conf]
  18. 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]
  19. 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]

  20. Doctoral Symposium Foreword. [Citation Graph (, )][DBLP]


  21. Doctoral Symposium. [Citation Graph (, )][DBLP]


  22. A Two-Level Calculus for Composing Hybrid QVT Transformations. [Citation Graph (, )][DBLP]


  23. A Domain Specific Language for the Development of Collaborative Systems. [Citation Graph (, )][DBLP]


  24. Model Transformation Languages Relying on Models as ADTs. [Citation Graph (, )][DBLP]


  25. A two-level formal semantics for the QVT language. [Citation Graph (, )][DBLP]


  26. A Lightweight Approach for the Semantic Validation of Model Refinements. [Citation Graph (, )][DBLP]


Search in 0.069secs, Finished in 0.071secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002