Spécification logique et validation des programmes séquentiels
6 crédits Pierre COURTIEU EPN05 - Informatique Unité d'enseignement de type cours
Publié Du 01-09-2007 au 31-08-2024
Le cours présente progressivement toutes les connaissances requises, néanmoins il est souhaitable d'avoir des notions de logique (propositionnelle, des prédicats). L'UE NFP108 est par exemple une très bonne introduction.
Donner les principes fondamentaux d'une programmation et d'une documentation rigoureuse.
Montrer comment la documentation formelle permet la validation des logiciels.
Remarque: Ce cours comportait précédemment une longue introduction à Prolog, cet aspect du cours a été retiré.
Maitrise de techniques formelles de spécification et de validation de programmes.
L'unité NFP120 apparaît dans 1 cursus.
Programmation et logique
Une évaluation en contrôle continu est conseillée (TP, QCMs...). Un examen final sur table est obligatoire, avec un coefficient minimal de 50% de la note finale.