Conferencias

Ponencias invitadas

• Conceptual modeling of device-independent web applications

  Jaime Gómez Ortega, Cristina Cachero Castro, Oscar Pastor López

  págs. 9-33

  

• LABYRINTH: un modelo formal para la espicificación de sistemas hipermedia

  Paloma Díaz

  págs. 35-49

  

Sesiones : sistemas distribuidos

• Semicomposición distribuida

  M. M. Roldán García, José Francisco Aldana Montes, A.C. Gómez

  págs. 55-67

  

• CORBA lightweight components: an early report

  Diego Sevilla Merino, Antonio Gómez, José M. García

  págs. 69-83

  

• JReplica: modelo de replicación transparente e independiente del ORB

  José Miguel Toro Bonilla, José Luis Herrero Agustín, Fernando Sánchez

  págs. 85-97

  

• Un estilo arquitectónico para la federación de sistemas basados en procesos

  Angel Martínez, José H. Canós, Jesús García-Consuegra Bleda

  págs. 99-111

  

• Orientando a aspectos la captura de datos de Internet para activar reglas de decisión en agentes web

  José Miguel Toro Bonilla, Jesús Salvador Aguilar-Ruiz, José Cristobal Riquelme Santos, Rafael Corchuelo Gil, José Luis Arjona Fernández

  págs. 113-127

  

Sesiones : pruebas y mantenimiento

• SEGESOFT: entorno de entrenamiento para la gestión de proyectos software

  José Miguel Toro Bonilla, Isidro Ramos Salavert, Jesús Salvador Aguilar-Ruiz, Francisco Javier Ferrer Troyano, José Cristobal Riquelme Santos

  págs. 131-144

  

• Cómo modelar el efecto de la planificación de proyectos por la detención tardía de defectos: la red de calidad incremental

  José Alberto Jaén Gallego, Sergio Coronado

  págs. 145-156

  

• Entorno global para la gestión del proceso de mantenimiento del software

  Francisco Ruiz, Mario G. Piattini Velthuis

  págs. 157-170

  

• Esquema de caracterización para la selección de técnicas de pruebas

  Sira Vegas Hernández, Oscar Dieste Tubío

  págs. 171-187

  

• Entorno basado en el uso de técnicas formales para el desarrollo y prueba de sistemas

  José Luis Herrero Agustín, Marisol Sánchez-Alonso

  págs. 189-203

  

Sesiones : miscelánea

• Selección conjunta de componentes COTS

  X. Burgués, X. Franch, Joan Antoni Pastor i Collado, C. Estay, C. Quer

  págs. 207-222

  

• Un entorno para el desarrollo de modelos de flujo de trabajo

  José H. Canós, Mª Carmen Penadés

  págs. 223-236

  

• Representación de restricciones difusas en un modelo conceptual

  José Galindo Gómez, Mario G. Piattini Velthuis, Angélica Urrutia Sepulveda

  págs. 237-251

  

• El rendimiento en sistemas de programación persistentes

  Tim B. Cooper, Emilio García Roselló, José Baltasar García Pérez-Schofield, Manuel Pérez Cota

  págs. 253-264

  

• Un modelo de madurez para investigación-acción en sistemas de información

  Christian A. Estay Niculcar, Joan A. Pastor-Collado

  págs. 265-281

  

Sesiones : desarrollo OO

• Principios y patrones en el diseño orientado a objetos

  Javier Garzás Parra, Mario G. Piattini Velthuis

  págs. 285-295

  

• Definición de un marco de trabajo para el análisis de refactorizaciones de software

  Yania Crespo, José Manuel Marqués Corral

  págs. 297-310

  

• Tratamiento de excepciones a nivel de modelado conceptual OO

  Eva Campos, Vicente Pelechano Ferragud, Manoli Albert

  págs. 311-326

  

• Hacia una metodología de desarrollo para la construcción de entornos virtuales

  Gonzalo Méndez Pozo, María Isabel Sánchez Segura, Angélica de Antonio Jiménez

  págs. 327-341

  

• Generación automática de prototipos de interface de usuario a partir de modelos de requisitos

  Jorge Belenguer Faguás, Juan Sánchez Díaz, Oscar Pastor López

  págs. 343-358

  

Sesiones : técnicas formales y verificación

• Towards rigorous and effective type contracts

  José Miguel Cañete Valdeón, Francisco José Galán Morillo

  págs. 361-373

  

• Verificación automatizada eficiente de sistemas concurrentes especificando sus propiedades con fórmulas de una lógica de intervalos

  Manuel Capel Tuñón, Miguel J. Hornos Barranco

  págs. 375-389

  

• Generación de restricciones del entorno para verificación modular utilizando reglas de asociación

  Claudio de la Riva Álvarez, Jose Ramón de Diego Rodriguez, Pablo Javier Tuya González

  págs. 391-403

  

• Verifying reuse contracts with a component model

  Agustín Cernuda del Río, Juan Manuel Cueva Lovelle, José Emilio Labra Gayo

  págs. 405-418

  

• From maude specifications to SOAP distributed implementations: a smooth transition

  Antonio Vallecillo Moreno, Antonio Albarrán, Francisco Durán Muñoz

  págs. 419-433

  

Sesiones : calidad software

• Una experiencia en la obtención de un instrumento fiable para medir satisfacción de clientes de software

  María Inés Lund, Belén Forcada, Miriam Herrera, Sergio Zapata

  págs. 437-447

  

• Evaluación de la comprensión semántica del modelado dinámico en UML

  María Carmen Otero Vidal, José Javier Dolado Cosín

  págs. 449-463

  

• Sistema de gestión de meta-información para la integración de métricas de calidad de modelos UML

  María Navelonga Moreno García, Francisco José García Peñalvo, María José Polo Martín

  págs. 465-476

  

• Un método para medir el tamaño funcional y evaluar la calidad de sitios web

  Luis Olsina, Joan J. Fons, Silvia Mara Abrahao Gonzales, Oscar Pastor López

  págs. 477-490

  

• Mejora de la consistencia en la medición del tamaño funcional de productos software

  Francisco Sanchís Marco, Fernando Torre Cervigón, Ramón Asensio Monge

  págs. 491-503

  

Sesiones : bases de datos avanzadas

• Una propuesta de extensión de los metadatos de ODMG para la definición de esquemas externos

  José Samos Jiménez, Manuel Torres

  págs. 507-521

  

• Semántica de cambios para la evolución dinámica de esquemas en diferentes modelos orientados a objetos

  José Samos Jiménez, Cecilia Delgado Negrete

  págs. 523-536

  

• Métricas de calidad para almacenes de datos

  M.A. Serrano, C. Pascual, Coral Calero Muñoz, Mario G. Piattini Velthuis

  págs. 537-548

  

• Diseño de un lenguaje de consulta espacial para documentos XML

  P. González, José Eduardo Córcoles Tendero

  págs. 549-563

  

Sesiones : ingeniería web

• Desarrollo de aplicaciones web: integración de técnicas de IC para la captura de requisitos

  J.E. Pérez, E. Marcos, A. Sierra, Pedro Cáceres

  págs. 567-579

  

• Contenido en la web: un modelo de reutilización

  Arturo Jaime Elizondo, Arantza Irastorza Goñi, Óscar Díaz García

  págs. 581-599

  

• Migration of legacy systems to the web

  Jaime Gómez Ortega, Antonio Párraga, Cristina Cachero Castro

  págs. 601-613

  

• Especificación de requisitos de calidad en sistemas multiorganizacionales basados en servicios web

  Antonio Ruiz Cortés, Amador Durán Toro, José Miguel Toro Bonilla, Rafael Corchuelo Gil

  págs. 615-629