Spécification et Modélisation Informatiques
Nombre de crédits
6 ECTS
Durée de la formation
60 heures
Modalité
-
objectifs de la formation
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 et débouchés
Savoir lire et écrire des psécifications 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.
Modalités et délais d'accès
En savoir plus sur nos modalités et délais d'accès
prérequis
Prérequis : connaissance générale de l'informatique, bases de la programmation et de la méthodologie de développement.
programme de la formation
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.
diplôme(s) associé(s)
Information non disponible, pour plus d'information veuillez contacter le cnam
Méthodes pédagogiques
Modalité Présentiel
Les cours en présentiel : ils ont lieu en présence des élèves et de l’enseignant dans un centre Cnam :
- hors temps de travail (HTT)c'est à dire le soir (souvent à partir de 18h30) ou le samedi,
- en journée (au rythme d'un cours par semaine ou bien de quelques journées bloquées dans le semestre).
Aucun cours n’est enregistré ni diffusé via Internet. La présence physique des élèves est nécessaire.
Les examens se déroulent exclusivement dans le centre Cnam où se déroulent les cours.
Modalité Hybride
La modalité hybride est une combinaison entre :
- des regroupements en salle à présence physique indispensable (non diffusés via Internet et non enregistrés),
- des webconférences régulières à présence fortement conseillée,
- des activités distantes via la plateforme d’enseignement à distance pouvant prendre la forme de :
- la mise à disposition de ressources pédagogiques formalisées (cours magistraux : notions et concepts),
- des travaux à réaliser tutorés (activités pédagogiques : exercices, cas, lectures, rédaction de notes, de dossiers qui font écho aux ressources pédagogiques et/ou aux activités réalisées dans le cadre des regroupements physiques, forums …),
- des travaux personnels non tutorés.
Modalité Foad
La modalité Foad est parfaitement adaptée à votre disponibilité :
- des webconférences régulières à présence indispensable (accessibles en direct via internet, enregistrées pour visualisation en différé),
- des activités distantes via la plateforme d’enseignement à distance pouvant prendre la forme de :
- la mise à disposition de ressources pédagogiques (cours, exercices, cas),
- des travaux à réaliser tutorés via la plateforme d’enseignement à distance,
- des travaux personnels non tutorés.
méthode d'évaluation
Examen écrit éventuellement complété d'une note de contrôle continu sanctionnant des devoirs, projets ou autres travaux personnels.
Equivalences, passerelles & suite de parcours
En savoir plus sur les équivalences, passerelles & suite de parcours
Nos tarifs
En savoir plus sur nos tarifs