]
]
]
]
Projet
Construction incrémentale et réutilisation de spécifications d'exigences (Icarus)
Période
1989-1994
Mots clés
ingénierie des exigences, développement de logiciel, modélisation des processus, méthodes formelles
Description
Le projet ICARUS étudie les méthodes formelles pour la construction de spécifications des exigences. Trois niveaux d'analyse ont été identifiés: La spécification en tant que produit; Le processus de spécification; et les motivations de la spécifications (les raisons qui ont fait choisir un processus particulier).
Unités
Axes de recherche
Staff (contrats terminés)
Responsable(s) |
|||
| Eric DUBOIS | Scientific coordinator | ||
| Axel VAN LAMSWEERDE | Site leader | ||
Personnel scientifique |
|||
| Suleyman CELIKTIN | Member | ||
| Philippe DU BOIS | Member | ||
| Pierre-Yves SCHOBBENS | Member | 081/724990 | |
Financement
- Commission européenne, DG III Industry
