Conferencias

Ponencias invitadas

• Seleccionado

  Conceptual modeling of device-independent web applications

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

  págs. 9-33

  
• Seleccionado

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

  Paloma Díaz

  págs. 35-49

  

Sesiones : sistemas distribuidos

• Seleccionado

  Semicomposición distribuida

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

  págs. 55-67

  
• Seleccionado

  CORBA lightweight components: an early report

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

  págs. 69-83

  
• Seleccionado

  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

  
• Seleccionado

  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

  
• Seleccionado

  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

• Seleccionado

  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

  
• Seleccionado

  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

  
• Seleccionado

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

  Francisco Ruiz, Mario G. Piattini Velthuis

  págs. 157-170

  
• Seleccionado

  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

  
• Seleccionado

  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

• Seleccionado

  Selección conjunta de componentes COTS

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

  págs. 207-222

  
• Seleccionado

  Un entorno para el desarrollo de modelos de flujo de trabajo

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

  págs. 223-236

  
• Seleccionado

  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

  
• Seleccionado

  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

  
• Seleccionado

  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

• Seleccionado

  Principios y patrones en el diseño orientado a objetos

  Javier Garzás Parra , Mario G. Piattini Velthuis

  págs. 285-295

  
• Seleccionado

  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

  
• Seleccionado

  Tratamiento de excepciones a nivel de modelado conceptual OO

  Eva Campos, Vicente Pelechano Ferragud , Manoli Albert

  págs. 311-326

  
• Seleccionado

  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

  
• Seleccionado

  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

• Seleccionado

  Towards rigorous and effective type contracts

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

  págs. 361-373

  
• Seleccionado

  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

  
• Seleccionado

  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

  
• Seleccionado

  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

  
• Seleccionado

  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

• Seleccionado

  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

  
• Seleccionado

  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

  
• Seleccionado

  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

  
• Seleccionado

  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

  
• Seleccionado

  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

• Seleccionado

  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

  
• Seleccionado

  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

  
• Seleccionado

  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

  
• Seleccionado

  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

• Seleccionado

  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

  
• Seleccionado

  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

  
• Seleccionado

  Migration of legacy systems to the web

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

  págs. 601-613

  
• Seleccionado

  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