Garanties de sûreté : le minimum exigible
Dans le numéro de décembre 2011 des Communications of the ACM] Xavier Leroy .
Ce texte bref donne à Xavier Leroy l’occasion de formuler avec concision les qualités qu’en 2011 on devrait être en droit d’attendre d’un environnement de développement de logiciels afin d’assurer aux programmes y-écrits robustesse, sûreté de fonctionnement et sécurité des usages. Atteindre la qualité souhaitée demande que soit vérifiée la sûreté du typage et de la (…)