Una nueva misión lunar financiada por la NASA usará el lenguaje de programación SPARK, un subconjunto anotado de Ada destinado a sistemas críticos en seguridad.

Más información [ENG]: Lunar lander project relies on SPARK programming language

Comments are closed.