Prueba incremental de modelos de sistemas de tiempo real.
Tesis doctoral de Alvaro Rendon Gallon Se define una metodología de pruebas para sistemas de tiempo real integrada al proceso […]
Tesis doctoral de Gonzalo León Serrano
Información academica Gonzalo León Serrano. Tesis donde Gonzalo León Serrano ha sido autor, director o parte del tribunal.
Contribucion a la especificacion de aspectos no funcionales de sistemas hardware-software.
Tesis doctoral de Luis Sanchez Fernandez El codiseño hardware-software es una disciplina para el diseño de sistemas embebidos aparecida recientemente,
Contribucion al modelado de funciones de comunicacion para aplicaciones de procesamiento distribuido.
Tesis doctoral de Hwa Yi Jong El desarrollo de aplicaciones distribuidas requiere claramente arquitecturas o sistemas de soporte que proporcionen
Arquitectura software generica para sistemas de tiempo real.
Tesis doctoral de Fernandez Sanchez José Luis El desarrollo software de sistemas grandes y complejos implica altos costes de desarrollo
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
Contribucion al analisis del espacio de estados de especificaciones lotos.
Tesis doctoral de David Larrabeiti López La primera fase en la mayoria de los algoritmos de validacion y verificacion de
Un marco de referencia temporal para tecnicas de sincronizacion multimedia.
Tesis doctoral de Perez Luque Maricalva M. Jose En este trabajo se propone un marco de referencia temporal (mrt) que
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
Drl: un lenguaje logico para sistemas distribuidos de tiempo real
Tesis doctoral de Manuel Diaz Rodriguez La tesis se enmarca en el ambito de los lenguajes logicos concurrentes y su
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