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).
|Effective start/end date||1/01/89 → 31/01/94|
- requirements engineering
- formal methods
- process modelling
- software development