Next: Génie logiciel: questions spéciales
Up: Software engineering et
Previous: Ingénierie transformationnelle des
FUNDP-INFO-3104 --
N. Habra --
30-0-0 --
Cours de 3ème cycle
Le cours se propose d'aborder quelques sujets `avancés' en Génie
Logiciel.
Connaissances de base en Génie Logiciel et en logique.
- Introduction
Software Engineering vs Requirements Engineering
- Spécification du logiciel
- méthodes semi-formelles et méthodes formelles
- domaines d'application: systèmes d'information,
systèmes parallèles, temps-réels et distribués
- Requirements Engineering (Ingénierie des Besoins)
- Motivations et spécificités du RE. Cycle de vie et
activités principales
- Contenu d'un cahier de charges (besoins fonctionnels et
non-fonctionnels)
- Spécification de cahiers de charges
(méthodes semi-formelles et formelles)
Présentation du langage Albert pour la modélisation
de systèmes distribués et temps-réel
- Elicitation des besoins
Présentation de l'approche KAOS (approche guidée par
les objectifs)
Modélisation de l'organisation
- Outils CASE
Architectures et fonctionnalités d'outils actuels.
Perspectives sur des architectures distribuées et coopératives.
Cours magistraux et exercices avec utilisation d'outils CASE
- 15
- R. Wieringa, "Requirements Engineering: Frameworks for Understanding", Wiley, 1996.
- 16
- Loucopoulos, P. and Karakostas, V. "Systems Requirements Engineering",
McGraw Hill, 1995.
Pierre-Yves SCHOBBENS
Thu Feb 4 19:08:21 MET 1999