Appuyer sur Entrée pour chercher ou la touche ESC pour fermer

NFP108 | Spécification et Modélisation Informatiques

schedule

51

Total d'heures d'enseignement
school

6

Crédits ECTS
date_range

Date non définie

Début des cours prévu

Programme

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 Théorie des Ensembles
Calcul des Prédicats : validité, prouvabilité, correction, complétude, indécidabilité.
Théorie des Ensembles : ensembles, relations, fonctions
Preuve de programme
contrat de fonction, pré-post-conditions, invariants de boucles
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.

Objectifs : aptitudes et compétences

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 :

Savoir lire et écrire des spécification 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.

Prérequis

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

Délais d'accès

Inscription 1er semestre et annuel :

  • Modalité présentiel/hybride : de juillet à mi-octobre
  • Modalité FOAD (100% à distance) : de juillet à mi-novembre

Inscription 2ème semestre :

  • Modalité présentiel/hybride : de juillet à mi-février
  • Modalité FOAD (100% à distance) : de juillet à mi-mars

Planning

Légende:
Cours en présentiel
Cours 100% à distance
Mixte: cours en présentiel et à distance

Modalités

Modalités pédagogiques :

Pédagogie qui combine apports académiques, études de cas basées sur des pratiques professionnelles et expérience des élèves. Équipe pédagogique constituée pour partie de professionnels. Un espace numérique de formation (ENF) est utilisé tout au long du cursus.

Modalités de validation :

Examen écrit éventuellement complété d'une note de contrôle continu sanctionnant des devoirs, projets ou autres travaux personnels.

Tarif

Mon employeur finance Pôle Emploi finance Je finance avec le co-financement Région
Non défini Non défini Salarié : Non défini Demandeur d'emploi : Non défini

Plusieurs dispositifs de financement sont possibles en fonction de votre statut professionnel et peuvent financer jusqu’à 100% de votre formation.

Si vous êtes demandeur d'emploi et que vous cotisez à AG2R La Mondiale, vous pouvez bénéficier d'un financement : 4 UE gratuites par an.

Si aucun dispositif de financement ne peut être mobilisé, nous proposons à l’élève une prise en charge partielle de la Région Nouvelle-Aquitaine avec un reste à charge. Ce reste à charge correspond au tarif réduit indiqué ci-dessus et est à destination des salariés ou demandeurs d’emploi.

Pour plus de renseignements, nous vous invitons à consulter notre guide du financement et à contacter nos conseillers pour vous accompagner pas à pas dans vos démarches.

Passerelles : lien entre certifications

Avis des auditeurs

Les dernières réponses à l'enquête d'appréciation de cet enseignement :

Fiche synthétique au format PDF

Taux de réussite

Les dernières informations concernant le taux de réussite des unités d’enseignement composant les diplômes

Taux de réussite

Besoin d'aide dans vos démarches ?

L'équipe du Cnam Nouvelle-Aquitaine est là pour vous aider