On the lattice of specifications: Applications to a specification methodology
Noureddine A. Boudriga, Fathi Elloumi, Ali Mili · Formal Aspects of Computing · 1992
Abstract In this paper we investigate the lattice properties of the natural ordering between specifications, which expresses that a specification expresses a stronger requirement than another specification. The lattice-like structure that we uncover is used as a basis for a specification methodology.