Spécification et Modélisation Informatiques
6 crédits Pierre COURTIEU EPN05 - Informatique Unité d'enseignement de type cours
Publié Du 01-09-2007 au 31-08-9999
Prérequis : connaissance générale de l'informatique, bases de la programmation et de la méthodologie de développement.
Le but du cours est de présenter les outils mathématiques (logique, automates, logique de Hoare etc), utiles pour la spécification et la modélisation de systèmes informatiques. Ils constitue les base 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 sous-jacents à de nombreux enseignements du cursus.
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.
L'unité NFP108 apparaît dans 10 cursus.
Master Sciences, technologies, santé mention Informatique parcours Systèmes d'information et business intelligence
Diplôme d'ingénieur Spécialité informatique parcours Informatique modélisation optimisation
Master Sciences, technologies, santé mention Informatique parcours Réseaux et objets connectés
Master Sciences, technologies, santé mention Informatique parcours Sécurité informatique, cybersécurité et cybermenaces
Master Sciences, technologies, santé mention Informatique parcours Recherche opérationnelle
Master Sciences, technologies, santé mention Informatique parcours Systèmes d'information et business intelligence HTT
Master Sciences, technologies, santé mention Informatique parcours Préparation à l'agrégation en informatique
Master Sciences, technologies, santé mention Informatique parcours Traitement de l'information et exploitation des données
Master Sciences, technologies, santé mention Informatique parcours Sécurité informatique, cybersécurité et cybermenaces
Titre RNCP Niveau 6 Concepteur intégrateur d'infrastructures informatiques (systèmes et réseaux, applicatives, ou de sécurité) parcours Systèmes d'information
Outils conceptuels (un sous-ensemble significatif doit être traité)
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.
Concernant la preuve de programme, des algorithme simple sur les nombres et sur les graphes pourraont par exemple être utilisés.
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.
Examen écrit éventuellement complété d'une note de contrôle continu sanctionnant des devoirs, projets ou autres travaux personnels.