Un lenguaje para la especificacion y validacion de arquitecturas de software
Tesis doctoral de José Carlos Canal Velasco A medida que aumenta la complejidad de los sistemas de software surgen aspectos […]
Tesis doctoral de Hernández núñez Juan María
Información academica Hernández núñez Juan María. Tesis donde Hernández núñez Juan María ha sido autor, director o parte del tribunal.
Nucleo de seguridad para un sistema operativo orientado a objetos soportado por una maquina abstracta
Tesis doctoral de M. Angeles Diaz Fondon Esta tesis describe un mecanismo de protección basado en capacidades diseñado para un
Modelo de computacion concurrente para un sistema opertivo orientado a objetos basado enuna maquina abstracta
Tesis doctoral de Lourdes Tajes Martinez Esta tesis investiga la construcción de un sistema integral orientado a objetos que ofrezca
Modelo de disfraces: hacia la adaptabilidad de restricciones de sincronización en los lenguajes concurrentes orientados a objetos.
Tesis doctoral de Fernando Sánchez Figueroa De la unión de los paradigmas de programación concurrente orientada a objetos (pcoo). Este
Componentes software para sistemas distribuidos de tiempo real
Tesis doctoral de Daniel Garrido Márquez El trabajo de la tesis se ha centrado en la integración de tres elementos:
Propuesta de una plataforma, lenguaje y diseño para el desarrollo de aplicaciones orientadas a aspectos
Tesis doctoral de Herrero Agustín José Luis La programación orientada a objetos permite desarrollar aplicaciones informáticas usando el principio de
Arquitectura de software dinámica basada en reflexión
Tesis doctoral de Carlos Enrique Cuesta Quintero Esta tesis se centra en el campo de la arquitectura de software, una
Métrica de idoneidad de ontologías
Tesis doctoral de Adolfo Lozano Tello Esta tesis doctoral propone el método ontometric para ayudar a los usuarios a medir
Camp/daop: modelo y plataforma basados en componentes y aspectos
Tesis doctoral de Mónica Pinto Alarcón Los continuos avances tecnológicos, tanto de los sistemas hardware como de las tecnologías de
Cofre: entorno formal para la especificación validación y desarrollo de sistemas coordinados.
Tesis doctoral de Sanchez Alonso M. Soledad En esta tesis se presenta (ofre coordinativa formal requirenets encinooment), un entorno para