Centro de Investigación INGENIERIA DE SOFTWARE Y SISTEMAS

ISYS

Escuela de Computación Facultad de Ciencias

Universidad Central de Venezuela

Integrantes Profesores

Alecia Eleonora Acosta

Alfredo Matteo Amelia Soriano

Ana Vanessa Leguizamo Christian Metzner Eugenio Scalise Francis Losavio

Jorge Salas Nancy Zambrano (Coord.)

Nora Montaño Norelba Niño Oscar Ordaz

Profs. Convencionales:

Antonio Leal Camilo Iturra

Enero 2003

2

Laboratorio MeFIS

Centro ISYS

Escuela de Computación Facultad de Ciencias

Universidad Central de Venezuela

Informe año 2002

Integrantes

Alecia Eleonora ACOSTA Camilo ITURRA Antonio LEAL

Ana Vanessa LEGUIZAMO Nora MONTAÑO

Jorge SALAS (Coord.) Eugenio SCALISE Amelia SORIANO

Nancy ZAMBRANO

Laboratorio de Investigación

METODOS FORMALES EN INGENIERIA DE SOFTWARE Creado en marzo 1996

Aprobado por el Consejo de Escuela de Computación en Febrero 1997 Aprobado por el Consejo de la Facultad de Ciencias en Julio 1997

Se integra en el Centro ISYS en Octubre 1998

3

PROFESORES INVESTIGADORES ACOSTA, Alecia Eleonora Magister en Ciencias de la Computación, UCV, 1993. DEA, Université Paris-Sud,

1992. Lic. en Computación, UCV, 1988. Estudiante de Doctorado en Ciencias de la Computación, Universidad Central de Venezuela Prof. Agregado, UCV. E-mail: eacosta@strix.ciens.ucv.ve

ITURRA, Camilo Lic. en Computación, UCV, 1999 Docente Temporal (Dedicación Parcial), UCV. E-mail camilo.iturra@wiredconcept.net

LEAL, Antonio Lic. en Computación, UCV, 1998 Docente Temporal (Dedicación Parcial), UCV E-mail antonio@pranical.com

LEGUIZAMO, Vanessa Lic. en Computación, UCV, 2000 Estudiante de Especialización en Gerencia de Proyectos de Investigación y Desarrollo. FACES. Universidad Central de Venezuela Docente Temporal, Dedicación Exclusiva, UCV. E-mail: vleguiza@strix.ciens.ucv.ve

MONTAÑO, Nora Magister en Ciencias de la Computación, UCV,1995. Lic.en Computación,UCV,1985 Estudiante de Doctorado en Ciencias de la Computación. Universidad Central de Venezuela Prof. Agregado, UCV. E-mail: nmontano@strix.ciens.ucv.ve

SALAS, Jorge Doctor en Ciencias de la Computación, USB, 2001. Magister en Ciencias de la Computación, USB, 1996. Lic. en Computación, UCV, 1977. Profesor Asociado, UCV. E-mail: jsalas@isys.ciens.ucv.ve

SCALISE, Eugenio Magister en Ciencias de la Computación, UCV, 1999. Lic. en Computación, UCV, 1996. Estudiante de Doctorado en Ciencias de la Computación. Universidad Central de Venezuela Profesor Asistente, UCV, e-mail: escalise@acm.org

SORIANO, Amelia Doctora en Informática, INPG, 1987. Lic. en Computación, UCV, 1977. Prof. Titular UCV E-mail: asoriano@kuaimare.ciens.ucv.ve

ZAMBRANO, Nancy Doctora en Ciencias, Mención Informática, Université Paris-Sud, Francia, 1995. Magister en Ciencias de la Computación, UCV, 1989. Lic. en Computación, UCV, 1976. Prof. Titular, UCV. E-mail: nzambran@strix.ciens.ucv.ve

ESTUDIANTES DE POSTGRADO (EN CURSO)

Tesista Tutor

− Nora MONTAÑO (Doctorado, UCV). Amelia Soriano

− Eleonora ACOSTA (Doctorado, UCV). Nancy Zambrano

− Eugenio SCALISE (Doctorado, UCV). N. Zambrano

− Jesús JEREZ (Maestría, UCV). N. Zambrano

− Ana V. LEGUÍZAMO (Esp. en Gerencia de Proyectos de Investigación y Desarrollo. FACES, UCV)

4

ESTUDIANTES DE PREGRADO EN TRABAJO ESPECIAL DE GRADO(EN CURSO)

Tesista Tutor − Ana María Prevete

Keni Clermont Eugenio Scalise

− Glemarys Hernández Daniel Acevedo

Eugenio Scalise

− Leiser Acosta Jorge Molea

Eugenio Scalise

− Patricia Ibáñez

− Arturo García

Eleonora Acosta y Nancy Zambrano

− Cruz Farfán Eleonora Acosta y Edgard González

− Daniel Bravo Capote − Keyla Rivas Essis

Nora Montaño (tutor) Nancy Zambrano

− Freddy Pedraza Nancy Zambrano

− Sael Guerra Yenny Guerrero

Antonio Leal Daniel Zambrano

− Ruben Rivero Eleonora Acosta Nancy Zambrano

− Aiglée Castillo Jorge Salas

LÍNEAS DE INVESTIGACIÓN

Modelos, Métodos, Técnicas y Herramientas de Desarrollo de Software:

- Desarrollo de ambientes interactivos e integrados que brinden soporte para la especificación y el desarrollo de Software.

- Generación de prototipos.

- Metodologías orientadas a objetos y su adecuación para aplicaciones Web.

- Integración del proceso de construcción de interfaces en el método de desarrollo de software.

Desarrollo de Aplicaciones basadas en Internet:

- Software intermediario entre clientes y servidores.

- Herramientas genéricas para la gestión de sitios Web.

- Metodologías y herramientas para el diseño y desarrollo de aplicaciones basadas en tecnología Internet.

- Diseño y desarrollo de modelos de negocios basados en tecnología Internet.

- Modelos, Métodos, Técnicas y Herramientas de Desarrollo de aplicaciones Web.

- Aplicaciones de cursos virtuales.

Interacción Humano-Computador:

- Métodos de análisis, especificación, diseño y construcción de interfaces de usuarios.

- Diversos paradigmas de interfaces y técnicas de interacción asociadas.

- Interfaces centradas en el aprendizaje del sistema.

- Agentes inteligentes de interfaz, interfaces sociales.

5

- Patrones de Interacción.

Sistemas de reescritura:

- Las algebras heterogéneas, el cálculo lambda y la teoría de las reducciones abstractas entre otros.

- Nuevas técnicas para el cálculo de conjuntos de cobertura para la demostración semiautomática de conjeturas inductivas en la teoría ecuacional generada por un programa funcional viendo sus casos de las definiciones funcionales como reglas de reescritura.

PUBLICACIONES REVISTAS Y CONGRESOS INTERNACIONALES

•

•

Dinarle ORTEGA, Amelia SORIANO UP and Incremental Approach in the Definition of a Project of Investigation. 6th World Multiconference on Systemics and Informatics. Págs. 130-133. Orlando-USA, julio 2002

Eugenio SCALISE, Nancy ZAMBRANO A software development model for the automatic generation of classes. CLEI Electronic Journal. ISSN 0717-5000. Vol 4, Nº 2, Special Issue of Best Papers presented at CLEI’2000. 10 pag. URL: www.dcc.uchile.cl/~rbaeza/clei/ , Received july 2001, Revised may 2002

•

•

•

•

•

•

•

•

Anne DOUCET, Stephane GANÇARSKI, Vanessa LEGUIZAMO, Claudia LEON, Marta RUKOZ. Un prototipo de Manejador de Transacciones Anidadas con Restricciones de Integridad. XXVIII Conferencia Latinoamericana de Informática, CLEI 2002. Montevideo, Uruguay, 2002.

CONGRESOS NACIONALES

Lilian MARTÍNEZ, Amelia SORIANO, Xavier VARGAS ActiviD 1.1: Una herramienta para construir Diagramas de Actividad y convertirlos a Redes de Petri. LII Convención Anual AsoVAC , Acta Científica Venezolana, Vol.53, Barquisimeto, 2002

Eleonora ACOSTA, Nancy ZAMBRANO Patrones de Interacción para la Construcción de la Interfaz de Usuario. LII Convención Anual AsoVAC , Acta Científica Venezolana, Tomo II, pág. 367, Barquisimeto, 2002

Eleonora ACOSTA, Antonio LEAL, Wendy VAZQUEZ, Frineé PAREDES Innovando la publividad en Internet. LII Convención Anual AsoVAC , Acta Científica Venezolana, Tomo II, pág. 366, Barquisimeto, 2002

Susana CHANG, Vanessa LEGUIZAMO, Nora MONTAÑO, Mildiana SALAS. Un Método para garantizar el Mejoramiento Continuo en una plataforma periodística: NotiCiencias en Línea. LII Convención Anual 2002 de AsoVAC, Acta Científica Venezolana, Vol 53, pág. 371, Bqto., 2002

Nora MONTAÑO, Marize MÁRQUEZ, Julio PÉREZ Oasis Plus: una experiencia para el reuso del comportamiento del Usuario. LII Convención Anual AsoVAC, Biodiversidad, energías alternativas y Desarrollo social, TOMO II, pág. 371 Barquisimeto, 2002

MONOGRAFIAS

Eleonora ACOSTA, Nancy ZAMBRANO Construcción de la interfaz de una herramienta para el reuso de diseños de interfaces de usuario (ReDIHC). Lecturas en Ciencias de la Computación, Escuela de Computación, UCV, ISSN 1316-6239, Reporte Técnico RT 2002-03 (30 págs.). Caracas Mayo 2002

Eleonora ACOSTA, Nancy ZAMBRANO Reuso de diseños de interfaces de usuario basado en patrones de Interacción. Lecturas en Ciencias de la

6

Computación, Escuela de Computación, UCV, ISSN 1316-6239, Reporte Técnico RT 2002-04 (22 págs.). Caracas Mayo 2002

•

•

•

•

•

•

•

•

•

•

Aldo REYES, Eleonora ACOSTA, Nancy ZAMBRANO Patrones de Interacción: su uso en la construcción de la interfaz de una aplicación de modelación de medios geológicos. Lecturas en Ciencias de la Computación, Escuela de Computación, UCV., ISSN 1316-6239, Reporte Técnico RT 02-01 (26 págs.). Caracas, 2002.

Nora MONTAÑO, Amelia SORIANO Hacia un nuevo enfoque en el diseño de interfaces de usuario basadas en Entornos de Aprendizaje.- Lecturas en Ciencias de la Computación, Escuela de Computación, UCV., ISSN 1316-6239, RT 2002-08, Caracas, 2002

PARTICIPACION EN EVENTOS

Nancy ZAMBRANO Simposio “Tecnologías de la Información y la Comunicación en Latinoamérica: Perspectivas y Retos” . Red Iberoamericana de formación de profesores universitarios en tecnología Educativa-UCV, Caracas, 7-11 Octubre 2002

Nancy ZAMBRANO Curso “Diseño y Realización de Medios Didácticos Interactivos para la Enseñanza Universitaria” . Red Iberoamericana de formación de profesores universitarios en tecnología Educativa-UCV, Caracas, 7-11 Octubre 2002

Nancy ZAMBRANO V Reunión Nacional de Currículo. Escenarios para la universidad del siglo XXI, Caracas, CNU-UCV19-22 Febrero 2002

TESIS DE POSTGRADO Y TRABAJOS DE ASCENSO DE LOS INVESTIGADORES

Eugenio SCALISE Desarrollo de Software para la Construcción Automática de Programas C++ y Java. Trabajo de Ascenso a la categoría Asistente. Escuela de Computación UCV. Enero 2002.

TRABAJOS ESPECIALES DE GRADO LICENCIATURA EN COMPUTACIÓN, UCV

Lilian MARTÍNEZ Activad 1.1: Herramienta para construir Diagramas de Actividad y convertirlos a Redes de Petri. Trabajo Especial de Grado. Licenciatura en Computación. Universidad de Carabobo. Tutor: Xavier Vargas. Co-tutor: Amelia Soriano. 2002

Andrés SANOJA Desarrollo de una Aplicación Inalámbrica de Gerencia de Proyectos empleando Tecnologías de Internet. Trabajo Especial de Grado. Licenciatura de Computación. UCV. Tutor: Eugenio Scalise. Co-tutor: Camilo Iturra. Abril 2002.

Luzmar CAICEDO Una implementación Caml del Cálculo de Secuentes de Gentzen para la Lógica de Predicados. Trabajo Especial de Grado. Licenciatura de Computación, Tutor: Jorge F. Salas O., 2002.

Wendy VAZQUEZ, Frineé PAREDES Un generador de catálogos para el Web, con un asistente inteligente y tratamiento de imágenes 3D. Trabajo Especial de Grado. Licenciatura en Computación. UCV. Tutores: Eleonora Acosta y Antonio Leal. 2002

7

•

•

•

•

•

Karim AZUAJE Un asistente inteligente para los cursos. Trabajo Especial de Grado. Licenciatura en Computación. UCV. Tutores: Eleonora Acosta y Nancy Zambrano. 2002

Genesio De STEFANO Solución de automatización de procesos de negocios basada en tecnología de código fuente abierto. Trabajo Especial de Grado. Licenciatura en Computación. UCV. Tutor: Antonio Leal. 2002

Susana CHANG, Mildiana SALAS NotiCiencias en Línea: Mejoramiento Continuo. Trabajo Especial de Grado. Licenciatura en Computación. UCV Tutora: Nora Montaño. Co-tutora: Vanessa Leguízamo. 2002

Brenda LÓPEZ, Pedro PADRÓN BioWeb: proveedor de servicios biométricos para un dominio de aplicaciones Web. Trabajo Especial de Grado. Licenciatura en Computación. UCV. Tutor: Antonio Leal. Co-tutor: J. Goldwasser. 2002

Marise MARQUEZ, julio PÉREZ. OASIS PLUS: Herramienta portable para la construcción de modelos de Casos de Uso. Trabajo Especial de Grado. Licenciatura en Computación. UCV. Tutora: Nora Montaño

TRABAJOS ESPECIALES DE GRADO EN DESARROLLO

Tema Realizado por.. Tutores

Diseño e Implementación de un Portal Vertical para Multitiendas

Ana María Prevete Keni Clermont

Eugenio Scalise

Reconocimiento de Patrones de Tecleo Glemarys Hernández Daniel Acevedo

Eugenio Scalise

Implementación de un Framework de Publicación Web basado en XML

Leiser Acosta Jorge Molea

Eugenio Scalise

Generador de sitios Web para docentes-investigadores

Patricia Ibáñez

Arturo García

Eleonora Acosta y Nancy Zambrano

Patrones de diseño, el Proceso Unificado y J2EE

Cruz Farfán Eleonora Acosta y Edgard González

Objetos de Aprendizajes: Una aproximación del Diseño Instruccional a la Ingeniería de Software

Daniel Bravo Capote

Keyla Rivas Essis

Nora Montaño (tutor)

Nancy Zambrano (cotutor)

Herramientas de apoyo a la docencia Freddy Pedraza Nancy Zambrano

Edificaciones inteligentes Sael Guerra Yenny Guerrero

Antonio Leal Daniel Zambrano

Herramientas de manipulación de componentes reusables.

Ruben Rivero Eleonora Acosta Nancy Zambrano

El Sistema de Tipos de Hindley-Milner Aiglée Castillo Jorge Salas

8

PROYECTOS DE INVESTIGACION

Proyectos en Desarrollo

Proyecto Tipo/ Responsables

Nombre: SABA: un Sistema de Asistencia Basado en Agentes

Financiado por: CDCH Nº 03-13-4641-2000

Estado: Fecha de aprobación: 18/07/2000, en desarrollo la 1era. etapa

Monto: 5.000.000 Bs.

Proyecto Individual (2 etapas)

E. Acosta, N. Zambrano

Nombre: Sos-Oasis: Un Soporte Electronico De Rendimiento Para Oasis

Financiado por: CDCH código No PI 03-13-4431-1999,

Estado:. En desarrollo la 1era. Etapa

Monto: 5.000.000,00

Proyecto individual/ (2 etapas)

N. Montaño, E. Acosta

Nombre: ACAD-WEB: aplicaciones académicas basadas en Web,

Financiado por: CDCH Nº PI 03-13-4843-2001.

Estado: Etapa 1, Aprobado: xx Iniciado en octubre 2001

Monto: 5.000.000,00 Bs/año

Proyecto Individual (2 etapas) N.Zambrano, E. Acosta, E. Scalise

PRODUCTOS DE SOFTWARE REALIZADOS

•

•

•

•

•

Activid 1.1: una herramienta para construir Diagramas de Actividad y convertirlos a Redes de Petri. Equipo de desarrollo: Lilian Martínez (Universidad de Carabobo). Supervisión: Xavier Vargas (Universidad de Carabobo), Amelia Soriano,2002

SABA: una herramienta para la creación y manipulación de Diagramas de Clases y Objetos en UML Equipo de desarrollo: Carla Iglesias, José Goncálvez. Supervisión: Eleonora Acosta, Eugenio Scalise, 2002

Oasis Plus: Una herramienta para la construcción de Modelos de Casos de Usos, versión Java y Visual C++ (adecuación a la notación UML 1.4), 2002

LABORES DE EXTENSION REALIZADAS

Amelia SORIANO

− Certificación en Object Oriented Analysis and Design (Part I). Rational University. Noviembre 2002

− Dictado de cursos de Rational University en Venezuela. 2002: Análisis y Diseño Orientado a Objetos con UML ; Rational Unified Process (RUP). 2002

− Asesoría de Arquitectura de Software y Análisis y Diseño Orientado a Objetos con UML dentro del marco de RUP, a la Industria Petrolera. 2002.

− Participación en los siguientes cursos de Rational University en Venezuela: RUP ; Administración de Requerimientos ; Prueba automatizada de Sistemas. 2002

OTRAS ACTIVIDADES ACADEMICO-ADMINISTRATIVAS

Eugenio SCALISE

− Profesor Dedicación Convencional (4 h/semanales). Universidad Católica Andrés Bello, desde Marzo 2002.

9

− Comisión de Charlas Escuela de Computación, desde Marzo 2002.

•

•

•

•

•

•

•

•

•

Eleonora ACOSTA

− Representante Principal por la Escuela de Computación en la Comisión Clasificadora Sectorial de la Facultad de Ciencias, UCV

− Integrante de la Comisión de Pasantías de la Escuela de Computación, UCV

Nancy Zambrano

− Representante de los profesores ante el Consejo de la Facultad de Ciencias. UCV, 2001-2003

− Coordinadora del Centro ISYS – Centro de Ingeniería de Software y Sistemas. Desde marzo 2002

− Coordinadora Comisión Curricular de la Escuela Computación, 2002

− Miembro de la Comisión Curricular de la Facultad de Ciencias, desde 2002.

Jorge SALAS

− Representante por la Universidad Central de Venezuela ALA Conferencia Latinoamericana de Estudios en Informática, CLEI

− Coordinador de los Laboratorios Docentes de la Escuela de Computación.

− Coordinador del Laboratorio Mefis del Centro Isys.

− Arbitraje de proyectos CDCH.

PREMIOS Y DISTINCIONES

Eugenio SCALISE:

− Mención Honorífica al Trabajo de Ascenso a la Categoría Asistente denominado “Un Modelo Desarrollo de Software para la construcción Automática de Clases en C++ y Java”, Abril 2002.

− Nivel "Candidato" en el Programa de Promoción del Investigador (PPI), en la convocatoria 2000-2002.

Eleonora ACOSTA :

− Beca otorgada por el Consejo de Desarrollo Científico y Humanístico para realizar estudios de Doctorado en la Universidad Central de Venezuela, Enero-Diciembre2002

Nora Montaño

Nora MONTAÑO :

− Beca otorgada por el Consejo de Desarrollo Científico y Humanístico para realizar estudios de Doctorado en la Universidad Central de Venezuela, Sep. 2001 –Agosto 2002, Sep. 2002 –Agosto 2003

Nancy ZAMBRANO:

− PPI –Nivel I – Sistema de Promoción del investigador.2002

Jorge SALAS.

− Orden José María Vargas, Segunda Clase. 2002

10

CENTRO ISYS

ESCUELA DE COMPUTACIÓN

FACULTAD DE CIENCIAS

UNIVERSIDAD CENTRAL DE VENEZUELA

INFORME AÑO 2002

Integrantes

Nelly BENCOMO

Christian METZNER Alfredo MATTEO (coord.)

Caracas, Diciembre 2002

11

PROFESORES INVESTIGADORES MATTEO, Alfredo (Coordinador) Doctor en Informática, Universite Paul Sabatier de Toulouse, Francia 1984 Profesor Titular, Dedicación Exclusiva E-mail: amatteo@kuaimare.ciens.ucv.ve, almatteo@cantv.net

METZNER, Christiane Magister en Ciencias de la Computación, USB, 1988, Lic. en Computación, UCV, 1975. Prof. Asociado, Dedicación Exclusiva, Jubilación Junio 2001, UCV. E-mail: cmetzner@strix.ciens.ucv.ve BENCOMO, Nelly Magister en Ciencias de la Computación, UCV, 1998. Lic. en Computación, UCV, 1993. Estudiante de Doctorado en la Universidad Central de Venezuela Prof. Asistente, Dedicación Exclusiva, UCV. E-mail: nelly@acm.org

CO-INVESTIGADORES EN PROYECTOS DE INVESTIGACION Y/O EXTENSION

− ARRECHEDERA, Hector (Instituto de Medicina Tropical, Centro Caibco, UCV)

− CORREA, Eliécer (Laboratorio IOMMA, Escuela de Computación, UCV)

− DIAZ, Isabel (FACES, UCV)

− RIVAS, Mirían (Facultad de Medicina, UCV)

− RODRIGUEZ, Omaira (Laboratorio de Computación Gráfica, Escuela de Computación, UCV)

− SUROZ, Rina (Centro de Computación Paralela y Distribuida, Escuela de Computación, UCV)

ESTUDIANTES DE POSTGRADO

− Nelly Bencomo (Doctorado en Ciencias de la Computación ).

− Isabel Díaz (Doctorado en Ciencias de la Computación ).

− Oscar Odon (Doctorado en Ciencias de la Computación)

− Rita Fabiola González (Doctorado en Ciencias de la Computación)

− Rodolfo Canelón (Doctorado en Ciencias de la Computación)

− Rafael Caldera (Doctorado en Ciencias de la Computación)

− Argelia Romero (Maestría en Ciencias de la Computación).

− Roberto Rahmut (Maestría en Ciencias de la Computación ).

− Nancy Urbina (Maestría en Ciencias de la Computación ).

− Jorge L. Vega (Maestría en Ciencias de la Computación)

− Leonardo Chacón (Maestría en Ciencias de la Computación)

− Ricardo Cattafi (Maestría en Ciencias de la Computación)

LÍNEAS DE INVESTIGACIÓN

− Tecnologías de objetos distribuidos

12

− Desarrollo basado en arquitecturas de software

− Métodos y técnicas de desarrollo de software orientados a objetos:

− Métricas para la Ingeniería del Software

− Definición y desarrollo de frameworks y patrones

− Técnicas para el desarrollo de aplicaciones orientadas a la WEB

PUBLICACIONES EN REVISTAS Y PROCEEDINGS DE CONGRESOS

REVISTAS •

•

•

•

•

Díaz I., Matteo A. “Directrices para la especificación de casos de uso en el idioma español” Acta Científica Venezolana, Vol. 53, No.2, 2002

CONGRESOS INTERNACIONALES Correa, E.; Metzner, Ch.; Niño N.; “TollSim: Simulation and Evaluation of Toll Stations”, IFORS 2002. Edinburgo, Inglaterra

Correa, E.; Metzner, Ch.; Niño N.; “Cultural factors influencing the implementation of a Simuation Tool in Technologically-excluded Regions”, Business Information Technology Management Conference 2002, Guayaquil, Ecuador

Cartaya, R.; Metzner, Ch.; “A Case Study in Traceability of Analysis Objects and Design Patterns to a Web Application” , Business Information Technology Management Conference 2002, Guayaquil, Ecuador

CONGRESOS NACIONALES Bencomo, N. Matteo, A. “CORBAdapted-UP: Una Adaptación del Proceso Unificado para el desarrollo de Aplicaciones CORBA.” 52va. Convención de ASOVAC. Barquisimeto, Noviembre 2002,

•

•

•

•

Chirinos L., Losavio F., Matteo A., Vega J. “Especificación de Requisitos No Funcionales a través de Casos de Uso” 52va. Convención de ASOVAC. Barquisimeto, Noviembre 2002,

Matteo A., Rivas M., Suros R. “Framework para el Tratamiento Digital de Imágenes”. 52va. Convención de ASOVAC. Barquisimeto, Noviembre 2002,

MONOGRAFÍAS

Bencomo Nelly. Trabajo de ascenso a la categoría de Asistente: CORBAdapted-UP: Una Adaptación del Proceso Unificado par el Desarrollo de Aplicaciones CORBA, Mayo, 2002

TRABAJOS ESPECIALES DE GRADO DE LICENCIATURA

Freitez, Danilo; Márquez, Rosellys; “XP en la Práctica: Un Metaportal con Trabajo Colaborativo”. Trabajo Especial de Grado. Licenciatura en Computación. UCV. Tutor: Christiane Metzner. Co-tutor: Héctor Arrechedera, 2002

13

PROYECTOS EN EJECUCIÓN AÑO 2002

Proyectos Desarrollo de Software con Patrones de Diseño y Frameworks

Responsable: Prof. Ch. Metzner

Coinvestigadores: Dr. H. Arrechedera, Dr. A.Matteo

Fecha de inicio: enero 1999

Estado: en ejecución 2ª etapa

Proyecto de Información:Un Portal de Conocimiento Biomédico de la Región

Responsable: Dr. Hector Arrechedera

Fecha de inicio: enero 2002

Estado: en ejecución MODEE: Multimetodos para el desarrollo de Software Orientados a Objetos. Responsable: Alfredo Matteo Estado: Ejecución 3era. Etapa ( Financiamiento: CONICIT)

PRODUCTOS DE SOFTWARE REALIZADOS

•

•

•

•

•

EIR: Un Metaportal en Ciencias de la Salud, Freitez, Danilo; Márquez, Rosellys, Christiane Metzner, Hector Arrechedera

Servicio de Publicaciones Digitales, Rosa Cartaya; Alfredo Matteo; Christiane Metzner

OTRAS ACTIVIDADES ACADEMICO-ADMINISTRATIVAS

Matteo A.

− Miembro del Comité de Programa 5o Workshop Iberoamericano de Ingeniería de Requisitos y Ambientes Software IDEAS`2002. La Habana – Cuba. Abril 2002

− Coordinador del Laboratorio TOOLS

− Miembro del Comité de Postgrado en Ciencias de la Computación

− Responsable de la Opción de Ingeniería de Software, Postgrado en Ciencias de la Computación.

− Miembro principal Consejo de Escuela

Metzner Ch.

− Comisión de reválidas y Equivalencias, Facultad de Ciencias

− Arbitraje de artículos en Informing Science + IT Education Conference; Pori, Finland June 24-27, 2003..

Nelly Bencomo

− Integrante de la Comisión de Charlas, Escuela de Computación, UCV

− Integrante de la Comisión Samuel Robinson, Escuela de Computación, UCV

− Pasantía Investigación, en el Grupo de Investigación de Multimedia Distribuida de la Universidad de Lancaster en el Reino Unido, desde el 02 de septiembre del 2002 hasta el 10 de enero del 2003.

Alfredo Matteo

Coordinador Laboratorio TOOLS

14

CENTRO ISYS

ESCUELA DE COMPUTACIÓN

FACULTAD DE CIENCIAS

UNIVERSIDAD CENTRAL DE VENEZUELA

LABORATORIO

LaTecS Coordinadora: Francis Losavio

Integrantes

Francis LOSAVIO

Oscar ORDAZ

INFORME AÑO 2002

Caracas, Diciembre 2002

15

PROFESORES INVESTIGADORES DEL LABORATORIO LaTecS LOSAVIO, Francis Doctor en Informática (Nouvelle These), Paris XI, 1991, Orsay, Francia. Doctor

3er. Ciclo en Informática, 1985, Paris XI, Orsay, Francia. Magister en Ciencias de la Computación, 1982, U.S.B. Lic. en Computación, UCV. 1974. Caracas. Prof. Titular UCV. E-mail: flosavio@isys.ciens.ucv.ve

ORDAZ, Oscar Doctor 3er. Ciclo en Matemáticas, 1973, Paris XI, Orsay, Francia. Magister en Ciencias de la Computación, 1982, U.S.B., Lic. En Matemáticas, UCV, 1969. Prof. Titular, UCV. E-mail: oordaz@isys.ciens.ucv.ve

PROFESORES COLABORADORES

− Dr. Quiroz (USB)

− Dra. M. A. Pérez de Ovalles (USB)

− Dr. Carlos Guía, Escuela de Matemática, UCV

− Dra. Nicole Lévy, Laboratorio PRISM, Université de Versailles, Francia

− Dr. Yaha Hamidoune, Université Paris VI, Francia

− Dr. Charles Delorme, LRI, Universdité Paris XI, Orsay, Francia

− Dra. Denise Amar, LaBRI, Laboratoire Bordelais de Recherche en Informatique, Bordeaux, Francia

− Dr. Jorgen Boeg, Empresa DELTA, Dinamarca

ESTUDIANTES DE POSTGRADO

− Carolina Brandt (Maestría en Ciencias de la Computación). Tema: Arquitecturas para Aplicaciones Web.Tutor: F. Losavio

− María José Rodríguez M. (Maestría en Ciencias de la Computación). Prof. Guía F. Losavio

− Ledis Chirinos (Doctorado en Ciencias de la Computaciòn ). Tema: Métricas y métodos para el diseño arquitectónico. Tutor: F. Losavio

− Dinarle Ortega (Doctorado en Ciencias de la Computación). Tema: Integración de Software. Tutores: F. Losavio, M.A. Pérez de Ovalles

− Christian Guillén (Doctorado en Ciencias de la Computaciòn ). Tema: Evaluación de Arquitecturaas. Tutor: F. Losavio

− Leyda González (Maestría en Matemática). Tema: Virus Hamiltoniano Tutor: O. Ordaz

− Isabel Márquez (Doct. en Matemática). Secuencias Baricéntricas en Grupos Abelianos. Tutor: O. Ordaz

− María Teresa Valera (Doctorado en Matemática). Sumas de Secuencias Baricéntricas. Tutor: O. Ordaz

LÍNEAS DE INVESTIGACIÓN

•

•

Arquitecturas y diseño de software:

− Calidad de software

− Patrones reutilizables de diseño

− Métodos para el diseño arquitectónico

Teoría de Grafos y Combinatoria:

16

PUBLICACIONES 2002

REVISTAS

•

•

•

•

•

•

•

•

•

•

•

LOSAVIO F., CHIRINOS L., PEREZ M. Attribute-Based Techniques to Evaluate Architectural Styles. Case Study for Interactive Systems. Acta Científica Venezolana, Vol 53, No. 2, 2002

RAMDANE-CHERIF A., LEVY N., LOSAVIO F. Dynamic Reconfigurable Software Architecture IFIP* Transactions Vol. 2 No. 1 (79-94), 2002 Editoral: Kluwer Academic Publishers, Boston, Edited by J. Bosch, M. Gentleman, C. Hofmeister, J. Kuusela.*

International Federation for Information Processing

LOSAVIO F. Standard quality model to design software architecture. Journal of Object Technology, Vol. 1, No. 2, July-August 2002

CONGRESOS INTERNACIONALES ARBITRADOS

PEREZ M., GRIMAN A., LOSAVIO F. Simulation-Based Architectural Evaluation for collaboative Systems. XII Encuentro Chileno de Computación, Inrternational Conference, Copiapó, Chile, Proceedings IEEE, (204-213), November 2002

LOSAVIO F., DINARLE O, Perez, m. Modeling EAI. XII Encuentro Chileno de Computación, Inrternational Conference, Copiapó, Chile, Proceedings IEEE, (195-203), November 2002

CHIRINOS I., LOSAVIO F., Comparison of approaches for software measurement. XII Encuentro Chileno de Computación, II Workshop on Software Engineering Copiapó, Chile, Proceedings CD-rom, November 2002

LOSAVIO F., PEREZ M. Construction of Integrated Case Environments: Case Study. SCI 2002 (6th. World Multiconference on Systemics, Cybernetics and Informatics, Julio 2002, Orlando, Florida, U.S.A.

LOSAVIO F., ORDAZ O., GONZALEZ L., QUIROZ D. Hamiltonian Viruses in Bipartite Digraphs. SCI 2002 (6th. World Multiconference on Systemics, Cybernetics and Informatics, Julio 2002, Orlando, Florida, U.S.A.

RAMDANE-CHERIF A., LEVY N., LOSAVIO F. Adaptation of the software architecture guided by the improvement of some desired software quality attributes. International Conference on Software Engineering Research and Practice, SSERP’02, Proceedings (77-83), Las Vegas, Nevada, June 24-27, 2002

CONGRESOS NACIONALES ARBITRADOS

CHIRINOS L., LOSAVIO F, MATTEO A., VEGA J. Especificación de requisitos no funcionales a través de casos de uso.. 52va. Convención de ASOVAC, Noviembre 2002, ( 368) , Barquisimeto

LOSAVIO F., ORTEGA D., PERZ M. Modelo Conceptual para EAI . 52va. Convención de ASOVAC, Noviembre 2002, (368) , Barquisimeto

17

•

•

•

•

•

•

HAMIDOUNE Y., ORDAZ O., QUIROZ D. Una generalización del Teorema de Olson. 52va. Convención de ASOVAC, Noviembre 2002, (382) , Barquisimeto

GONZALEZ S., ORDAZ O., VARELA M. Una aplicación del concepto de órbita en la determinación de secuencias baricéntricas. 52va. Convención de ASOVAC, Noviembre 2002, (382) , Barquisimeto

GONZALEZ S., ORDAZ O., VARELA M. La constante de Davenport K-barcéntrica. 52va. Convención de ASOVAC, Noviembre 2002, (382) , Barquisimeto

MARQUEZ I., ORDAZ O., ORTUÑO A. Representación de conjuntos sin líneas en Z3

d . 52va. Convención de ASOVAC, Noviembre 2002, (383) , Barquisimeto

MARQUEZ I., ORDAZ O., ORTUÑO A. Secuencias S-baricéntricas. 52va. Convención de ASOVAC, Noviembre 2002, (384) , Barquisimeto

TRABAJOS ESPECIALES DE GRADO (POSTGRADO)

Christian GUILLÉN Especificación de patrones arquitectónicos para sistemas distribuidos. Maestría en Ciencias de la Computación, mención honorífica. Tutor: F. Losavio. Abril 2002.

PROYECTOS EN EJECUCIÓN AÑO 2002

Proyecto Tipo/Responsable Monto (Bs.)

SQUAD: Software Quality Across Different Regions. (INCO Nº 962019, aprobado Mayo 97, 3 etapas. Monto 10.834 ECU por etapa. Finalizada 3ra. Etapa en febrero 2002) ARCAS: ARQUITECTURA Y CALIDAD DE SOFTWARE No. 03.13.4584.00, 1ra. Etapa, en desarrollo). Aprobado en Abril 2000. GRAPHVIRUS, No. 03.13.3726.98, 2da. Etapa en desarrollo). Se efectuó aporte institucional por Bs. 187.500

CEE / Francis Losavio (R), L. Chirinos

Individual CDCH /

F. Losavio (R)

Individual CDCH /

O. Ordaz (R).

6.000.000 aprox..

5.000.000

2.500.000

LABORES DE EXTENSION REALIZADAS

• Francis LOSAVIO - Miembro de la Comisión de Ingeniería, Tecnología y Ciencias de la Tierra del SPI, desde Marzo 2002

Francis Losavio

Coordinadora Laboratorio LaTecS

Caracas, Diciembre 2002