Cours et exercices corrigés d'algorithmique

Dans le monde de l’industrie et des services, la validation et la vérification des logiciels sont aujourd’hui des enjeux sécuritaires et économiques majeurs. La sécurité des passagers des véhicules de transport dépend par exemple de la sûreté des logiciels qui en contrôlent les fonctions motrices, tout comme la survie économique des fabricants de produits diffusés à des centaines de milliers d’exemplaires serait remise en cause si le logiciel embarqué se révélait erroné et devait être remplacé.
L’utilisation d’environnements de développement de logiciels intégrant des outils d’aide à la vérification et à la validation (JAVA/JML, C#/SPEC#, C/ACSL, Atelier B, Scade, Esterel, etc.) va se généraliser et, dans cette perspective, les futurs utilisate