Abstract is missing.
- XQuery between data and documents: bridging the gapPeter Fankhauser. 3-4
- Panta Rei (Everything Flows): A Calculus of ChannelsFarhad Arbab. 5
- Conceptual Modeling of Device-Independent Web ApplicationsJaime Gómez, Cristina Cachero. 9-34
- LABYRINTH: Un modela formal para la especificación de sistemas hipermediaPaloma Díaz. 35-50
- Semicomposición DistribuidaJosé Francisco Aldana Montes, Antonio C. Gomez Lora, María del Mar Roldán García. 55-68
- CORBA Lightweight Compontents: An Early ReportDiego Sevilla, José M. García, Antonio F. Gómez-Skarmeta. 69-84
- JReplica: Modelo de replicación transparente e independiente del ORBJosé Luis Herrero, Fernando Sánchez, Miguel Toro. 85-98
- Un Estilo Arquitectónico para la Federación de Sistemas Basados en ProcesosAngel Martínez, José Hilario Canós Cerdá, Jesús D. García-Consuegra. 99-112
- Orientando a Aspectos la captura de datos de Internet para activar Reglas de Decisión en Agentes WebRafael Corchuelo, Jesús S. Aguilar-Ruiz, José Luis Arjona, Miguel Toro, José Cristóbal Riquelme Santos. 113-128
- SEGESOFT: Entorno de Entrenamiento para la Gestión de Proyectos SoftwareJosé Cristóbal Riquelme Santos, Isabel Ramos, Jesús S. Aguilar-Ruiz, Francisco J. Ferrer-Troyano, Miguel Toro, José Javier Dolado, A. Ruiz de Infante, Javier Tuya, P. Fernández, M. A. Prieto, Mercedes Ruiz Carreira, D. Rodriguez-García, Manoranjan Satpathy, Rachel Harrison, R. Matilla, M. A. Álvarez. 131-144
- Cómo Modelar El Efecto En La Planificación De Proyectos Par La Deteción Tardía De Defectos; La Red De Calidad IncrementalSergio Coronado, José Alberto Jaén. 145-156
- Entorno Global para la Gestión del Proceso de Mantenimiento del SoftwareFrancisco Ruiz, Mario Piattini. 157-170
- Esquema de Caracterización para la Selección de Téchnicas d PruebasÓscar Dieste Tubío, Sira Vegas. 171-188
- Entorno basado en el uso de técnicas formales para el desarrollo y prueba de sistemasMarisol Sánchez, José Luis Herrero. 189-204
- Selección Conjunta de Componentes COTSXavier Burgués Illa, Christian A. Estay-Niculcar, Xavier Franch, Joan Antoni Pastor, Carme Quer. 207-222
- Un Entorno para de Desarrollo de Modelos de Flujo de TrabajoMaría del Carmen Penadés, José Hilario Canós Cerdá. 223-236
- Representación de Restricciones Difusas en un Modelo ConceptualAngélica Urrutia, José Galindo, Mario Piattini. 237-252
- El rendimiento en Sistemas de Programación PersistentesJ. Baltasar García Perez-Schofield, Tim B. Cooper, Emilio García Roselló, Manuel Pérez Cota. 253-264
- Un modelo de Madurez para Investigación-Acción en Sistemas de InformaciónChristian A. Estay-Niculcar, Joan Antoni Pastor. 265-282
- Principios y patrones en el diseño orientado a objetosJavier Garzás, Mario Piattini. 285-296
- Definición de un marco de trabajo para el análisis de refactorizaciones de softwareYania Crespo, José Manuel Marqués Corral. 297-310
- Tratamiento de Excepciones a Nivel de Modelado Conceptual OOManoli Albert, Eva Campos, Vicente Pelechano. 311-326
- Hacia Una Metodología de Desarrollo Para la Construcción de Entornos VirtualesGonzalo Méndez, Maria Isabel Sánchez Segura, Angélica de Antonio Jiménez. 327-342
- Generación automática de prototipos de interface de usuario a partir de modelos de requisitosJuan Sánchez Díaz, Oscar Pastor, Jorge Belenguer. 343-358
- Towards Rigorous and Effective Type ContractsFrancisco José Galán Morillo, José Miguel Cañete Valdeón. 361-374
- Verificación Automatizada Eficiente de Sistemas Concurrentes Especificando Sus Propiedades con Fórmalus de una Lógica de IntervalosMiguel J. Hornos, Manuel I. Capel. 375-390
- Generación de Restricciones del Entorno para Verificación Modular Utilizando Reglas de AsociaciónClaudio de la Riva, Javier Tuya, José Ramón de Diego. 391-404
- Verifying Reuse Contracts with a Component ModelAgustín Cernuda del Río, José Emilio Labra Gayo, Juan Manuel Cueva Lovelle. 405-418
- From Maude Specifications to SOAP Distributed Implementations: A Smooth TransitionAntonio Albarrán, Francisco Durán, Antonio Vallecillo. 419-434
- Una experiencia en la Obtención de un Instrumento Fiable para Medir Satisfacción de Clientes de SoftwareMaría Inés Lund, Belén Forcada, Sergio Zapata, Miriam Herrera. 437-448
- Evaluación de la Comprensión Semántica del Modelado Dinámico en UMLMari Carmen Otero, José Javier Dolado. 449-464
- Sistemo de Gestión de Meta-información para la Integración de Métricas de Calidad de Modelos UMLMaría N. Moreno García, Francisco José García Peñalvo, María José Polo Martín. 465-476
- Un Método para Medir el Tamañno Funcional y Evaluar la Calidad de Sitios WebSilvia Mara Abrahão, Oscar Pastor, Luis Olsina, Joan Fons. 477-490
- Medjora de la consistencia en la medición del tamanño functional de productos softwareRamón Asensio Monge, Francisco Sanchis Marco, Fernando Torre Cervigón. 491-504
- Una propuesta de extensión de los metadatos de ODMG para la definición de esquemas externosManuel Torres, José Samos. 507-522
- Semántica de Cambios para la Evolución Dinámica de Esquemas en Diferentes Modelos Orientados a ObjetosCecilia Delgado, José Samos. 523-536
- Métricas de calidad para almacenes de datosMiguel A. Serrano, Carolina Pascual, Coral Calero, Mario Piattini. 537-548
- Diseño de un lenguaje de consulta espacial para documentos XMLJosé Eduardo Córcoles, Pascual González. 549-564
- Desarrollo de Aplicaciones Web: Integración de Técnicas de IC para la Captura de RequisitosAlmudena Sierra-Alonso, Paloma Cáceres, Esperanza Marcos, Jorge Enrique Pérez-Martínez. 567-580
- Contenido en la Web: un modelo de reutilizaciónArantza Irastorza, Arturo Jaime, Oscar Díaz. 581-600
- Migration of Legacy Systems to the WebCristina Cachero, Jaime Gómez, Antonio Párraga. 601-614
- Especificación de Requisitos de Calidad en Sistemas Multiorganizacionales Basados en Servicios WEBAntonio Ruiz Cortés, Amador Durán, Rafael Corchuelo, Miguel Toro. 615