Incremental Construction and Reuse of Requirements Specifications

Project: Research

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).
AcronymIcarus
StatusFinished
Effective start/end date1/01/8931/01/94

Keywords

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