2RARE addresses two large and complex distributed software-intensive heterogeneous systems where the precise specification of requirements is of key importance, as well as the evolution of these requirements over time and across different system families.
|Effective start/end date||1/10/95 → 30/09/96|
- requirements engineering
- formal methods
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.