Especificacion, verificacion y mantenimiento de requisitos funcionales con tecnicas de descripcion formal.
Tesis doctoral de Jorge Garcia Duque La tesis se enmarca dentro de la ingenieria del software, disciplina que tiene como […]
Tesis doctoral de Pere Botella López
Información academica Pere Botella López. Tesis donde Pere Botella López ha sido autor, director o parte del tribunal.
Un sistema de ejecucion distribuido para lenguajes orientados a objetos concurrentes.
Tesis doctoral de Antonio Jesús Nebro Urbaneja Esta tesis se enmarca en el ámbito de los lenguajes orientados a objetos
Una arquitectura software para el desarrollo de servicios avanzados de telecomunicacion.
Tesis doctoral de Lidia Fuentes Fernández Dentro de este trabajo se abordan aspectos relacionados con el diseño de arquitecturas software
Especificacion formal de sistemas graficos.
Tesis doctoral de Miguel Gea Megias En la tesis se presenta un nuevo metodo de especificacion formal, orientado a la
Seleccion automatica de implementaciones para componentes de software usando un lenguaje multiparadigma para establecer sus aspectos no funcionales.
Tesis doctoral de Javier Franch Gutiérrez La tesis presenta una metodología que permite la formulacion de requisitos y propiedades no
Comprobacion de tipos en programas incompletos.
Tesis doctoral de JavierOctavio Perez Campo El trabajo presenta el desarrollo de un sistema de comprobacion de tipos en programas
Modelado y soporte al proceso de desarrollo software con tecnicas de descripcion formal (fdt).
Tesis doctoral de Yelmo Garcia Juan Carlos Esta tesis aborda algunos de los retos impuestos por el despliegue de nuevos
Implementacion eficiente de la recursividad final en lenguajes imperativos basada en nuevas tecnicas de compilacion.
Tesis doctoral de Diaz Labrador Jesús Luis El trabajo propone una implementacion eficiente de los programas recursivos finales en lenguajes
Reflexiones sobre el proceso de concepcion de sistemas complejos. medes: un metodo de especificacion, desarrollo y evolucion de sistemas software.
Tesis doctoral de José Parets Llorca Desarrollo de un metodo de desarrollo y evolucion de sistemas software basado en la
Especificacion y verificacion de sistemas reactivos utilizando metodos estructurados y logica temporal
Tesis doctoral de Tuya Gonzalez Pablo Javier En esta tesis se integran los metodos estructurados (sa/rt) junto con metodos formales