Claudia Pons' Home Page 


 Key details  |  Areas of interest  |  Research activities  |  Publications:    1999  -  1998  -  1997  -  1996  -  1995...  

Publications
  1. ..,.

2001

  • " Schema Evolution in Federated Information Systems "
    (Susanne Busse, Claudia Pons)
    German Conference on DataBase, BTW 2001, Oldenburg. March 2001

  • "Software Process Contracts"
    (Claudia Pons and Gabriel Baum)
    5th European Conference on Software Maintenance and Reengineering, Special Session on Formal Foundation of Software Evolution Lisbon, Portugal, March 2001.

    2000

  • " Specifying Relationships between models through the software development process "
    (Claudia Pons Roxana Giandini and Gabriel Baum)
    Tenth International Workshop on Software specification and Design (IWSSD), San Diego, California, IEEE Computer Society Press. 5-7 November 2000.

  • "Formal foundations of object-oriented modeling notations"
    (Claudia Pons and Gabriel Baum)
    3rd International Conference on Formal Engineering Methods, IEEE ICFEM 2000 IEEE Computer Society Press, University of York, York, UK 4-7 September 2000

  • "Building a bridge between the syntax and semantics of UML Collaborations"
    (María Agustina Cibrán - Vanesa Mola - Claudia Pons - Wanda Marina Russo)
    ECOOP´2000 Workshop on Defining Precise Semantics for UML . Eds.A.moreira, J.Bruel, R.France and S.Kent. Cannes/Sophia-Antipolis, France, 12-16 June 2000.

  • "A Formal Approach to Building a Polymorphism Metric in Object-Oriented Systems"
    (Claudia Pons, Luis Olsina and Máximo Prieto)
    The first Asia-Pacific Conference on Quality Software (APAQS 2000) IEEE Computer Society Press, Hong Kong, October 30-31, 2000

    • 1999

  • "Foundations of Object-oriented modeling notations in a dynamic logic framework"
    (C. Pons, G. Baum, M. Felder)
    Foundations of Models and Languages for Data and Objects, Chapter 1, T.Polle,T.Ripke,K.Schewe Editors, Kluwer Academic Publisher. Germany. 1999.

  • "Precise semantics of model evolution"
    (C. Pons, R.Giandini)
    Proceedings of IDEAS99, San Jose, Costa Rica, 24-26 March 1999.

  • "Formalizing evolution of UML models"
    (C. Pons, G. Baum, M. Felder and Ralf Kutsche)
    OOPSLA'99 Workshop on Behavioral Semantics. Denver, Colorado, USA, November 1999.

  • "A dynamic logic theory describing the UML"
    (C. Pons, R.Giandini, G. Baum, M. Felder)
    Position paper for the OOPSLA´99 workshop on Rigorous Modeling and Analysis with the UML, Denver, Colorado, USA, November 1999.

  • "El proceso de desarrollo de software basado en modelos"
    (C. Pons)
    proceedings of CACIC'99, Universidad Nacional del Centro de la Provincia de Buenos Aires, Argentina. Nov 1999.

  • "Model Evolution and System Evolution"
    (Claudia Pons, Ralf-D Kutsche)
    proceedings of CACIC'99, Universidad Nacional del Centro de la Provincia de Buenos Aires, Argentina. Nov 1999.

    • 1998

  • "Integrating object-oriented model with object-oriented metamodel into a single formalism"
    (C. Pons, G. Baum, M. Felder)
    Second ECOOP Workshop on Precise Behavioral Semantics, European Conference on Object-Oriented Programming ECOOP'98. Brussels, July 1998.

  • "A Formal Approach to Practical Object Oriented Analysis and Design"
    (Sergio Waldoke, Claudia Pons, Cristián Paz Mezzano, Miguel Felder)
    Argentinean Symposium on Object Orientation ASOO'98. Buenos Aires, September 1998.

  • "Manejando formalmente evolución de contratos de reuso con semántica de comportamiento"
    (R.Giandini, C.Pons and G.Baum)
    III Jornadas de Ingeniería de Software, Murcia, Spain, November 1998.

  • "Evolución de Contratos de Reuso multi-Clase con semántica de Comportamiento"
    (R.Giandini, C.Pons and G.Baum)
    Argentinean Symposium on Object Orientation ASOO'98. Buenos Aires, September 1998.

  • "Dimensions and Dichotomy in Metamodeling"
    (Geisler, R. , Klar, M. and Pons, C. )
    Third BCS-FACS Northern Formal Methods Workshop, UK, September 1998.
    (also Technical Report, TU Berlin, FB 13, No. 98-5).

  • "A Dynamic Logic Model for the Formal Foundation of Object-oriented Analysis and Design"
    (C. Pons, G. Baum, M. Felder)
    International Conference of the SCCC. Chile, November 1998.

    • 1997

  • "Una herramienta para verificación formal de especificaciones gráficas de objetos"
    (English version: An algebraic proposal for the formal foundation of object-oriented modeling notations)
    (C. Pons, R. Giandini, G. Baum)
    II Jornadas de Ingeniería de Software JIS'97, edited by O.Diaz y P.Lopistéguy. San Sebastián, Spain, September 1997.

  • "Formalizing sharing mechanisms in the object-oriented paradigm"
    (V. Argañaraz, G. Baum, C. Pons, M. Preso, M. Prieto, N. Romero)
    CACIC 97 III Congreso Argentino de Ciencias de la Computación. Universidad Nacional de La Plata, Argentina, September 1997.

  • "A user friendly algebraic proposal for a formal definition and verification of object-oriented diagrams"
    (Claudia Pons)
    Object-Oriented Programming, Systems, Languages and Applications (OOPSLA'97) Doctoral Symposium. Atlanta, USA, October 1997.

    • 1996

  • "Implementing a uniform model for object oriented databases"
    (María Sarobe, Laura Felice, Claudia Pons)
    Poster Session 14th British National Conference on Databases BNCOD14,. Edinburgh. July 1996.

  • "Un lenguaje de programación orientado a objetos activos"
    (Claudia Pons, Gabriel Baum)
    Memorias de la XXII Conferencia Latinoamericana de Informática CLEI-Panel 96. Bogotá, Colombia, Jun 1996.

  • "Modelando Eventos con Objetos Activos"
    (C. Pons, R. Giandini, G. Baum)
    Memorias de las 25avas Jornadas Argentinas de Informática e Investigación Operativa. Buenos Aires, September 1996.

  • "Embedding active concepts in object-oriented languages"
    (Claudia Pons)
    International Conference of SCCC, Chile, November 1996.

    • 1995 or before

  • "Formal Semantics for Object-Oriented Systems"
    (Claudia Pons)
    7th International Conference on Software Engineering and Knowledge Engineering (SEKE'95), May 1995, Maryland, USA

  • "Formally Speaking About Schemas, Bases, Classes and Objects"
    (C. Tau, C. Smith, C. Pons, A. Monteiro)
    4th International Conference on Database Systems for Advanced Applications (DASFAA'95), April 1995, Singapore. Edited by S-C Moon & H Ikeda. World Scientific Publisher.

  • "Fundamentos Semánticos para Bases de Objetos"
    (C. Pons, G. Baum, S. Gordillo)
    24avas Jornadas Argentinas de Informática e Investigación Operativa. Buenos Aires, August 1995.

  • "Formalization of Object Manipulation Concepts in the Denotational Semantics Framework"
    (C. Tau, C. Pons, C. Smith, A. Monteiro, G. Baum)
    Poster Session VLDB'94 , 20th International Conference on Very Large Data Bases. September 1994.

  • "Conceptual Layers in an Object Oriented Database. A Unified Model"
    (G. Baum, S. Gordillo, C. Pons, C. Smith, C.Tau)
    Advanced Database Research and Development Series - Vol.4. Edited by S-C Moon & H Ikeda. World Scientific Publisher. April, 1993.

  • "Elementos Formales para Bases de Datos Orientadas a Objetos"
    (G. Baum, S. Gordillo, C. Pons, C. Tau, C. Smith, A. Monteiro)
    8avo Simposio Brasileiro de Banco de Dados (8SBBD). Campina Grande, Brasil. May 1993.

  • "Understanding Elementary Schema Updates"
    (G. Baum, C. Pons, C. Smith, A. Monteiro, C. Tau)
    Workshop on Supporting the Evolution of Class Definitions, 8th Conference Object-Oriented Programming, Systems, Languages and Applications OOPSLA'93. Washington D.C. September 1993.

  • "An Analysis of Basic Schema Evolution Operations"
    (C. Pons, C. Smith, C. Tau, G. Baum)
    Workshop on Information Technologies and Systems (WITS'93). University of Maryland. USA, November 1993.


    •  Key details  |  Areas of interest  |  Research activities  |  Publications:    1999  -  1998  -  1997  -  1996  -  1995  -