Informatique et TIC

	Spécification et Modélisation Informatiques	Maj le 20/05/2013
	NFP108 - 6 Ects

Spécification et Modélisation Informatiques : Formation continue soir et samedi et ou à distance,

A Rennes, Brest, Saint-Brieuc, Vannes, Lannion et sur toute la Bretagne

Pré-requis :

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

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.

Projets :

Projet tutoré

Modalité de validation :

Première session: contrôle continu
- exposé pour un 1/4 de la note finale
- partiel pour un 1/4 de la note finale
- documents pour la 1/2 de la note finale obligatoire pour l'obtention de l'UE (comptant aussi pour la seconde session)
Seconde session:
- examen pour la 1/2 de la note finale
- documents pour la 1/2 de la note finale

Compétences visées :

Savoir maîtriser toutes les étapes de développement d'un projet informatique jusqu'à la programmation

	Contenu de la formation

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 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. La plupart de ces exemples seront repris dans la partie du cours traitant de la logique. Par ailleurs, on illustrera l'ajout de contraintes OCL sur un modèle UML. Enfin,
un exemple traitera d'un système d'information structuré autour d'une base de données relationnelle. Les notions de dépendance fonctionnelle et de de forme normale seront mises en relation avec les concepts ensemblistes.

	Programmation

Unités d'Enseignement (détails : cliquez sur l'intitulé de l'UE)	EC TS	Centre	Enseigné en			Informations
			2012 / 2013	2013 / 2014	2014 / 2015
Spécification et Modélisation Informatiques (NFP108)	6	Brest				1er semestre 2012-2013: Internet + 9 cours du soir (18h30-20h30) à Rennes et Brest. 2013-2014: Internet + 3 séminaires régionaux (3 samedis) à Saint-Brieuc.
		Lannion				1er semestre 2012-2013: Internet + 9 cours du soir (18h30-20h30) à Rennes et Brest. 2013-2014: Internet + 3 séminaires régionaux (3 samedis) à Saint-Brieuc.
		Lorient Voir centre Cnam de Vannes				1er semestre 2012-2013: Internet + 9 cours du soir (18h30-20h30) à Rennes et Brest. 2013-2014: Internet + 3 séminaires régionaux (3 samedis) à Saint-Brieuc.
		Quimper Voir centre Cnam de Brest				1er semestre 2012-2013: Internet + 9 cours du soir (18h30-20h30) à Rennes et Brest. 2013-2014: Internet + 3 séminaires régionaux (3 samedis) à Saint-Brieuc.
		Rennes				1er semestre 2012-2013: Internet + 9 cours du soir (18h30-20h30) à Rennes et Brest. 2013-2014: Internet + 3 séminaires régionaux (3 samedis) à Saint-Brieuc.
		Saint-Brieuc				1er semestre 2012-2013: Internet + 9 cours du soir (18h30-20h30) à Rennes et Brest. 2013-2014: Internet + 3 séminaires régionaux (3 samedis) à Saint-Brieuc.
		Saint-Malo Voir centre Cnam de Rennes				1er semestre 2012-2013: Internet + 9 cours du soir (18h30-20h30) à Rennes et Brest. 2013-2014: Internet + 3 séminaires régionaux (3 samedis) à Saint-Brieuc.
		Vannes				1er semestre 2012-2013: Internet + 9 cours du soir (18h30-20h30) à Rennes et Brest. 2013-2014: Internet + 3 séminaires régionaux (3 samedis) à Saint-Brieuc.
		Autres villes Cnam - Siège régional				1er semestre 2012-2013: Internet + 9 cours du soir (18h30-20h30) à Rennes et Brest. 2013-2014: Internet + 3 séminaires régionaux (3 samedis) à Saint-Brieuc.

	Cours du soir et Internet (modalité mixte) En savoir +		Séminaires et Internet En savoir +
	Sur l'année (oct. à juin)		1er semestre (oct. à jan.)		2ème semestre (fev. à juin)

	Tarifs et inscription

Tarifs (hors droit de base, en savoir +) :

Modalité	Tarif inscription employeur (1)	Tarif inscription individuelle (2)
	700 €	84 €
	700 €	84 €

(1) Pour vous aider à faire prendre en charge vos coûts de formation, contactez un conseiller du Cnam (En savoir +)

(2) Il s'agit d'un tarif officiel subventionné par le Conseil régional de Bretagne qui ne s’applique qu'aux adultes en démarche individuelle de formation.

	UE constitutive des diplômes suivants

Concepteur-architecte informatique - parcours ingénieur systèmes et logiciels (CPN11) Concepteur-architecte informatique - parcours ingénieur en système d'informations (CPN11-2) Concepteur-architecte informatique - parcours ingénieur en réseaux et systèmes (CPN11-3) Ingénieur en informatique - option réseaux, systèmes et multimédia (IRSM) (CYC14) Ingénieur en informatique, modélisation et optimisation (IMO) (CYC47)

Document non contractuel