Ce module constitue en une introduction au génie logiciel, avec un accent particulier sur l’analyse, la modélisation et la spécification précise des systèmes logiciels.

Les étudiants apprennent à transformer un besoin exprimé en langage naturel en modèles UML - cas d’utilisation, classes, activités et séquences - puis à compléter ces modèles par des contraintes formelles exprimées en OCL.

À la fin de cette UE, vous serez capable de : 

• Analyser et comprendre les exigences logicielles : identifier les besoins des parties prenantes à partir d’une description du système, 

• Modéliser un système avec UML : construire et interpréter des diagrammes de cas d’utilisation, de classes, d’activités et de séquence afin de représenter la structure et le comportement d’un système, 
• Formaliser les contraintes avec OCL : traduire des règles métier exprimées en langage naturel en invariants, préconditions et postconditions OCL associés à un modèle UML, 

• Concevoir et vérifier un modèle à l’aide d’outils : utiliser des outils de modélisation UML et OCL pour détecter les incohérences et tester les contraintes.

Programmation orientée-objet. 

100% Contrôle Continu Intégral. 

Le contrôle continu 1 est la moyenne des QCMs passés lors des séances de TDs. Les QCMs portent sur les concepts d’UML et OCL abordés en cours.

Le contrôle continu 2 correspond à la moyenne des TPs notés passés pendant des séances de TPs, Ils portent sur les outils utilisés durant les séances de TP. L’examen porte sur les parties étudiées en TD.