Génie logiciel: questions spéciales B

UCL-INGI-3xxx -- A. van Lamsweerde -- 30-0-0 -- Cours de 3ème cycle

Objectif

étudier les techniques avancées de spécification, conception, validation, et modification de logiciels complexes. L'accent sera mis sur les étapes les plus critiques du cycle de vie d'un logiciel: ingénierie du cahier des charges, et conception architecturale.

Prérequis

• Cours introductif aux modèles, méthodes et outils du génie logiciel:
  UCL-INGI-2594: méthodes et outils du génie logiciel

Contenu

Ingénierie du cahier des charges:

• élaboration guidée par les objectifs à atteindre;
• spécification basée sur les agents devant coopérer;
• gestion des points de vue multiples d'intervenants et des inconsistances entre ceux-ci;
• construction et validation basées sur des scénarios;
• vérification formelle de propriétés;
• validation par animation et maquettage.

Conception architecturale:

• styles architecturaux et schémas de conception;
• langages de description architecturale et analyse de propriétés;
• techniques de raffinement.

Réutilisation de produits et de procédés.

Modélisation et analyse des procédés de développement.

Gestion de configurations multiples de composants logiciels.

Pédagogie

• Le cours reposera en partie sur des études de cas de nature variée.
• Le contenu de certaines parties pourra être revu et adapté en fonction des dernières tendances de l'état de l'art et du niveau de l'auditoire.
• Certaines parties du cours consisteront en l'étude personnelle de chapitres de livres ou d'articles récents, suivie de discussion en salle.

Examen écrit + cotation de la participation au cours.