Spécification et Modélisation Informatiques

Code UE : NFP108

  • Cours
  • 6 crédits

Responsable(s)

Pierre COURTIEU

Public et conditions d'accès

Prérequis : connaissance générale de l'informatique, bases de la programmation et de la méthodologie de développement.

Objectifs pédagogiques

Le but du cours est de présenter les automates finis à états et les formalismes logiques qui ont de nombreuses applications pour la spécification et la modélisation de systèmes informatiques. Ils interviennent notamment dans les domaines du génie logiciel, des réseaux, de la conception et du développement, des bases de données, des systèmes d'information et des systèmes transactionnels. A ce titre, ils sont utilisés dans de nombreux enseignements du cursus.

Compétences visées

Savoir lire et écrire des spécification de systèmes utilisant des automates finis ou les formalismes logiques vus en cours. Être conscient de l'intérêt de formaliser des spécifications partielles.

Contenu

Outils conceptuels
Automates
Expressions régulières et automates finis à états
Propriétés de clôture
Algorithmes de déterminisation, minimisation
Calcul des Prédicats et Théorie des Ensembles
Calcul des Prédicats : validité, prouvabilité, correction, complétude, indécidabilité.
Théorie des Ensembles : ensembles, relations, fonctions
Preuve de programme
contrat de fonction, pré-post-conditions, invariants de boucles
Exemples d'utilisation
Les exemples du cours porteront sur des applications. Pour les automates finis, ces applications comportent la modélisation d'automatisme (distributeur de billet, ascenseur), la modélisation de protocoles, des diagrammes
d'états-transition UML, la correction orthographique.  Par ailleurs, on illustrera l'ajout de contraintes OCL sur un modèle UML. Le cours pourra aborder également les rapports entre spécification logique et le modèle relationnel des bases de données.  Les notions de dépendance fonctionnelle et de de forme normale seront mises en relation avec les concepts ensemblistes. Tous ces sujets ne seront pas nécessairement tous couverts par le cours, qui pourra mettre l'accent sur une partie seulement de ces exemples d'application.

Modalité d'évaluation

Examen écrit éventuellement complété d'une note de contrôle continu sanctionnant des devoirs, projets ou autres travaux personnels.

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

Contact

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

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

UE

    • Paris
      • Centre Cnam Paris
        • 2019-2020 1er semestre : Présentiel soir ou samedi
        • 2020-2021 1er semestre : Présentiel soir ou samedi
        • 2021-2022 1er semestre : Présentiel soir ou samedi
    • Auvergne-Rhône-Alpes
      • Auvergne-Rhône-Alpes
        Comment est organisée cette formation ?

        Planning

        Date limite d'inscription : 31/12/2018
        Date de démarrage : 08/10/2018
        Date de la première session d'examen :04/02/2019
        Date de la deuxième session d'examen :18/03/2019

        Accompagnement collectif

        Rendez-vous :
        Chat : oui
        Forum par UE :oui
        Webconférence : oui

        Accompagnement individuel

        Echange par mails : oui
        Accompagnement téléphonique : oui

        Regroupement

        Séances de regroupement : non

        Modalités de validation

        Examen sur table :oui
        Projet : non
        Contrôle continu : non
        Examen partiel : non
        :
    • Grand Est
      • Grand Est
        Comment est organisée cette formation ?

        Organisation de la modalité FOAD 100%

        Planning

        2ème semestre

        • Date de démarrage : 20/02/2020
        • Date limite d'inscription : 31/08/2020
        • Regroupements facultatifs : aucun
        • Date de 1ère session d'examen : 12/06/2020
        • Date de 2ème session d'examen : 01/09/2020

        Accompagnement

        • Plateforme Moodle
        • Forum
        • Messagerie intégrée à la plateforme
        • Classe virtuelle
        • Séance de démarrage

        Ressources mises à disposition de l'auditeur

        • Documents de cours
        • Documents d'exercices, études de cas activités

        Modalités de validation

        • Examen sur table
        :