On the lattice of specifications: Applications to a specification methodology

Noureddine Boudriga; Fathi Elloumi; Ali Mili

doi:10.1007/BF01211474

On the lattice of specifications: Applications to a specification methodology

Noureddine Boudriga, Fathi Elloumi, Ali Mili

Research output: Contribution to journal › Article › peer-review

61 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 language	English (US)
Pages (from-to)	544-571
Number of pages	28
Journal	Formal Aspects of Computing
Volume	4
Issue number	6
DOIs	https://doi.org/10.1007/BF01211474
State	Published - Nov 1992
Externally published	Yes

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

Access to Document

10.1007/BF01211474

Cite this

@article{80061c9ad9e6485d9910d815ad2b0d01,

title = "On the lattice of specifications: Applications to a specification methodology",

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.",

keywords = "Formal specifications, Lattice theory, Ordering relations, Refinement ordering, Relations, Specification generation, Specification methodology, Specification validation",

author = "Noureddine Boudriga and Fathi Elloumi and Ali Mili",

year = "1992",

month = nov,

doi = "10.1007/BF01211474",

language = "English (US)",

volume = "4",

pages = "544--571",

journal = "Formal Aspects of Computing",

issn = "0934-5043",

publisher = "Association for Computing Machinery (ACM)",

number = "6",

}

TY - JOUR

T1 - On the lattice of specifications

T2 - Applications to a specification methodology

AU - Boudriga, Noureddine

AU - Elloumi, Fathi

AU - Mili, Ali

PY - 1992/11

Y1 - 1992/11

N2 - 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.

AB - 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.

KW - Formal specifications

KW - Lattice theory

KW - Ordering relations

KW - Refinement ordering

KW - Relations

KW - Specification generation

KW - Specification methodology

KW - Specification validation

UR - http://www.scopus.com/inward/record.url?scp=0000157920&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0000157920&partnerID=8YFLogxK

U2 - 10.1007/BF01211474

DO - 10.1007/BF01211474

M3 - Article

AN - SCOPUS:0000157920

SN - 0934-5043

VL - 4

SP - 544

EP - 571

JO - Formal Aspects of Computing

JF - Formal Aspects of Computing

IS - 6

ER -

On the lattice of specifications: Applications to a specification methodology

Abstract

All Science Journal Classification (ASJC) codes

Keywords

Access to Document

Other files and links

Fingerprint

Cite this