Animación de especificaciones oasis mediante redes de petri orientadas a objeto.
Tesis doctoral de Pedro Sánchez Palma La validación mediante animación permite el desarrollo sistemático de especificaciones software claras, concisas, precisas […]
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.
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
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
Transformacion y verificacion con lotos
Tesis doctoral de José Juan Pazos Arias El trabajo de la tesis es una contribucion al diseño y desarrollo de