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-9999
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 4 cursus.
Licence Sciences technologies santé mention informatique parcours Informatique générale
Diplôme d'établissement Concepteur en architecture informatique parcours Réseaux et systèmes
Diplôme d'établissement Concepteur en architecture informatique parcours Systèmes d'information
Diplôme d'établissement Concepteur en architecture informatique parcours Cybersécurité
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.