Conservatoire national des arts et métiers

Je recherche une formation

Le Cnam le plus proche
Bordeaux Perigueux Agen Dax Mont-de-marsan Anglet Pau Poitiers Angoulême La Rochelle Chatellerault Limoges Brive Gueret
Être contacté
Tous les champs sont obligatoires
Etre rappelé sous 48h ouvrées
Votre demande concerne :
Projet de formation
Financement de formation
Validation des acquis
Autre
Précisez votre demande:
Vous souhaitez recevoir notre newsletter ?

Spécification et Modélisation Informatiques

Informatique et TIC


Code de l'UE : NFP108
Crédit ects : 6
Nb d'heures de formation : 51




Prérequis :

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


Objectifs :

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 :

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



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.


Modalité de validation :

Examen écrit éventuellement complété par une note de contrôle continu.


Projet :

Des travaux personnels (projet, devoir) peuvent être proposés et pris en compte dans l'évaluation.


Affiner les résultats par lieu d'enseignement

Angoulême, Bordeaux, Brive, Côte Basque, Guéret, La Rochelle, Limoges, Niort, Pau, Poitiers

Résultat(s) précis [+]

Lieu
d'enseignement
Informations
session 2019/2020
2019
2020
2020
2021
2021
2022
Tous centres
Formation à distance
1
Formation à distance
1
Formation à distance
1
Tous centres
Formation à distance
2
Formation à distance
2
Formation à distance
2

Tarifs (hors droit de base) :
Enseignement à distance : 1020 € (tarif réduit* : 120 €)


(*) Le tarif réduit s'applique aux formations pour lesquelles vous n'avez pu faire valoir de dispositif(s) de prise en charge (par votre employeur ou par un organisme paritaire collecteur agréé). Dans ce cas, vous y souscrivez à titre individuel et vous bénéficiez de l'aide du Conseil Régional d'Aquitaine.

Cnam Nouvelle-Aquitaine
16 cours de la Marne Bordeaux Nouvelle-Aquitaine 33800