On the lattice of specifications: Applications to a specification methodology

Noureddine Boudriga, Fathi Elloumi, Ali Mili

Research output: Contribution to journalArticlepeer-review

57 Scopus citations

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.

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

All Science Journal Classification (ASJC) codes

  • Software
  • Theoretical Computer Science

Keywords

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

Fingerprint

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

Cite this