ACTAS DE LAS V JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS: JISBD 2000
Información General
- Autores: Carlos Delgado Kloos (coord.)
, Esperanza Marcos Martínez (coord.) , José M. Marques (coord.) - Editores: Universidad de Valladolid, Departamento de Informática
- Año de publicación: 2000
- País: España
- Idioma: español
- ISBN: 84-8448-065-8
- Texto completo no disponible (Saber más ...)
Otros catálogos
Listado de artículos
-
-
Conferencias Invitadas
The Emerging Consensus on the Software Engineering Body of Knowledge
Pierre Bourque, Robert Dupuis, Alain Abran
págs. 3-4
Wide Area Computation
Luca Cardelli
págs. 5-6
All Together Now. Towards lntegrating the World's lnformation Systems
Klaus R. Dittrich, Dirk Jonscher
págs. 7-9
págs. 9-10
págs. 11-12
-
Sesiones Técnicas de Ingeniería del Software. ISP POSTER
Propuestas de Reutilización de Requisitos
Amador Durán Toro
, Francisco José Carda Preñalvo, Miguel Á. Laguna págs. 17-18
págs. 19-20
Verificación Formal del Sistema de Control de Acceso a Aplicaciones Corporativas de la F.L.C
Esther Suárez Calvo, Pablo Javier Tuya González
págs. 21-22
Identificando Patrones de Diseño para Reuso de Código Legado Escrito en Lenguaje C++
René Santaolaya Salgado, Máximo López Sánchez, Bárbaro J. Ferro Castro, Olivia Fragoso Díaz
págs. 23-24
-
Sesiones Técnicas de Ingeniería del Software. ARTÍCULOS CORTOS
Primeros Pasos hacia un Compilador de UML/OCL
José Miguel Cañete Valdeón, Francisco José Galán Morillo
, José Miguel Toro Bonilla págs. 27-32
Aproximación metodológica al desarrollo de sistemas para el tratamiento de bibliotecas digitales
María José Escalona Cuaresma
, M. Mejías, J. Torrespágs. 33-38
págs. 39-46
págs. 47-52
Verificación Modular de Sistemas Reactivos con Abstracciones del Entorno
Claudio de la Riva Álvarez
, Pablo Javier Tuya González , Jose Ramón de Diego Rodriguezpágs. 53-58
Paloma Cáceres García de Marina
, Esperanza Marcos Martínez págs. 59-66
-
Sesiones Técnicas de Ingeniería del Software. IS1 INGENIERÍA DE REQUISITOS
OCA: Un enromo de animación concurrente para la validación de modelos conceptuales
Pedro Sánchez Palma
, Patricio Orlando Letelier Torres , Isidro Ramos Salavert págs. 67-78
Una Aproximación Ascendente al Modelado de Flujos de Trabajo
José H. Canós, Juan Sánchez, María Carmen Penades Gramage
págs. 79-88
Generación Automática de Casos de Uso para Desarrollo de Software Basado en Reutilización
Óscar López, Miguel Á. Laguna
, José Manuel Marqués Corral págs. 89-102
Marco de trabajo para la Evaluación de las Consecuencias de los Requisitos
Oscar Dieste Tubío
, Andrés Silva Vazquez págs. 117-130
-
Sesiones Técnicas de Ingeniería del Software. IS2 MANTENIMIENTO, EVOLUCIÓN Y CALIDAD
Validación de medidas para evaluar la mantenibilidad de programas SQL
Antonio Martínez Hernández, Mario G. Piattini Velthuis
págs. 131-140
págs. 141-152
Mejoras en la toma de decisiones en proyectos de software. Aplicaciones de técnicas de lógica borrosa
Javier Aroba Páez
, Isabel Ramos Román , José Cristobal Riquelme Santos págs. 153-162
Mecanos y Análisis de Conceptos Formales como soporte para la construcción de Frameworks
Félix Prieto Arambillet, Yania Crespo
, José Manuel Marqués Corral , Miguel Á. Laguna págs. 163-176
Equilibrio entre eficiencia y adaptabilidad usando separación de aspectos en la fase de diseño
José Luis Herrero Agustín
, María Soledad Sánchez Alonso, F. Sánchez, José Miguel Toro Bonilla págs. 177-190
-
Sesiones Técnicas de Ingeniería del Software. IS3 ARQUITECTURAS SOFTWARE
Una aproximación al desarrollo de software basada en prototipado arquitectónico
Joaquín Peña Siles, Rafael Corchuelo Gil
, Antonio Ruiz Cortés , Francisco Ferrer de la Concepción, José Miguel Toro Bonilla págs. 191-202
Arquitectura de Software DInámica basada en Reflexión
Carlos Enrique Cuesta Quintero
, Pablo Lucio de la Fuente Redondo , Manuel Barrio Solórzano , María Encarnación Beato Gutiérrezpágs. 203-216
-
Sesiones Técnicas de Ingeniería del Software. MÉTODOS DE DESARROLLO SOFTWARE
Towards Automating the Iterative Rapid Prototyping Process with the SLAM System
Angel Herranz Nieva
, Juan José Moreno Navarro págs. 217-228
Una Metodología de Desarrollo Orientada a Objetos para Sistemas Empotrados de Tiempo Real
J.M. Álvarez, M. Díaz, J.L. Llopis Agelán, Ernesto Pimentel Sánchez
, José María Troya Linero págs. 229-240
IDEAS: Entorno de Desarrollo de Interfaces de Usuario en OASIS
María Dolores Lozano, Pascual Gonzalez, Isidro Ramos Salavert
págs. 241-252
Modelando aspectos de navegación y presentación en aplicaciones hipermediales
Cristina Cachero Castro
, J. Gómez, Oscar Pastor López págs. 253-264
Rigorously Transforming UML Class Diagrams
J.L. Fernández Alemán, José Ambrosio Toval Álvarez
, José Ramón Hoyos Barceló págs. 265-282
-
Sesiones Técnicas de Bases de Datos. BD1 BASE DE DATOS 1
Revisión de la Capacidad de Información en Diferentes Modelos de Datos
Cecilia Delgado, José Samos Jiménez
págs. 283-294
Un Procedimiento de Optimización Semántica de Programas Datalog
José Ramón Paramá Gabia
, Nieves R. Brisaboa , Miguel Rodríguez Penabad , Héctor J. Hernández págs. 295-306
págs. 307-320
Databases and Natural Language Interfaces
Porfírio P. Filipe, Nuno Mamede
págs. 321-332
Comportamiento del árbol Q como método de acceso a datos multidimensionales de amplio espectro
Elena Jurado, Manuel Barrena García
págs. 333-346
-
Sesiones Técnicas de Bases de Datos. BD2 BASE DE DATOS 2
-
Sesiones Técnicas de Bases de Datos. BD3 BASE DE DATOS 3
Métricas para la calidad de las bases de datos activas
Coral Calero Muñoz
, Mario G. Piattini Velthuis , Óscar Díaz García págs. 371-382
págs. 383-396
Evaluación de Políticas de Reemplazo de Páginas para Consultas de Pares Cercanos Utilizando R-trees
Antonio Corral, José Samos Jiménez
págs. 397-408
Carlos Granell Canut
, Juan Manuel Pérez, María José Aramburu Cabo , Rafael Berlanga págs. 409-420
Un framework para persistencia en CORBA
Diego Sevilla Ruiz
, Jesús Joaquín García Molina págs. 421-433
-
