Project Details
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).
| Acronym | Icarus |
|---|---|
| Status | Finished |
| Effective start/end date | 1/01/89 → 31/01/94 |
Keywords
- requirements engineering
- formal methods
- process modelling
- software development
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.