Requirements, specifications, and minimal refinement
Nikos Gorogiannis, Mark Dermot Ryan · Electronic Notes in Theoretical Computer Science · 2002
Refinement is usually employed to produce more concrete versions of a specification, or to add new requirements to it. However, during specification revision one may over-refine, thus incorporating unnecessary requirements. In this paper, we argue that this process can be formalised by the notion of minimal refinements, hence avoiding over-refinement, and prove that this definition is well-behaved theoretically as well as computationally.