Portail nationalFormationRechercher par région

Spécification logique et validation des programmes séquentiels

Code UE : NFP120-GET

  • Cours
  • 6 crédits

Responsable(s)

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.

Mots-clés

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
    Intitulé de la formation
    Type
    Modalité(s)
    Lieu(x)
    Intitulé de la formation Architecte en cybersécurité
    Type RNCP - Titre professionnel
    Lieu(x) Alternance
    Lieu(x) Auvergne - Rhône-Alpes
    Entrée Niveau III (bac+2)
    Intitulé de la formation Architecte en cybersécurité
    Type RNCP - Titre professionnel
    Lieu(x) À la carte
    Lieu(x) Auvergne - Rhône-Alpes, Bretagne, Hauts-de-France, Ile-de-France, Nouvelle-Aquitaine, Occitanie, Pays de la Loire, Provence-Alpes-Côte d'Azur
    Entrée Niveau III (bac+2)
    Intitulé de la formation Architecte infrastructure Réseaux et Systèmes
    Type RNCP - Titre professionnel
    Lieu(x) Alternance
    Lieu(x) Outremer
    Entrée Niveau III (bac+2)
    Intitulé de la formation Architecte infrastructure Réseaux et Systèmes
    Type RNCP - Titre professionnel
    Lieu(x) À la carte
    Lieu(x) Auvergne - Rhône-Alpes, Bretagne, Centre - Val de Loire, Etranger, Grand-Est, Hauts-de-France, Ile-de-France, Nouvelle-Aquitaine, Outremer, Pays de la Loire, Provence-Alpes-Côte d'Azur
    Entrée Niveau III (bac+2)
    Intitulé de la formation Licence informatique
    Type Diplôme national (LMD-DUT-diplôme d'Etat)
    Lieu(x) À la carte
    Lieu(x) Auvergne - Rhône-Alpes, Bretagne, Centre - Val de Loire, Etranger, Grand-Est, Hauts-de-France, Ile-de-France, Ile-de-France, Normandie, Nouvelle-Aquitaine, Occitanie, Occitanie, Outremer, Outremer, Pays de la Loire, Provence-Alpes-Côte d'Azur
    Entrée Niveau IV (bac)
    Intitulé de la formation Licence informatique
    Type Diplôme national (LMD-DUT-diplôme d'Etat)
    Lieu(x) Alternance
    Lieu(x) Auvergne - Rhône-Alpes, Grand-Est, Hauts-de-France, Ile-de-France, Normandie, Occitanie, Occitanie, Outremer
    Entrée Niveau IV (bac)
    Intitulé de la formation Chef de projet maîtrise d’œuvre informatique
    Type RNCP - Titre professionnel
    Lieu(x) Alternance
    Lieu(x) Grand-Est, Hauts-de-France, Normandie
    Entrée Niveau III (bac+2)
    Intitulé de la formation Chef de projet maîtrise d’œuvre informatique
    Type RNCP - Titre professionnel
    Lieu(x) À la carte
    Lieu(x) Auvergne - Rhône-Alpes, Bretagne, Hauts-de-France, Ile-de-France, Normandie, Nouvelle-Aquitaine, Occitanie, Pays de la Loire, Provence-Alpes-Côte d'Azur
    Entrée Niveau III (bac+2)
    Intitulé de la formation Type Modalité(s) Lieu(x)

    Contact

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

    Centre(s) d'enseignement proposant cette formation