Spécification logique et validation des programmes séquentiels

Code UE : NFP120

  • Cours
  • 6 crédits

Responsable national

Pierre COURTIEU

Responsable opérationnel

Pierre COURTIEU

Public et conditions d'accès

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.

Objectifs pédagogiques

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é.

Compétences visées

Maitrise de techniques formelles de spécification et de validation de programmes.

Contenu

Programmation et logique
 
  • sémantique des formules logique
  • méthode de déduction logique: tableaux sémantiques
  • sémantique des programmes
  • méthode de déduction sur les programme: preuves de Hoare, invariants de boucles
  • Application aux programmes Java ou C (assertions, outils de validation)

Cette UE apparaît dans les diplômes et certificats suivants

Chargement du résultat...
Patientez
Type
Intitulé
Equipe pédagogique
Modalité(s) / Lieu(x)
Code
Equipe pédagogique Informatique
Equipe pédagogique Informatique
Equipe pédagogique Informatique
Equipe pédagogique Mathématique et statistique
Modalité(s) / Lieu(x)
  • - Enseignée en formation présentielle et/ou partiellement à distance : Paris
  • Equipe pédagogique Informatique
    Modalité(s) / Lieu(x)
  • - Enseignée en formation présentielle et/ou partiellement à distance : Bretagne, Grand Est, Hauts de France, Ile-de-France (sans Paris), Liban, Midi-Pyrénées, Normandie, Nouvelle Aquitaine, Paris
  • Equipe pédagogique Informatique
    Modalité(s) / Lieu(x)
  • - Enseignée en formation présentielle et/ou partiellement à distance : Bretagne, Ile-de-France (sans Paris), Paris
  • Equipe pédagogique Informatique
    Type Intitulé Equipe pédagogique Modalité(s) / Lieu(x) Code

    Contact

    EPN05 - Informatique
    2 rue Conté 33.1.13A
    75003 Paris
    Tel :01 40 27 26 81
    Safia Sider
    Voir les sites

    Voir les dates et horaires, les lieux d'enseignement et les modes d'inscription sur les sites internet des centres régionaux qui proposent cette formation

    Enseignement non programmé en 2017/2018