Formation indisponible à l'heure actuelle

Spécification et Modélisation Informatiques

Formation

À Montpellier ()

Prix sur demande

Appeler le centre

Avez-vous besoin d'un coach de formation?

Il vous aidera à comparer différents cours et à trouver la solution la plus abordable.

Description

  • Typologie

    Formation

Missions, moyens et organisation
Le Cnam est placé sous la présidence de Jean-Paul Herteman, P-DG du groupe Safran, et dirigé par Olivier Faron.
Il remplit trois missions principales:
la formation professionnelle supérieure tout au long de la vie,
la recherche technologique et l'innovation,
la diffusion de la culture scientifique et technique.
Le Cnam offre des formations développées en étroite collaboration avec les entreprises et les organisations professionnelles afin de répondre au mieux à leurs besoins et à ceux de leurs salariés. Cette UE apparaît dans les diplômes et certificats suivants : Entrée
CYC12p-1 Ingénieur diplômé de l'école d'ingénieurs du Cnam Spécialité informatique, parcours Systèmes d'information (ISI)
Centres d'enseignement Entrée
CYC14p-1 Ingénieur diplômé de l'école d'ingénieurs du Cnam Spécialité informatique, parcours Réseaux, systèmes et multimédia (IRSM)
Centres d'enseignement Entrée
CYC45p-1 Ingénieur diplômé de l'école d'ingénieurs du Cnam Spécialité informatique, parcours Architecture et ingénierie des systèmes et des logiciels (AISL)
Centres d'enseignement Entrée
CYC47p-1 Ingénieur diplômé de l'école d'ingénieurs du Cnam Spécialité informatique, parcours Informatique modélisation optimisation (IMO)
Centres d'enseignement Entrée
DIE43p-1 Diplôme d'établissement Concepteur en architecture informatique
Centres d'enseignement Entrée
MR069p-1 Master Sciences, technologies, santé mention informatique spécialité systèmes embarqués mobiles et sûrs (voie recherche et professionnelle)
Centres d'enseignement Entrée
MR071p-1 Master Sciences, technologies et santé mention informatique spécialité recherche opérationnelle
Centres d'enseignement Entrée

Centres d'enseignement 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.

Questions / Réponses

Ajoutez votre question

Nos conseillers et autres utilisateurs pourront vous répondre

Saisissez vos coordonnées pour recevoir une réponse

Nous ne publierons que votre nom et votre question

Les Avis

Les matières

  • Modélisation
  • Ingénieur du son
  • Automates

Le programme

Contenu 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és de l'évaluation Examen écrit éventuellement complété par une note de contrôle continu.

Appeler le centre

Avez-vous besoin d'un coach de formation?

Il vous aidera à comparer différents cours et à trouver la solution la plus abordable.

Spécification et Modélisation Informatiques

Prix sur demande