Gonzalo León Serrano: Tesis doctoral e Información académica

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 […]

Alejandro Alonso Muñoz, Gonzalo León Serrano, Michael Gonzalez Harbour, Miguel Cabello Miguel Angel De, Pedro De Miguel Anasagasti, Villarroel Salcedo José Luis

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

álvaro Rendón gallón, ángel Viña Castiñeiras, Carlos Delgado Kloos, Gonzalo León Serrano, Juan Antonio De La Puente Alfaro, Miranda Gonzalez Francisco Javier

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,

Andrés Marin lopez, Carlos Delgado Kloos, Gonzalo León Serrano, Lopez Lopez Juan Carlos, Luis Sanchez Fernandez, Roman Hermida Correa

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

Encarnacion Pastor Martin, Garijo Mazario Francisco J., Gonzalo León Serrano, Hwa Yi Jong, Justo Carracedo Gallardo, Leandro Navarro Moldes

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

Alberto Sanz Madrigal, Alejandro Garcia Alonso Montoya, Gonzalo León Serrano, Little Thomas D. C., Perez Luque Maricalva M. Jose, Ralf Steinmetz

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

Fernando Saez Vacas, Gonzalo León Serrano, José María Troya Linero, Martin Llamas Nistal, Pere Botella López, Yelmo garcia Juan Carlos

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

Fernando Orejas Valdés, Gonzalo León Serrano, Javier Franch gutiérrez, Mario Rodríguez Artalejo, Michel Lemoine, Pere Botella López

Tesis doctoral de Gonzalo León Serrano