Ferme la recherche

Spécification et Modélisation Informatiques - NFP108

Descriptif

Durée de la formation

Durée 60 heures
En centre 60 heures

Session

du 24 févr. 2020 au 30 juin 2020  - Rennes (35)
+ autres sessions
du 24 févr. 2020 au 30 juin 2020  - Rennes (35)
du 24 févr. 2020 au 30 juin 2020  - Brest (29)
du 24 févr. 2020 au 30 juin 2020  - Vannes (56)
du 24 févr. 2020 au 30 juin 2020  - Ploufragan (22)
du 24 févr. 2020 au 30 juin 2020  - Lannion (22)
du 24 févr. 2020 au 30 juin 2020  - Lorient (56)

Objectif de la formation

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

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

Conditions d'accès

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

Validation

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

Donne accès au(x) métier(s) suivant(s)

Etudes et developpement informatique (voir la fiche métier)

Informations complémentaires

1
60 heure(s)
Et après la formation ?

NON DÉTERMINÉ

Conseils
Les questions à se poser avant de choisir une formation à distance
  • Les modalités de formation proposées par cet organisme sont-elles adaptées à mes besoins et répondent-elles à mes attentes ?
  • Y-a-t'il un système de coaching, de contrôle de l’assiduité, de vérification régulière des connaissances acquises ?
  • Est-ce que je dispose du matériel adéquat et d'un lieu approprié pour suivre cette formation ? Bonne connexion, webcam, casque, bureau fermé ou accès un espace numérique public ou de co-working ?
  • Suis-je suffisamment motivé, auto-discipliné et organisé pour me connecter de façon assidue ?
  • Suis-je en capacité de travailler seul ? Si non, puis-je m’appuyer sur une communauté ?
Informations pratiques

CNAM DE BRETAGNE

Lieu de formation

À distance

Centre de formation

2 rue Camille Guérin
22440, Ploufragan

Voir toutes les formations de CNAM DE BRETAGNE