On the lattice of specifications: Applications to a specification methodology

Noureddine Boudriga, Fathi Elloumi, Ali Mili

Research output: Contribution to journalArticlepeer-review

61 Scopus citations


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.

Original languageEnglish (US)
Pages (from-to)544-571
Number of pages28
JournalFormal Aspects of Computing
Issue number6
StatePublished - Nov 1992
Externally publishedYes

All Science Journal Classification (ASJC) codes

  • Software
  • Theoretical Computer Science


  • Formal specifications
  • Lattice theory
  • Ordering relations
  • Refinement ordering
  • Relations
  • Specification generation
  • Specification methodology
  • Specification validation


Dive into the research topics of 'On the lattice of specifications: Applications to a specification methodology'. Together they form a unique fingerprint.

Cite this