Buscar
Mostrando ítems 1-7 de 7
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 ...
Tesis Doctoral
Tesis Doctoral
Prototipado de Especificaciones de Sistemas Distribuidos Basadas en Restricciones Aplicación al Lenguaje TESORO
(1999)
Esta tesis plantea la posibilidad de fomentar el uso de los métodos formales en la industria informática, utilizándolos como lenguajes de muy alto nivel a partir de los cuales se puedan obtener rápidamente prototipos ...
Tesis Doctoral
Herencia y clasificación en un lenguaje de especificación orientado a objetos
(1998)
Esta Tesis se estructura en cinco partes. La primera es la Introducción, en la que se presenta, por un lado, la idea que ha motivado el trabajo desarrollado a lo largo de toda la Tesis y, por otro, todas las características ...
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 ...
Tesis Doctoral