, Esperanza Marcos Martínez (coord.)
, José M. Marques (coord.)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
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. Torres
pá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 Rodriguez
págs. 53-58
Paloma Cáceres García de Marina
, Esperanza Marcos Martínez 
págs. 59-66
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é Hilario Canós Cerdá
, Juan Sánchez, Mª Carmen Penadés 
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
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
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érrez 
págs. 203-216
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
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
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
© 2008-2026 Fundación Dialnet · Todos los derechos reservados