CURRICULUM VITAE NORMALIZADO

1.

Sept 2005

DATOS PERSONALES

Nombre: Pons, Claudia Fabiana Lugar de nacimiento: General Pico, La Pampa, Argentina. Nacionalidad: argentina, Estado Civil: casada Documento de Identidad DNI. 17470661 Domicilio laboral: Lifia, Facultad de Informática, UNLP. Calle 50 esq.115 (1900) La Plata. Teléfono: 0221-4228252 Fax: 0221-4228252 Domicilio particular: calle 8 Nº: 368, (1900) La Plata, Buenos Aires. Teléfono particular: 0221-4275896 E-Mail:[email protected] http://sol.info.unlp.edu.ar/~cpons

2. ESTUDIOS REALIZADOS Y TITULOS OBTENIDOS - Doctora en Ciencias. Facultad de Ciencias Exactas de la UNLP. Buenos Aires, Argentina. Febrero 2000. - Licenciada en Informática. Institución: Universidad Nacional de La Plata. Lugar: La Plata. Buenos Aires. Promedio de calificaciones: 8.56 Fecha de obtención: 07/11/1990. - Analista de Computación. Institución: Universidad Nacional de La Plata. Lugar: La Plata. Buenos Aires. Fecha de obtención: 10/ 06/1987. - Especialista en docencia universitaria. Institución: Universidad Nacional de La Plata. Ciclo de Formación Docente Común realizado entre 1992 y 1995. Ciclo de Formación Docente Especializado realizado en la Facultad de Ciencias Exactas durante los ciclos lectivos 1996,1997 y 1998. Titulo otorgado el 9/10/2002(por demoras administrativas).

3. TESIS DE DOCTORADO Doctor en Ciencias. Título de la tesis: Una teoría dinámica orientada a objetos como fundamento formal para el proceso de desarrollo de software basado en modelos Realizada en: Facultad de Ciencias Exactas de la UNLP. Buenos Aires, Argentina. Director de Tesis: Profesor Gabriel Baum y Profesor Dr. Miguel Felder. Calificación: excelente 10 (diez). Fecha: 1 de Febrero de 2000. Acreditado ante la C.A.P.(Comisión Acreditación de Postgrado). Acta 976.

4. BECAS 1. Beca para realizar doctorado, desde 1 de marzo de 1997 hasta 1 de marzo de 2000. Lugar: Universidad Nacional de La Plata. Institución Otorgante: UNLP, otorgada en el marco del

1 /17

programa de Reforma de la Educación Superior, financiada por FOMEC (Fondo para el Mejoramiento de la Calidad Universitaria). Obtenida por concurso. Monto total US$30,000

5.

CURSOS DE PERFECCIONAMIENTO SEGUIDOS

Nombre Microsoft Visual Studio, C#, MSFramework. Writing Use Cases School "State-of-the-Art on Program design using logic"

Año 2004

Introducción a la Docencia Universitaria

1999

Fundamentos de calculos con subtipos y objetos

1998

Object oriented frameworks

1998

Técnicas Avanzadas de Desarrollo de Software usando Métodos Formales El desarrollo de la ciencia moderna Computabilidad

1996

2002 2000

1994

califiación Institución asistido Microsoft TechEd Conference 2004 . San Diego asistido OOPSLA 2002, Seattle, US asistido Technical Committee 2, on Software:Theory and Practice, of IFIP (International Federation for Information Processing). Aprobado Facultad de Ingenieria, UNLP 8/10 puntos asistido Facultad de Ciencias Exactas, UNLP. Facultad de Ciencias Exactas, UNLP Profesor:A.Compagnoni, U.de Edimburgo asistido Facultad de Ciencias Exactas, UNLP. Profesor: Hans Shmidt, Germany. asistido Universidad de los Andes, Bogotá, Colombia.

ap. 10/10 puntos 1994 ap. 9/10 puntos Topicos de banco de dados 1994 ap. 9/10 puntos Logica y especificaciones 1994 ap. 9/10 puntos Congreso sobre tecnologías Nov.1 asistente de objetos, Objetos'94 994 Projeto e analise de 1994 ap. 9/10 algoritmos puntos Semántica de lenguages 1993 asistido concurrentes Semántica de lenguages de 1993 asistido programación Aspectos políticos 1993 ap. 8/10 institucionales de la univ. puntos Desarrollo de la enseñanza 1993 ap. 10/10 universitaria puntos Aspectos socio-políticos de 1992 ap. 7/10 la universidad puntos Planeamiento Curricular 1992 ap. 10/10 puntos

Duración 21 al 28 de Mayo. 8hs. 50 hs.

50 hs. 10 hs.

80 hs. 10 hs.

Universidad Nacional de La Plata Universidade Catolica de Rio de Janeiro Universidade Catolica de Rio de Janeiro Universidade Catolica de Rio de Janeiro Buenos Aires

50 hs.

Universidade Catolica de Rio de Janeiro UNLP, Prof: J. Echague. Univ. de Montevideo. Universidad Nacional de La Plata Universidad Nacional de La Plata Universidad Nacional de La Plata

60 hs.

40 hs. 40 hs. 40 hs.

30 hs. 50 hs. 50 hs. 50 hs. 50 hs.

Universidad Nacional de La Plata

50 hs.

2 /17

Nombre Algebra relacional: una herramienta apta para construir formalmente programas Aspectos filosóficos y pedagógicos de la educación Fundamentos psicológicos de la educación Teoría de la programación Técnicas de especificación y desarrollo Árboles de especificación de problemas Especificaciones Algebraicas Bases de Datos deductivas Redes Locales Idiomas Inglés Portugués

Año 1992

califiación Institución asistido Escuela de Ciencias Informáticas (ECI).UBA

Duración 15 hs.

1991

ap. 7/10 puntos

Universidad Nacional de La Plata

50 hs.

1991

ap. 9/10 puntos ap. 10/10 puntos ap. 9/10 puntos ap. 6/10 puntos ap. 8/10 puntos ap. 9/10 puntos ap. 9/10 puntos

Universidad Nacional de La Plata Facultad de Ciencias Exactas, UNLP Escuela de Ciencias Informáticas (ECI).UBA Escuela Latinoamericana de Informática (ESLAI) Escuela Latinoamericana de Informática (ESLAI) Escuela Latinoamericana de Informática (ESLAI) Escuela Brasileño_Arg. de Informática (IV EBAI)

80 hs.

1990 1990 1990 1989 1989 1989

Lectura Muy bueno bueno

Escritura bueno bueno

15 hs. 15 hs. 15 hs. 30 hs. 15 hs. 15 hs.

Conversación bueno regular

6. DISTINCIONES - PREMIOS 1. Primer puesto en el Intenational Challenge for Eclipse (ICE 2004), categoría Teachers. Organizado por IBM. Marzo 2004 (premio consistente en 30,000 US$). 2. Medalla al mejor alumno de la promoción 1983, del Colegio Nacional Republica del Salvador, General Pico, La Pampa.

7. ANTECEDENTES DOCENTES Y DE INVESTIGACIÓN 7.1. 1 2 3 4 5 6

CARGOS DOCENTES EN GRADO

Cargo: Profesor Adjunto Dedicación Exlusiva, Cátedra: Lógica, UNLP, desde Octubre de 2003 y continúo. Acceso al cargo por designación. Cargo: Profesor Adjunto ad-honorem Simple, Cátedra: Lógica, UNLP, desde Mayo de 2000 y continúo. Acceso al cargo por concurso desde septiembre de 2001 hasta Marzo 2005. Cargo: profesor adjunto Simple, Universidad Tecnológica Nacional. Cátedra: Sistemas de Datos, desde marzo de 1996 hasta marzo 1998 y Gestión de Datos, desde junio de 2000 y continúo. Acceso al cargo por designación. Cargo: Jefe de Trabajos Prácticos Ordinario Dedicación Exclusiva.Cátedra: Metodologias de Programación, UNLP, del 16/06/92 hasta 1/10/ 2003. Acceso al cargo por concurso. Cargo: Jefe de Trabajos Prácticos Ordinario Dedicación Simple.Cátedra: Estructuras de Datos, del 03/07/91 hasta 30/09/96. Acceso al cargo por concurso. Cargo: Ayudante Diplomado Ordinario Dedicación Exclusiva. Cátedra: Programación Funcional , del 01/11/91 al 15/06/92 Acceso al cargo por concurso. 3 /17

7

Cargo: Ayudante Diplomado Interino Dedicación Exclusiva.Cátedra: Metodologias de Programación, del 01/12 /89 hasta 31/10/91. Acceso al cargo por concurso. Cargo: Ayudante Alumno Ordinario Dedicación Simple. Cátedra: Metodologias de Programación, del 01/02/88 al 02/07/89. Acceso al cargo por concurso. Cargo: Ayudante Alumno Ad-Honorem Dedicación Simple. Cátedra: Análisis Matemático I , del 01/05/86 al 31/01/88. Acceso al cargo por concurso.

8 9

7.2. CARGOS DOCENTES EN POST GRADO 1. Profesor Adjunto Simple, para dictar cursos del doctorado de la Facultad de Informática de la UNLP. 2. Profesor Adjunto Simple. Carrera de Magíster en Tecnologías Informáticas. UAI (Universidad Abierta Interamericana). Buenos Aires.

8. CARGOS Y FUNCIONES DE GESTION DESEMPEÑADOS Universitarios: - Consejero Superior titular, por el claustro de graduados de la Facultad de Informática de la UNLP durante el periodo 2002-2003. - Consejero Superior suplente, por el claustro de graduados de la Facultad de Informática de la UNLP durante el periodo 2000-2001. - Integrante de la Comisión Asesora de Hacienda y Presupuesto de la Facultad de Ciencias Exactas de la UNLP. (1990-1991), en representación del claustro de graduados. - Consejero Académico por el claustro de graduados de la Facultad de Ciencias Exactas de la UNLP durante el año 1992. - Integrante de la Comisión Asesora de Grados Académicos de la Facultad de Ciencias Exactas de la UNLP, en representación del claustro de graduados durante 1994. - Integrante de la Comisión Asesora de Carrera Docente de la Facultad de Ciencias Exactas de la UNLP, en representación del claustro de graduados desde 1996 hasta 1999. - Integrante suplente del Consejo Departamental de Informática de la Facultad de Ciencias Exactas de la UNLP durante 1995. - Integrante de la Comisión Asesora de Extensión del Dpto. De Informática de la Facultad de Ciencias Exactas de la UNLP, en representación del claustro de graduados durante 1996.

9.

MIEMBRO DE JURADOS (TESIS - CONCURSOS - OTROS) -

10.

Integrante del jurado en diversos concursos por cargos de profesor y auxiliar docente en el Departamento de Informática de la Universidad Nacional de La Plata. Integrante del jurado en la evaluación de tesis de Magíster en la Facultad de Informática de la UNLP. Integrante del jurado en la evaluación de tesis de Magíster en el Dpto. de Informática de la UNSL

CARRERAS DE INVESTIGADOR

Ingreso a la carrera del Investigador de CONICET como Investigador Asistente. Ingreso aprobado en Junio de 2003. Categoría de docente - investigador (1,2,3,4,5), Situación actual (Categoria): 3. Lugar de trabajo: Lifia, Facultad de Informática, UNLP.

4 /17

11. -

SUBSIDIOS RECIBIDOS Grant Microsoft a la innovación curricular: “Application of formal methods to software development - Request For Proposals 2005”, consistente en US$25,000. Marzo 2005. Por concurso internacional. Titulo de la propuesta: “Teaching Modeling Languages formally”. Grant Microsoft a la innovación curricular: “Curriculum and Content Request For Proposals 2004”, consistente en US$ 20,000. Noviembre 2003. Por concurso internacional. Grant IBM a la Innovación Tecnológica en Eclipse, “Eclipse Innovation Grant Competition”, consistente en US$ 20,000 . Por concurso. Enero 2003. PICT 2002. Proyectos de Investigación Científica y Tecnológica. Subsidio recibido para desarrollar el proyecto “METODOS FORMALES EN INGENIERIA DE SOFTWARE” nro. 11-12059, en la Facultad de informática de la UNLP. Monto AR$5000. Aprobado por resolución ANPCYT 117 de fecha 14 Nov. De 2003.

12.

SOCIEDADES ACADÉMICAS

13.

PATENTES

14.

SEMINARIOS - CONFERENCIAS Y CURSOS DICTADOS

CONFERENCIAS DICTADAS por invitación: 1. Desarrollo de Software basados en Modelos: conceptos, teorías y desafíos Congreso Internacional en Innovación Tecnológica informática (CIITI). Buenos Aires,14 de Septiembre de 2005. 2. Understanding Refinement and Specialization in the UML, Colloquium at CIS/ Technical University of Berlin, Germany – Aug 29th, 2003 3. Refinement and Specialization in the UML , School of Engineering, Jönköping University, Sweden – September 4th, 2003. 4. Formalizing the software development process, Kolloquium CIS/ Technical University of Berlin, Germany - June 7th, 2000. CURSOS DICTADOS: Tema Métodos Formales en Ingeniería de Software UML en el proceso de desarrollo de soft orientado a objetos UML en el proceso de desarrollo de soft orientado a objetos

Año 2003 2001 2001

Análisis y Diseño Orientado a Objetos con UML Fundamentos de Especificaciones Algebraicas

2000

Técnicas de Diseño Estructurado I

1994

1995

Lugar Escuela de Verano RIO 2003. Córdoba. Argentina Dirección Provincial de Rentas. Bs.As. Dirección Provincial de Catastro Territorial, Ministerio de Economía. BA. Caja de Valores, Buenos Aires. Universidad Nacional de La Pampa, facultad de Ingeniería. La Pampa. Ctro. de Computos, Ministerio de Economia, La Pata, Bs As

Duración 20hs. 30hs. 40hs.

20 hs. 10 hs. 32 hs.

5 /17

Tema Técnicas de Diseño Estructurado II".

Año 1994

Analisis y Expresión de Problemas, 1994 curso de ingreso para la carrera Licenciatura en Informática. Introducción a la Ingeniería de Software 1993 y al Análisis Estructurado" Análisis Estructurado Avanzado

1993

Análisis Estructurado II

1993

Analisis y Expresión de Problemas, curso de ingreso para la carrera Licenciatura en Informática. Lógica y Computacion, curso de ingreso para la carrera Licenciatura en Informática carrera Lic. en Informática. Lógica y Computacion, curso de ingreso para la carrera Licenciatura en Informática

1993

15.

Lugar Ctro. de Cómputos, Ministerio de Economía, La Pata, Bs As Universidad Nacional de La Plata Ctro. de Cómputos, Ministerio de Economía, La Pata, Bs As Ctro. de Cómputos, Ministerio de Economía, La Pata, Bs As Ctro. de Cómputos, Ministerio de Economía, La Pata, Bs As Universidad Nacional de La Plata

Duración 32 hs. febrero 40 hs. 40 hs. 32 hs. febrero y marzo

1991

Universidad Nacional de La Plata

marzo

1990

Universidad Nacional de La Plata

febrero y marzo

PARTICIPACIÓN EN CONGRESOS

PRESENTACIONES: Realice las siguientes presentaciones de artículo científicos en congresos, todas ellas fueron individuales y con crítica profesional: 1. Microsoft Research Faculty Summit 2005. July 18–19, 2005 at the Microsoft Conference Center in Redmond, Washington. 2. Traceability Across Refinement Steps in UML Modeling. C.Pons, R.Kutsche. WiSME@UML 2004, 3rd Workshop in Software Model Engineering at the 7th International Conference on the UML. October 11th 2004. Lisbon, Portugal . Proc. 3rd. Workshop in Software Model Engineering (WiSME’2004). Editors: Martin Gogolla, Paul Sammut, Jon Whittle. www.metamodel.com/wisme-2004 3. Integrating Formal Methods in a Software Engineering Course with Eclipse. Eclipse Technology eXchange Meeting. At International Conference on Object Oriented Programming Systems Languages and Applications. OOPSLA 2003. Anaheim, California. 26 October 2003. 4. Formal Tools Supporting the Evolutionary Software Development Process. Claudia Pons. Eclipse Technology eXchange Meeting. http://www.cas.ibm.com/conferences/etx/. At International Conference on Software Engineering ICSE 2003, Portland Oregon. May 310, 2003. 5. Contract soundness for object-oriented software development process”. Claudia Pons and Gabriel Baum OOPSLA’2002 Workshop on Behavioral Semantics. http://oopsla.acm.org/oopsla2002/fp/files/wor-8.html . Seattle, Washington, USA. November 2002. 6 /17

6. Regulating the software development process by formal contracts, ECOOP 2001 Automating object oriented software development methods Workshop, Budapest, Hungary, June 19, 2001. 7. A Formal Approach to Building a Polymorphism Metric in Object-Oriented Systems, 4th International ECOOP Workshop on Quantitative Approaches in Object-Oriented Software Engineering. Cannes/Sophia-Antipolis, France, 13 June 2000. 8. Relations between different models in the Unified Process, International Workshop on Model Engineering (IWME´00), ECOOP´2000. Cannes/Sophia-Antipolis,, France, 14 June 2000. 9. Building a bridge between the syntax and semantics of UML Collaborations, ECOOP´2000 Workshop on Defining Precise Semantics for UML, Cannes/SophiaAntipolis, France, 12 June 2000. 10. Workshop on Programming Methodology. Organizada por el Technical Committee 2, on Software: Theory and Practice de IFIP (International Federation for Information Processing). Working 2.3, Sept.5th, 2000. 11. “Formalizing evolution of UML models”, OOPSLA’99 Workshop on Behavioral Semantics. Annual Conference on Object-oriented Programming, Systems, Languages and Applications, OOPSLA’99, Denver, Colorado, USA, November 1999. 12. “Foundations of Object-oriented modeling notations in a dynamic logic framework”, 7th International Workshop on Foundations of Models and Languages for Data and Objects, FoMLaDO.,Ostfriesland, Germany, 7 October 1998. 13. “Integrating object-oriented model with object-oriented meta-model into a single formalism”, ECOOP’98 European Conference on Object-oriented Programming,Brussels, Belgium, 24 July 1998. 14. “A dynamic Logic Model for the Formal Foundation of Object-oriented Analysis and Design”, ECOOP’98 Doctoral symposium, Brussels, Belgium, 20 July 1998 15. “A user friendly algebraic proposal for the formal foundation of Object-oriented diagrams”, 12th Annual Conference on Object-oriented Programming, Systems, Languages and Applications, OOPSLA’97 doctoral symposium, Atlanta, USA, October 1997. 16. “Un lenguaje de programación orientado a objetos activos”, XXII Conferencia Latinoamericana de Informática CLEI-Panel 96, Bogotá, Colombia, Junio 1996. 17. “Fundamentos Semánticos para Bases de Objetos”, 24avas.JAIIO Jornadas Argentinas de Informática e Investigación Operativa, Buenos Aires, Agosto de 1995. 18. "Elementos Formales para Bases de Datos Orientadas a Objetos", 8avo Simposio Brasileiro de Banco de Dados (8SBBD), Campina Grande, Brasil., Mayo 1993.

16. ORGANIZACIÓN DE CONGRESOS -ENCUENTROS JORNADAS Y SIMPOSIOS Organización de congresos: 2006

Organizing Chair. 7º Workshop Iberoamericano de Ingeniería De REquisitos y Ambientes Software IDEAS'2006, La Plata, Argentina. Mayo 2006. Program Committee Member. 5th Ibero-American Symposium on Software Engineering and knowledge Engineering. (JIISIC 2006). Puebla, Mexico. February 2006. http://www.jiisic.org/.

2005

Program Committee Member Third Latin American Web Congress (LA-WEB 2005), Buenos Aires, October 2005. IEEE CS Press.

7 /17

Program Committee Member ASSE 2005 . VI Argentine Symposium on Software Engineering. Rosario, Santa Fe , Argentina. September, 2005. Program Committee Member ASIS (Argentine Symposium on Information Systems). Santa Fe , Argentina. September, 2005. Program Committee Member 6º Workshop Iberoamericano de Ingeniería De REquisitos y Ambientes Software IDEAS'2005, Valparaíso, Chile. May 2005. Additional Reviewer. FASE Fundamental Aspects of Software Engineering 2005.Edinburgh, Scotland, 2-10 April 2005. Program Committee Member CACIC 2005 . Congreso Argentino de Ciencias de la Computacion. Entre Rios, Argentina. October 2005.

2004

Organizing chair. PRISE'04, First Conference on the PRInciples of Software Engineering, Buenos Aires, Argentina, November 22 - 27, 2004. http://www.dc.uba.ar/people/prise2004. Program Committee Member 7º Workshop Iberoamericano de Ingeniería De REquisitos y Ambientes Software IDEAS'2004, Arequipa, Perú, 5-7 de mayo de 2004. http://www.spc.org.pe/ideas2004/

Program Committee Member ASSE 2004 . V Argentine Symposium on Software Engineering. Córdoba, Argentina. September 20-22, 2004. Program Committee Member CACIC 2004 . Congreso Argentino de Ciencias de la Computacion. San Justo, Buenos Aires, Argentina. October 2004. Program Committee Member. 4rd Ibero-American Symposium on Software Engineering and knowledge Engineering. (JIISIC 2004). Spain. November 2004 2003

2002

2001

Program Committee Member. Conferencia Latino Americana de Informática CLEI 2003. 29 de Septiembre al 3 de Octubre del 2003. La Paz – Bolivia. http://clei2003.umsanet.edu.bo/ Program Committee Member . International Conference on Computer Science, Software Engineering, Information Technology, e-Business, and Applications. CSITeA'03. Rio de Janeiro. Brazil. June 5-7, 2003. http://www.isca-hq.org/1-CSITeA'03_w.htm Program Committee Member. 3rd Ibero-American Symposium on Software Engineering and knowledge Engineering. (JIISIC 2003). Valdivia, Chile. 26 al 28 de Noviembre del 2003 Program Committee Member. Conferencia Latino Americana de Informática, CLEI 2002, 2529 Noviembre 2002. Montevideo, Uruguay. http://www.fing.edu.uy/clei2002 Program Committee Member . Special Session on Process Modelling in The 6th IASTED International Conference Software Engineering and Applications (SEA 2002) November 4-6, 2002. Cambridge, USA. http://www.iasted.org/conferences/2002/cambridge/sea.htm Program Committee Member. 2ND IBERO-AMERICAN SYMPOSIUM ON SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING. Oct. 30th - Nov. 1st, 2002. Salvador, Bahia, Brazil. http://www.icmc.sc.usp.br/~ibero/index_eng.html Program Committee Member . 2do Workshop Chileno de Ingenieria de Software. Copiapó Chile. 4-8 de Noviembre 2002 Program Chair. Argentinean Symposium on Software Engineering ASSE 2001, Buenos Aires, 10 -12 Septiembre 2001. http://www.cs.rmit.edu.au/asse2001/ Program Committee Member . 1er Workshop Chileno de Ingenieria de Software. Punta Arenas, Chile, 5-9 Noviembre 2001.

Evaluador de articulos en los siguientes revistas y congresos:

8 /17

1 2 3 4 5 6 7

Software Engineering and Knowledge Engineering Journal. Journal of Logic and Algebraic Programming 24th International Conference on Software Engineering, ICSE, Orlando Florida. May 2002 Conferencia Iberoamericana en sistemas, Cibernetica e Informatica. CISCI2002. Orlando, Florida, US, Julio 2002. Conferencia Latino Americana de Informática CLEI 2001 Congreso Argentino de Ciencias de la Computación CACIC 2003,2002,2001 y 2000. 24avas. Jornadas Argentinas de Informática e Investigación Operativa, 1995, 2001.

17. TRABAJOS CIENTÍFICOS PUBLICADOS O ACEPTADOS PARA PUBLICAR EN REVISTAS PERIÓDICAS, ACTAS DE CONGRESOS, LIBROS O CAPÍTULOS DE LIBROS. 17.1.

ARTÍCULOS EN REVISTAS INTERNACIONALES CON REFERATO:

A Formal Approach to Building a Polymorphism Metric. Claudia Pons, Luis Olsina L’Objet - Logiciel, bases de données, réseaux. Vol.7 no.4. Editor: Bertrand Meyer (ISE Santa Barbara), Jean Nerson (GCG, Paris). Special issue on Quantitative Approaches in Object-Oriented Software Engineering . Hermes Science Publications, Paris. October 2001.ISSN 1262-1137 Analizando la formalización de lenguajes de modelado de sistemas de información. Claudia Pons, Gabriel Baum, Miguel Felder Revista Internacional de Información Tecnológica. Centro de Información Tecnológica (CIT), La Serena, Chile. ISSN: 0716-8756 Pgs. 157 - 170 Septiembre/Octubre 2000 17.2.

CAPITULOS DE LIBROS:

Foundations of object-oriented modeling notations in a dynamic logic framework Autores: C.Pons, G.Baum, M.Felder Título del libro : Fundamentals of Information Systems Código ISBN 0-7923-8450-4 Paginas: 1-19. Paginas totales del libro. 140 Editor: T.Polle,T.Ripke,K.Schewe Editors, Kluwer Academic Publisher Lugar y año de edición: Estados Unidos, 1999. A Formal Approach to Building a Polymorphism Metric Autores : Claudia Pons, Luis Olsina Título del libro : Quantitative Approaches in Object-Oriented Software Engineering Código ISBN 1-9039-9627-9 Paginas: 1-19. Paginas totales del libro. 136 Editor: F.Brito e Abreu, G.Poels, H.Sahraoui, H.Zuse Editors, Hermes Penton Science Publisher. Innovative Technology Series. Lugar y año de edición: London, April 2002. Formal Specification of Software Model Evolution Using Contracts. Claudia Pons and Gabriel Baum. Chapter IX of the Book “Advances in UML and XML Based Software Evolution”, by Hongji Yang, pages 184 to 208, ISBN 159140622-6. Idea Group Publishing. Hershey, PA, USA. 2005. Specification and Checking of Dependency Relations between UML Models, Claudia Pons, Roxana Giandini, Gabriel Baum, Jose Luis Garbi, Paula Mercado. Chapter XI of UML and the Unified 9 /17

Process. Published in the USA by IRM Press (an imprint of Idea Group Publishing). ISBN 1-93177744-6. 2003.

17.3. ARTICULOS EN ACTAS DE CONGRESOS INTERNACIONALES CON REFERATO: 1. Heuristics on the Definition of UML Refinement Patterns”. Claudia Pons. 32nd International Conference on Current Trends in Theory and Practice of Computer Science. SOFSEM (SOFtware SEMinar). January 21 - 27, 2006 . Merin, Czech Republic. Published in the Springer LNCS (Lecture Notes in Computer Science series by Springer-Verlag). 2. On the definition of UML refinement patterns. Claudia Pons. ACM/IEEE 8th Int. Conference on Model Driven Engineering Languages and Systems (MoDELS) Workshop MoDeVa.. Jamaica. October 2005. 3. Basis for a Course on Design Patterns: going beyond the intuition. Claudia Pons and Gustavo Rossi. ACM/IEEE 8th Int. Conference on Model Driven Engineering Languages and Systems (MoDELS) Educators Symposium. Jamaica. October 2005. 4. PAMPERO: Precise Assistant for the Modeling Process in an Environment with Refinement Orientation. C. Pons, R.Giandini, G. Pérez, P. Pesce, V.Becker, J. Longinotti, J.Cengia. In "UML Modeling Languages and Applications: UML 2004 Satellite Activities, Revised Selected Papers" . Lecture Notes in Computer Science number 3297. -- New York : Springer-Verlag. Editors: Nuno Jardim Nunes, Bran Selic, Alberto Silva and Ambrosio Toval. Lisbon, Portugal, October 11-15, 2004 . total pages 294 . ISBN: 3-540-25081-6 5. Revealing Undercover Refinement in UML Modeling. C.Pons, G.Perez , R.Kutsche. Proceedings of the 30th Latin-American Conference on Informatics - CLEI 2004- Arequipa (Peru). ISBN 9972-9876-2-0 September 27th , 2004 – October, 1st, 2004. 6. Dependency 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. IEEE; ISBN 0-7695-0884-7; November 2000. 7. Formal foundations of object-oriented modeling notations. Claudia Pons and Gabriel Baum 8. 3rd International Conference on Formal Engineering Methods, IEEE ICFEM 2000. IEEE Computer Society Press, ISBN 0 7695 0822 7, pg.101-110. 4-7 September 2000, University of York, York, UK. 9. A Formal Mechanism for Assessing Polymorphism in Object-Oriented Systems. Claudia Pons, Luis Olsina and Máximo Prieto. Asia Pacific Conference on Quality Software APAQS’00. IEEE Computer Society Press,; ISBN: 0769508251 . October 2000. 10. Dimensions and Dichotomy in Metamodeling, Robert Geisler, Marcus Klar and Claudia Pons. Third BCS-FACS Northern Formal Methods Workshop, Ilkley, UK, September 1998, Computing Series, Springer. 11. A dynamic Logic Model for the Formal Foundation of Object-oriented Analysis and Design, C. Pons, G.Baum and M.Felder, XVIII International Conference of the Chilean Computer Science Society (SCCC’98), Chile, November 1998. IEEE Computer Science Press, ISBN 08186-8616-2, Lugar y año de edición: Estados Unidos, 1998.

10 /17

12. Formally Speaking About Schemas, Bases, Classes and Objects,C.Tau, C.Smith, C.Pons, A.Monteiro and G.Baum. Proceedings of 4th International Conference on Database Systems for Advanced Applications (DASFAA'95), april 1995, Singapore. Edited by S-C Moon & H Ikeda. World Scientific Publisher. 13. Coneptual 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 14. "Mathematical Models for Object Oriented Systems". Claudia Pons. Proceedings of 7th International Conference on Software Engineering and Knowledge Engineering (SEKE'95), June 22-24, 1995. Maryland, USA, ISBN 0-9641699-2-4, Printed in the USA by Knowledge Systems Institute. 15. Understanding Refinement and Specialization in the UML. C. Pons, G. Perez, R. Giandini, and R. Kutsche. In Proceeding of Workshop on MAnaging Specialization/Generalization Hierarchies: MASPEGHI 2003, ASE (Event of the Automated Software Engineering Conference). Montréal, Canada, October 6th, 2003 16. Reasoning about the correctness of software development process. Claudia Pons, Gabriel Baum, ICSE 2002. Orlando, Florida. USA. Poster Session. Published in the Proceedings of the International Conference on Software Engineering, pg.708. May 2002. 17. Pons, Claudia. Generalization relation in UML model elements, Proceedings of the Inheritance Workshop at ECOOP 2002 ISBN 951-39-1252-3. Spain. June 2002. 18. Contracts Soundness for Object Oriented Software Development Process. Claudia Pons, Gabriel Baum. OOPSLA’2002 Workshop on Behavioral Semantics.Seattle, Washington, USA. Ed: K.Baclawski, H.Kilov. Northeastern University, College of Computer Science, pag. 163-177. November 2002. 19. Incremental Specialization vs. Overriding Specialization in the Unified Modeling Language, Claudia Pons , Gabriela Perez and Roxana Giandini. 5º Workshop de Ingeniería de Requisitos y Ambientes Software, IDEAS 2002. ISBN 959-7160-14-5. La Habana Cuba, 22-26 April 2002. 20. Using Contracts to Reasoning About the Correctness of Object-Oriented Software Development Process. C.Pons, G.Baum. ACIS International Conference on Computer Science, Software Engineering, Information Technology, e-Business, and Applications (CSITeA-02) , June 6-8, 2002, Foz do Iguazu, Brazil. 21. Software development contracts . Claudia Pons, Gabriel Baum. 5th European Conference on Software Maintenance and Reengineering, Special Session on Formal Foundation of Software Evolution. Technical Report UNL-DI-1-2001, Departamento de Informática, Universidade Nova de Lisboa, March 2001. 22. Schema Evolution in Federated Information Systems. Susanne Busse, Claudia Pons, German Conference on DataBase, BTW 2001, Oldenburg. March 2001 23. An algebra for Use Cases in the Unified Modeling Language. R.Giandini, C.Pons, G.Baum. OOPSLA’00 Workshop on Behavioral Semantics, Minneapolis, USA, October 2000. Pgs. 89 – 100. edited by K.Baclawski and H.Kilov, Northeastern University College of Computer Science. 11 /17

24. 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. Articulo publicado en los proceedings del congreso, editados por .A.Moreira, J.Bruel, R.France and S.Kent. June 2000. Resumen del articulo publicado en: Object-Oriented Technology, ECOOP 2000 Workshop Reader, First Edition. Series: Lecture Notes in Computer Science, Vol. 1964. 25. Formalizing evolution of UML models, Claudia Pons, Gabriel Baum, Miguel Felder and Ralf Kutsche, OOPSLA’99 Workshop on Behavioral Semantics. Denver, Colorado, USA, November 1999. Ed: K.Baclawski, H.Kilov, A.Thalassinidis,K.Tyson, Northeastern University, College of Computer Science, pag. 172-187. 26. Integrating object-oriented model with object-oriented meta-model into a single formalism, Claudia Pons, G.Baum and M.Felder, Second ECOOP Workshop on Precise Behavioral Semantics, European Conference on Object-oriented Programming, Brussels, Belgium, Ed: H.Kilov, B.Rumpe, Technische Universitat Munchen, Report TUM-I9813. Resumen del articulo publicado en Object-Oriented Technology ECOOP'98 Workshop Reader . Lectures Notes in Computer Science1543. Springer-Verlag. December 1998. 27. Embedding active concepts in object-oriented languages. C.Pons, proceedings International Conference of the Chilean Computer Science Society (SCCC’96), Chile, November 1996. 28. An Analysis of Basic Schema Evolution Operations. Claudia Pons, Clara Smith, Carlos Tau, Ana Monteiro, Gabriel Baum. Proceedings of 1993 Workshop on Information Technologies and Systems (WITS'93). University of Maryland. USA, November 1993. 29. Use Case Refinements in the Object Oriented Software Development Process. Giandini, R., Pons, C., Pérez,G. Proceedings of the 28th Latin-American Conference on Informatics - CLEI 2002, ISBN 9974-7704-1-6, Uruguay. November 2002.

17.4. ARTICULOS EN ACTAS DE CONGRESOS NACIONALES O IBEROAMERICANOS, CON REFERATO: Una extensión de UML para modelar refinamientos. Roxana Giandini y Claudia Pons. 8º Workshop de Ingeniería de Requisitos y Ambientes Software, IDEAS 2005. ISBN xxxxx Santiago de Chile, Abril 2005. Transformation of Models in OOHDM Using Metamodeling Techniques. Carlos Neil and Claudia Pons. Proc. Argentine Symposium on Information Systems/Jornadas Argentinas de Informática e Investigación Operativa. JAIIO 2005. Santa Fe. Agosto 2005. “Herramientas CASE para la validación de modelos UML a través de invariantes OCL” Pablo Pesce and Claudia Pons. CACIC 2004 . Congreso Argentino de Ciencias de la Computación. San Justo, Buenos Aires, Argentina. October 2004. Un Metamodelo para Catalysis Basado en el Metamodelo de UML. Gabriela A. Pérez Roxana S. Giandini Claudia F. Pons. 7º Workshop de Ingeniería de Requisitos y Ambientes Software, IDEAS 2004. ISBN xxxxx Arequipa, Peru. Abril 2004.

12 /17

Formalizing the Model Transformation Using Metamodeling Techniques. Carlos Neil y Claudia Pons. Proc. Argentine Symposium on Software Engineering /Jornadas Argentinas de Informática e Investigación Operativa. JAIIO 2004. Cordoba. Argentina. Aplicando Restricciones en un Datawarehouse Temporal Utilizando UML/OCL. C.Neil, C.Pons. In proceedings of IX Congreso Argentino de Ciencias de la Computación CACIC. Universidad Nacional de La Plata, Argentina, Octubre 2003. Definición formal de la semántica de UML-OCL a través de su traducción a Object-Z . V.Becker, C.Pons. . In proceedings of IX Congreso Argentino de Ciencias de la Computación CACIC. Universidad Nacional de La Plata, Argentina, Octubre 2003. 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. A Formal Approach to Practical Object Oriented Analysis and Design, S.Waldoke, C.Pons, C.Paz and M.Felder, 27avas. Jornadas Argentinas de Informática e Investigación Operativa y ASOO (Simposio en Orientación a Objetos). Buenos Aires, September 1998. Representing delegation in an imperative object calculus with extension. V.Argañaraz, N.Romero, M.Preso, G.Baum, M.Prieto and C.Pons. 27avas. Jornadas Argentinas de Informática e Investigación Operativa y ASOO (Simposio en Orientación a Objetos). Buenos Aires. Septiembre 1998 Evolución de Contratos de Reuso multi-Clase con semántica de Comportamiento" (R. Giandini, C. Pons, G. Baum) Anales del Simposio en Orientación a Objetos "ASOO´98", XXVII JAIIO, Facultad de Ingeniería (UBA), Argentina, Agosto 1998. Una herramienta para verificación formal de especificaciones gráficas de objetos, C.Pons, R.Giandini, G.Baum, Actas de II Jornadas de Ingeniería de Software JIS’97, editadas por O.Diaz y P.Lopistéguy, San Sebastián, España, Septiembre 1997. Formalizing sharing mechanisms in the object-oriented paradigm, V.Argañaraz, G.Baum, C.Pons, M.Preso, M.Prieto and N.Romero. In proceedings of CACIC 97 III Congreso Argentino de Ciencias de la Computación. Universidad Nacional de La Plata, Argentina, Septiembre 1997. Model Evolution and System Evolution. Pons C., Baum G., Kutsche R. Journal of Computer Science & Technology (JCST&T) Vol. 1, No. 3, Special Issue on Computer Science Research: State of the Art, UNLP, Argentina. October 2000. Formalizing Use Cases and their relationships by contracts en the UML R.Giandini, C.Pons and G.Baum, Proc. Argentine Symposium on Software Engineering, Buenos Aires, September 2001. Vol. 30 ISSN 1666-1141. Toward Metrics and Model Validation in WEB site QE. L.Olsina, C.Pons , G.Rossi, CACIC 2000, Ushuaia (Argentina) October 2-7 2000. Modelos Matemáticos para Objetos”, Claudia Pons, Roxana Giandini, Gabriel Baum. Proceedings XXI Conferencia Latinoamericana de Informática CLEI-Panel 95. Brasil. Agosto 1995. Fundamentos Semánticos para Bases de Objetos”, C.Pons, G. Baum, S.Gordillo. Proceedings 24avasJornadas Argentinas de Informática e Investigación Operativa. Buenos Aires , Agosto 1995. 13 /17

Elementos Formales para Bases de Datos Orientadas a Objetos", G.Baum, S.Gordillo, C.Pons, C.Tau, C.Smith, A.Monteiro.Anales del 8 avo Simposio Brasileiro de Banco de Dados (8SBBD) . Campina Grande, Brasil. Mayo de 1993. Conceptos de Lenguajes Orientados a Objetos. Semántica de Punto Fijo Gabriel Baum, Claudia Pons. Anales 20 JAIIO (20avas. Jornadas Argentinas e Informática e Investigacion Operativa). Agosto de 1991. Especificación, diseño e Implementación de una Interfaz Hombre-Máquina" Gabriel Baum, Gustavo Antonelli, Claudia Pons. Anales en la 19 JAIIO (19 avas Jornadas Argentinas de Informática e Investigacion Operativa). Agosto de 1990.

18.

ACTIVIDADES DE TRANSFERENCIA/EXTENSION 18.1.

ASESORÍAS -CONSULTORÍAS:

PARTICIPANTES: Claudia Pons y Roxana Giandini FUNCION: especialista en análisis y diseño orientado a objetos TIPO: asesoría técnica OBJETO: fortalecimiento y modernización de la Dirección Provincial de Catastro Territorial, Bs. As. IMPACTO: El objetivo fue mejorar la calidad de los sistemas de software que asisten al funcionamiento de la Dirección Provincial de Catastro Territorial. Nuestra tarea consistió en capacitar y asesorar (respecto a nuevas tecnologías de desarrollo de software) al personal y directivos del centro de cómputos, encargados del diseño, implantación y mantenimiento de dichos sistemas. CAMPO: Desarrollo de Software DESTINATARIO: Dirección Provincial de Catastro Territorial, Ministerio de Economía de la Prov. de Buenos Aires AUTORIZACIÓN: Convenio BID 979/OC-AR, desde febrero hasta mayo de 2001

19.

PARTICIPACION DE PROYECTOS DE INVESTIGACIÓN

Título Desarrollo de Software Avanzado con Métodos Formales y Sistemáticos Codigo : 11/F001 Unidad de Investigación LIFIA Unidad Académica: Facultad de Informática, UNLP Disciplina (según tabla) Computación Código 1802 Campo de aplicación Desarrollo de Software Código 1170 Tipo de Investigación: Básica ( ) Aplicada (X) Desarrollo experimental ( ) Fecha de su incorporación al Proyecto 1/5/2000 al 31/12/2003 Participación personal en el Proyecto: Integrante Título Modelos, Herramientas y Métodos Formales para Aplicaciones Avanzadas Unidad de Investigación LIFIA- Dpto. Informática Código 110606 Unidad Académica: Facultad de Ciencias Exactas UNLP Código 1106 Disciplina (según tabla) Computación Código 1802 Campo de aplicación Desarrollo de Software Código 1170 Tipo de Investigación: Básica ( ) Aplicada (X) Desarrollo experimental ( ) Fecha de su incorporación al Proyecto 1/5/98 al 1/5/2000 Participación personal en el Proyecto: Integrante Título Modelos Formales para Sistemas de Datos Avanzados Unidad de Investigación LIFIA- Dpto. Informática Unidad Académica: Facultad de Ciencias Exactas UNLP

Código 110606 Código 1106 14 /17

Disciplina (según tabla) Computación Campo de aplicación Desarrollo de Software Tipo de Investigación: Básica ( ) Aplicada (X) Desarrollo experimental ( ) Fecha de su incorporación al Proyecto 1/5/96 hasta 1/5/98 Participación personal en el Proyecto: Integrante

Código 1802 Código 1170

Título Desarrollo de un modelo de jerarquias multiples para bases de datos orientadas a objetos Unidad de Investigación LIFIA- Dpto. Informática Código 110606 Unidad Académica: Facultad de Ciencias Exactas UNLP Código 1106 Disciplina (según tabla) Computación Código 1802 Campo de aplicación Desarrollo de Software Código 1170 Tipo de Investigación: Básica ( ) Aplicada (X) Desarrollo experimental ( ) Fecha de su incorporación al Proyecto 1/5/94 hasta 1/5/96 Participación personal en el Proyecto: Integrante

20.

FORMACIÓN Y DIRECCIÓN DE RECURSOS HUMANOS 20.1.

BECARIOS

Tengo a mi cargo la dirección de becarios del Lifia, Laboratorio de Investigación y Formación en Informática Avanzada de la UNLP, en el área de investigación “Formalismos en el proceso de desarrollo de software orientado a objetos” : Wanda Russo, desde Septiembre de 1998 hasta julio de 2001. Vanesa Mola, desde Septiembre de 1998 hasta julio de 2001. Agustina Cibran, desde Septiembre de 1998 hasta julio de 2001. Paula Mercado, desde Enero de 2001 hasta Julio 2003. José Luis Garby, desde Enero de 2001 hasta Julio 2003. Gabriela Perez, desde Enero de 2001 y continúa. Paula Labaronnie, Jorge Longinotti, Pablo Pesce, Javier Cengia, desde abril de 2003 y continuan. Tengo a mi cargo la dirección de becarios en la Facultad Regional La Plata de la Universidad Tecnologica Nacional, trabajando en el proyecto PAMPA, desde Marzo de 2004: Salvatierra, Facundo Garcia, Carlos Cuaderno, Lucas Gaig, Agustin Pinasco, C. Marina

20.2.

PREMIOS DE ALUMNOS:

Tercer puesto, competencia ACM de trabajos estudiantiles, Atlanta, Georgia, USA. “Representing delegation in an imperative object calculus with extension”, alumnos: V.Argañaraz, N.Romero, M.Preso. Directores: G.Baum, M.Prieto and C.Pons. Marzo 1998. Segundo puesto concurso de trabajos estudiantiles JAIIO 2001. Buenos Aires, "A Formal Object-Oriented Application for Verifying Traces through the Development Process" alumnos P.Mercado, J.Garbi. Directora: Dra. Claudia Pons. Sept. 2001.

20.3.

DIRECCIÓN DE TESIS:

15 /17

Titulo: Especificación formal de sistemas con UML y Object Z, Tesis de Licenciatura, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires, Director: Dr. Miguel Felde, CoDirector:Dra.Claudia Pon. Tesistas: Pedro Paz Mezzano y Sergio Waldoke Fecha de aprobación: Octubre 1999. Calificación: 10 Titulo: Un aporte a la formalización del proceso de desarrollo de software. Tesista: Maria Agustina Cibrán Director de Tesis de Licenciatura, Facultad de Informática, Universidad N de La Plata. Fecha de aprobación: Julio 2001. Calificación: 10 Titulo: Aplicando Métodos formales a la construcción de aplicaciones de Hipermedia Colaborativas. Tesista: Vanesa Mola y Wanda Russo Co-director de Tesis de Licenciatura, Facultad de Informática, Universidad N de La Plata. Fecha de aprobación: Noviembre 2001. Calificación: 8 Titulo: Una herramienta para verificación formal de especificaciones graficas orientada a objetos. Tesista: Javier Cengia Director de Tesis de Licenciatura, Facultad de Informática, Universidad N de La Plata. Fecha de aprobación: Junio 2003 Calificación: 9 Titulo: Una posible semántica operacional de alto nivel para lenguajes de generación dinámica de paginas en el contexto de aplicaciones web Tesista: Ignacio Gallego Sagastume Director de Tesis de Licenciatura, Facultad de Informática, Universidad N de La Plata. Fecha de aprobación: Mayo 2004 Calificación: 10 Tesis doctorales en curso: Roxana Giandini. “Consistencia de modelos en el proceso de desarrollo de software”. UNLP. Carlos Gerardo Neil. “Modelización Conceptual de Aplicaciones Web usando Patrones de Diseño y Métodos Formales”. UNLP Gabriela Robiolo. “Métricas para el Unified Process”. UNLP

21.

DIRECCION DE PROYECTOS DE INVESTIGACIÓN

Me desempeño (o he desempeñado) como director en los siguientes proyectos de investigación y desarrollo: Titulo: “PAMPA, a tool for integrating formal methods in model-driven software engineering courses”. Subsidio; Microsoft Research – Content and Curriculum RFP Response. Unidad Academica: Universidad Tecnológica Nacional. Departmento de Sistemas. Disciplina: Computación - Campo de aplicación: Desarrollo de Software. Tipo de Investigación: Aplicada Fecha del Proyecto: 1/3/2004 hasta 31/3/2007. Grupo de trabajo integrado por 10 personas. Participación personal en el Proyecto: Director. Título: Eclipse tools supporting the Software Development Process. Descripción: proyecto de investigación y desarrollo de herramientas de soporte para el proceso de desarrollo de software orienteado a objetos. Subvencionado por IBM mediante el Eclipse Innovation Grant 2003, obtenido por concurso. Unidad Académica: Facultad Informática, UNLP. 16 /17

Disciplina: Computación - Campo de aplicación: Desarrollo de Software Tipo de Investigación: Aplicada Fecha del Proyecto: 1/3/2003 hasta 31/3/2004. Grupo de trabajo integrado por de 10 personas. Participación personal en el Proyecto: Director. Título: Formalizing the Evolutionary Software Development Process (En el marco de la Cooperación Científico-tecnológica Argentino-Alemana) Unidad Académica: Facultad Informática, UNLP y Technische Universität Berlin. Disciplina: Computación - Campo de aplicación: Desarrollo de Software Tipo de Investigación: Aplicada Fecha del Proyecto: 1/1/2002 hasta 31/12/2003 Participación personal en el Proyecto: Director por la parte argentina Título Integrating Object-Oriented Modeling Techniques with Formal Specification Techniques. (En el marco de la Cooperación Científico-tecnológica Argentino-Alemana) Unidad Académica: Facultad de Ciencias Exactas UNLP, Technische Universität Berlin. Disciplina: Computación - Campo de aplicación Desarrollo de Software Tipo de Investigación: Aplicada Fecha del Proyecto 1/10/98 hasta 1/10/2000 Participación personal en el Proyecto: Co-director por la parte argentina

17 /17