ListarLenguajes y Sistemas Informáticos por materia "Programas y sistemas de programación"
Mostrando ítems 1-7 de 7
- Tesis Doctoral
- Tesis Doctoral
-
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 ...
-
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 ...
- 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 ...
-
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 ...