Incremental Construction and Reuse of Requirements Specifications

Project: Research


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