6 ects

60 heures

 

NFP108 - Spécification et Modélisation Informatiques

CONDITIONS D’ACCÈS :
Connaissance générale de l'informatique, bases de la programmation et de la méthodologie de développement

OBJECTIFS PÉDAGOGIQUES :
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.

PLANIFICATION :
Formation Hybride

2018/2019 2019/2020 2020/2021
Semestre 1 Semestre 1 Semestre 1

cette unité d’enseignement est constitutive des diplômes suivants :



CPN84 - Titre RNCP Niveau II Concepteur en architecture informatique

Devenir concepteur en architecture informatique.

En savoir +



CYC14 - Ingénieur en informatique option réseaux systèmes et multimédia

Futur chef de projets.

En savoir +