Ci-dessous, les différences entre deux révisions de la page.
| Les deux révisions précédentesRévision précédenteProchaine révision | Révision précédente | ||
| formations:masters:ue:m1:gla8 [2023/09/06 13:24] – [Pré-requis] treinen | formations:masters:ue:m1:gla8 [2025/01/29 10:46] (Version actuelle) – ↷ Liens modifiés en raison d'un déplacement. admin | ||
|---|---|---|---|
| Ligne 1: | Ligne 1: | ||
| + | ~~NOTOC~~ | ||
| + | ---- | ||
| + | |||
| + | ====== Génie logicielle avancée ====== | ||
| + | |||
| + | ===== Description ===== | ||
| + | |||
| + | Le génie logiciel consiste en l’adaptation des techniques de l’ingénierie aux activités de développement informatique sujettes à des contraintes de coût et de temps. Chapeautant le développement informatique lui-même, cette discipline s’attaque à des problématiques clés relevant des méthodologies de développement, | ||
| + | |||
| + | ===== Syllabus ===== | ||
| + | ==== Sujets centraux ==== | ||
| + | |||
| + | - Standards de modélisation (UML) | ||
| + | - Test et Test-Driven Development (TDD) | ||
| + | - Patrons de conception (Design patterns) | ||
| + | - Méthodologies agiles (SCRUM, eXtreme Programming) | ||
| + | |||
| + | ==== Sujets potentiellement traités ==== | ||
| + | * Méthodes formelles pour la vérification et la validation (vue d’ensemble et exemples avec l’outils KeY) | ||
| + | |||
| + | ===== Pré-requis ===== | ||
| + | |||
| + | Les pré-requis ci-dessous sont fortement souhaités (mais non obligatoires) : | ||
| + | |||
| + | - Avoir suivi les cours [[..: | ||
| + | - Avoir programmé en Java | ||