Tesis:
Técnicas para el análisis de la consistencia de modelos en el desarrollo de software embarcado. Evaluación del riesgo de interbloqueo.
Técnicas para el análisis de la consistencia de modelos en el desarrollo de software embarcado. Evaluación del riesgo de interbloqueo.
Año:2010
Áreas de investigación
-
Ingeniería aeronaútica
Datos
|
Descripción
|
|
|---|---|
| Uno de los grandes problemas que tienen las empresas que desarrollan sistemas intensivos en software es el elevado coste que suponen las tareas de verificación y de mantenimiento correctivo asociado | |
|
Internacional
|
No |
|
ISBN
|
|
|
Tipo de Tesis
|
Doctoral |
|
Calificación
|
Sobresaliente cum laude |
|
Fecha
|
|
Participantes
- Director: Jose Luis Fernandez Sanchez (UPM)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
- Creador: Grupo de Investigación: Sistemas dinámicos
S2i 2023 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)