Producción científica
Buscar por:
Lista de tesis
| Tesis |
|
K. Benghazi Akhlaki,
"MEDISTAM-RT: Una Metodología de Diseño y Análisis de Sistemas de Tiempo Real", 2009
|
|
M. Noguera García,
"ANÁLISIS Y MODELADO DE SISTEMAS CSCW SIGUIENDO UN ENFOQUE DE INGENIERÍA DIRIGIDA POR ONTOLOGÍAS", 2009
|
|
M.L. Rodriguez Almendros,
"APROXIMACIÓN METODOLÓGICA FORMAL PARA EL DISEÑO Y DESARROLLO DE SISTEMAS INTERACTIVOS BASADOS EN EL ESTILO DE MANIPULACIÓN DIRECTA", 2002
|
|
M.V. Hurtado Torres,
"UN MODELO DE INTEGRACIÓN EVOLUTIVO ENTRE SISTEMAS DE INFORMACIÓN Y SISTEMAS DE AYUDA A LA DECISIÓN", 2002
|
|
M.J. Hornos Barranco,
"DESDE ESPECIFICACIONES LÓGICAS DE INTERVALOS A AUTÓMATAS DE PROPIEDAD: UNA CONSTRUCCIÓN TABLEAU PARA SU APLICACIÓN A LA COMPROBACIÓN DE MODELOS ON-THE-FLY", 2002
|
|
J.L. Garrido Bullejos,
"AMENITIES: UNA METODOLOGÍA PARA EL DESARROLLO DE SISTEMAS COOPERATIVOS BASADA EN MODELOS DE COMPORTAMIENTO Y TAREAS", 2002
|
|
M.J. Rodriguez Fortiz,
"EVOLUCION DEL SOFTWARE: UNA FORMALIZACION BASADA EN LOGICA TEMPORAL DE PREDICADOS Y REDES DE PETRI COLOREADAS", 2000
|
|
J. Samos Jimenez,
"DEFINITION OF EXTERMAL SCHEMAS AND DERIVED CLASSES IN OBJECT ORIENTED DATABASES", 1997
|
|
|
Última actualización del SICA: 10/01/2024
diciembre 2024
ANTERIOR