]
]
]
]
Project
Incremental Construction and Reuse of Requirements Specifications (Icarus)
Duration
1989-1994
Keywords
requirements engineering, software development, process modelling, formal methods
Description
The ICARUS project is concerned with the study of formal methods for building requirements specifications. Three levels of analysis have been identified in the study of such methods: the specification product (the description of the desired system in its environment); the specification process (the set of activities by which the specification is produced); and the specification rationale (the set of reasons that have led to the choice of a particular process).
Research unit(s)
Research theme(s)
Staff (finished contracts)
Chairperson(s) |
|||
| Eric DUBOIS | Leader | ||
| Axel VAN LAMSWEERDE | Leader | ||
Research staff |
|||
| Suleyman CELIKTIN | Researcher | ||
| Philippe DU BOIS | Researcher | ||
| Pierre-Yves SCHOBBENS | Researcher | 081/724990 | |
Contracts
- Commission européenne, DG III Industry
