Spécification et Modélisation Informatiques

Unité d'enseignement du Cnam

Prérequi200s

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

Contenu de la formation

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 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. La plupart de ces exemples seront repris dans la partie du cours traitant de la logique. Par ailleurs, on illustrera l'ajout de contraintes OCL sur un modèle UML. Enfin,
un exemple traitera d'un système d'information structuré autour d'une base de données relationnelle. Les notions de dépendance fonctionnelle et de de forme normale seront mises en relation avec les concepts ensemblistes.

Fiche mise à jour le 11/07/2011

- Les inscriptions sont permanentes
- Début de la formation : A compter de l'inscription
- Durée de la formation : 18 mois

Objectifs

Conservatoire national des Arts et Métiers

La fiche détaillée du partenaire

http://formation.cnam.fr/zaffiche_ue_externe.php?code_formation=NFP108

CONSERVATOIRE NATIONAL DES ARTS ET METIERS ACADEMIE * CNAM

Centre régional du Cnam - Champagne-Ardenne Adresse Centre régional du Cnam Moulin de la Housse rue des Crayères BP 1034 51687 Reims cedex 2 Voir le site tél : 03.26.36.80.00 Contact(s) CENTRE RÉGIONAL DU CNAM - CHAMPAGNE-ARDENNE