Primas: aspect-oriented software architectures
Tesis doctoral de Jenifer Pérez Benedí Hoy en día, la complejidad de los sistemas software y la gran relevancia que […]
Tesis doctoral de Isidro Ramos Salavert
Información academica Isidro Ramos Salavert. Tesis donde Isidro Ramos Salavert ha sido autor, director o parte del tribunal.
A generic architecture for geographic information systems
Tesis doctoral de Miguel Rodríguez Luaces Los sistemas de información geográfica (sig) han sido un área de investigación muy activa
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
Mantis: definición de un entorno para la gestión del mantenimiento de software
Tesis doctoral de Francisco Ruiz Gonzalez En esta tesis se presenta una propuesta que pretende ayudar a mejorar la manera
Una propuesta de formalización de la arquitectura en cuatro capas de uml
Tesis doctoral de José Luis Fernández Alemán Se presenta una propuesta de formalización de la arquitectura en cuatro capas de
Depuración declarativa de programas lógico funcionales
Tesis doctoral de Correa Zabala Francisco José La depuración de programas lógico funcionales es un importante problema práctico que ha
Evaluación y desarrollo incremental de una arquitectura software de referencia para sistemas teleoperación utilizando métodos formales
Tesis doctoral de Juan ángel Pastor Franco Los sistemas de teleoperación cubren una amplísima gama de misiones y mecanismos y
Pnal. un modelo algebraico para procesos probabilisticos y no deterministas
Tesis doctoral de Diego Carlos Cazorla Lopez En esta tesis presentamos un modelo algebraico para procesos probabilisticos y no deterministas
Sem-hp: un modelo sistémico evolutivo y semántico para el desarrollo de sistemas hipermedia
Tesis doctoral de Lina Guadalupe Garcia Cabrera Las principales actividades relacionadas con el uso y el desarrollo de los sistemas
Entorno metodologico orientado a objetos para la especificacion y desarrollo de interfaces de usuario.
Tesis doctoral de María Dolores Lozano Pérez En esta tesis doctoral se ha desarrollado un entorno basado en modelos para