Incremental Construction and Reuse of Requirements Specifications

Project: Research

Project Details


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 date1/01/8931/01/94


  • requirements engineering
  • formal methods
  • process modelling
  • software development


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.