Grado en Ingeniería Informática
Dep. de Ingeniería y Ciencia de los Computadores
Jorge Vicente Cantero / Hector Nebot Artero / Vlad Filip
Prof. Lledó Museros Cabedo
Ingeniería requisitos - identificar debilidades
Modelado
Requisitos técnicos (bajo nivel)
Requisitos software (alto nivel)
Lenguajes estandarizados para el modelado
Gestión de requisitos
Trazabilidad y versionado de los requisitos
Diseño
Diseño arquitectura
Diseño detallado
Automatizar código y generación de tests
Entornos de compilador (ADA)
Ravenscar - Un subconjunto de Ada Tasking Features
Análisis de determinismo y no determinismo
El proyecto tiene éxito si se trata a tiempo, dentro del presupuesto y con todas las características previstas inicialmente
La satisfacción del cliente como la
Gracias por escucharnos!