Spécification et Modélisation Informatiques - NFP108
Organisme : CNAM DE BRETAGNE
2 rue Camille Guérin - 
22440 PLOUFRAGAN
Tél : 02 96 76 59 30 - Fax : 02 96 76 59 31 
Email : cnam@cnam-bretagne.fr 
Site web : http://www.cnam-bretagne.fr 

Réf : 1302199F - Mise à jour : 01/08/2019
Contact pour la formation : Magalie PICHARD (Conseiller en formation continue)

Objectifs

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.
Capacité d'abstraire une modélisation simplifiée d'un problème réel au moyen d'un formalisme rigoureux.
Capacité d'utiliser les machines finies dans des tâches d'ingénierie (par exemple, traitements textuels simples).

Condition d'admission
  • Connaissance générale de l'informatique, bases de la programmation et de la méthodologie de développement.
  • Public visé
    Tout public ; Demandeur d'emploi ; Salarié

Programme

Outils conceptuels :
Automates
Expressions régulières et automates finis à états, transducteurs finis à états
Propriétés de clôture
Algorithmes de déterminisation, minimisation
Calcul des Prédicats et Theorie des Ensembles
Calcul des Prédicats : validité, prouvabilité, correction, complétude, indécidabilité.
Théorie des Ensembles : ensembles, relations, fonctions

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.

Validation / certification préparée

  • Certificat permettant d'accéder à un diplôme par capitalisation des unités d'enseignement

Durée de formation
  • 60 heures
Organisation pédagogique

E learning / FOAD ;


Dates et lieux de formation  
Dates et lieux de formation  
  • RENNES - Du 24/02/2020 au 30/06/2020 (N° Session : 1212117)
  • Dispositif(s) : Financement privé (entreprises, individuels)
    Organisme de formation : CNAM DE BRETAGNE
    Tél : 02 96 76 59 30
    Mail : cnam@cnam-bretagne.fr
  • BREST - Du 24/02/2020 au 30/06/2020 (N° Session : 1212118)
  • Dispositif(s) : Financement privé (entreprises, individuels)
    Organisme de formation : CNAM DE BRETAGNE
    Tél : 02 96 76 59 30
    Mail : cnam@cnam-bretagne.fr
  • VANNES - Du 24/02/2020 au 30/06/2020 (N° Session : 1212119)
  • Dispositif(s) : Financement privé (entreprises, individuels)
    Organisme de formation : CNAM DE BRETAGNE
    Tél : 02 96 76 59 30
    Mail : cnam@cnam-bretagne.fr
  • PLOUFRAGAN - Du 24/02/2020 au 30/06/2020 (N° Session : 1212120)
  • Dispositif(s) : Financement privé (entreprises, individuels)
    Organisme de formation : CNAM DE BRETAGNE
    Tél : 02 96 76 59 30
    Mail : cnam@cnam-bretagne.fr
  • LANNION - Du 24/02/2020 au 30/06/2020 (N° Session : 1212121)
  • Dispositif(s) : Financement privé (entreprises, individuels)
    Organisme de formation : CNAM DE BRETAGNE
    Tél : 02 96 76 59 30
    Mail : cnam@cnam-bretagne.fr
  • LORIENT - Du 24/02/2020 au 30/06/2020 (N° Session : 1212122)
  • Dispositif(s) : Financement privé (entreprises, individuels)
    Organisme de formation : CNAM DE BRETAGNE
    Tél : 02 96 76 59 30
    Mail : cnam@cnam-bretagne.fr
 


+ d'infos : Cliquez ici


Source : GREF Bretagne 16/10/2019