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 6 cursus.
Licence Sciences technologies santé mention informatique
Diplôme d'ingénieur Spécialité informatique parcours Architecture et ingénierie des systèmes et des logiciels (AISL)
Diplôme d'ingénieur Spécialité informatique parcours Informatique modélisation optimisation
Diplôme d'ingénieur Spécialité informatique parcours Informatique, réseaux, systèmes et multimédia
Diplôme d'ingénieur Spécialité informatique parcours Informatique systèmes d'information
Titre RNCP Niveau 6 Concepteur en architecture informatique
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.