Modelo para sistemas interactivos de informacion hipermedia distribuidos.
Tesis doctoral de Martinez Sanchez José M. Esta tesis constribuye a la sistematización del proceso de desarrollo de aplicaciones interactivas […]
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.
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
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
Diseño de sistemas de tiempo real mediante objetos ejecutables.
Tesis doctoral de Miguel Cabello Miguel Angel De En esta tesis doctoral se propone un conjunto de notaciones para 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
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