Génie Logiciel 4A - Une introduction

1. Introduction au génie logiciel.

   Génie logiciel, une introduction : Cycle de vie, activités et objectifs du génie logiciel.



2. Programmation orientée objet et Modélisation UML

   Support de cours : Programmation orientée objet et Modélisation UML Modélisation, Diagrammes UML, Diagramme de classes, Cas d'utilisation, Diagramme de séquences. Travaux Pratiques : Modélisation UML à partir d'un code source. Travaux Pratiques : Modélisation en UML à partir d'un cahier des charges. Travaux Pratiques : Diagrammes d'objets et de séquences.



3. Git

   Support de cours : Introduction à GIT Travaux Pratiques : Gestion de versions avec GIT.



4. Tests et preuves de programmes

Support de cours : Test et preuve de programmes Travaux Pratiques : Spécification, preuve de programmes, Junit 4.



5. Intégration des compétences

Travaux Pratiques : UML, versionning (git) et tests unitaires (Junit). Matériel supplémentaire : Code initial du projet.