Ada
Lenguaje de alta integridad para sistemas críticos
Tipado: static Creado: 1980
Paradigmas
proceduralobject-oriented
Ventajas y Desventajas
Ventajas
- + Máxima seguridad de tipos
- + Estándar en aviación y defensa
- + SPARK subset para verificación formal
- + Concurrencia built-in (tasks)
Desventajas
- - Sintaxis muy verbose
- - Comunidad muy pequeña
- - Menos recursos de aprendizaje
- - Desarrollo más lento
Casos de Uso
- Sistemas de aviación
- Software militar y defensa
- Sistemas ferroviarios
- Misiones espaciales