This accident also gave Bertrand Meyer (Eiffel) a lot of wind for his sails about design by contracthttps://archive.eiffel.com/doc/manuals/technology/contract/ariane/in that context it might be even interesting for the D language, as it is one of the few languages that have (inbuilt) contracts.
The mistake was that hardware was upgraded, but software and tests weren't, contracts wouldn't help unless it was spark.
