Une présentation des fondements des sciences du logiciel qui évoque notamment les principes mathématiques permettant de construire et de vérifier leur fiabilité. Cette discipline, visant à trouver des approches rigoureuses en mesure d'améliorer la sécurité des logiciels, nécessite le développement de langages informatiques simplifiés. Electre 2020