Buscar
Mostrando ítems 1-6 de 6
Tesis Doctoral
Verificación de programas en modelos de computación no convencionales
(2002)
El objetivo fundamental de esta memoria consiste en desarrollar una primer aproximación a la verificación formal de procedimientos mecánicos en modelos no convencionales, en el marco de la Computación Natural. Para ello, ...
Tesis Doctoral
Modelos y técnicas para la especificación y el análisis de la navegación en sistemas software
(2004)
La Ingeniería del Software, definida como el estudio de los principios y metodologías para el desarrollo y mantenimiento de sistemas software, lleva marcando las pautas de cómo se debe trabajar en el desarrollo de sistemas ...
Proyecto Fin de Carrera
Tesis Doctoral
Tesis Doctoral
Tesis Doctoral
On the automated analysis of software product lines using feature models: a framework for developing automated tool support
(2007)
En los últimos años, ha habido un gran empuje por parte de la comunidad investigadora en torno a una nueva línea de investigación. Se trata de las líneas de producto software. Las líneas de producto software se centran en ...