Programmation Avancée

Spécification logique et validation des programmes séquentiels
Donner les principes fondamentaux d'une programmation et d'une documentation rigoureuse.
Montrer comment la documentation formelle permet la validation des logiciels.

Public et conditions d'accès

Le cours présente progressivement toutes les connaissances requises.

Public et conditions d'accès
Donner les principes fondamentaux d'une programmation et d'une documentation rigoureuse.
Montrer comment la documentation formelle permet la validation des logiciels.

Compétences visées
Maitrise de techniques formelles de spécification et de validation de programmes.

Contenu

Programmation et logique

Proplog et le calcul propositionnel
Datalog et bases de données relationnelles et déductives
Prolog et le calcul des prédicats du 1er ordre
validation des programmes
calcul des séquents et tableaux sémantiques
preuves de Hoare, invariants de boucles
Application aux programmes Java (assertions, outils de validation)

Modalités de l'évaluation

Examen final

Cette UE apparaît dans les diplômes et certificats suivants :
Sortie
CYC45p-1Ingénieur diplômé de l'école d'ingénieurs du Cnam spécialité informatique option architecture et ingénierie des systèmes et des logiciels (AISL)
 Centres d'enseignement
Sortie
CYC47p-1Ingénieur diplômé de l'école d'ingénieurs du Cnam spécialité informatique option informatique modélisation optimisation (IMO)
 Centres d'enseignement
Sortie
CYC12p-1Ingénieur diplômé de l'école d'ingénieurs du Cnam spécialité informatique option systèmes d'information (ISI)
Sortie
CYC14p-1Ingénieur diplômé de l'école d'ingénieurs du Cnam spécialité informatique option réseaux, systèmes et multimédia (IRSM)
Sortie
CYC15p-1Ingénieur diplômé de l'école d'ingénieurs du Cnam spécialité informatique option modélisation et ingénierie mathématique
Sortie
LG025p-1Licence sciences, technologies, santé mention informatique générale
Sortie
CPN62p-1Diplôme d'établissement (niveau Bac+3) concepteur-architecte informatique
Sortie
CPN62p-1Diplôme d'établissement (niveau Bac+3) concepteur-architecte informatique

Téléchargez la fiche de la formation: