On the lattice of specifications: Applications to a specification methodology
type: Item
instance of: scholarly article
title: On the lattice of specifications: Applications to a specification methodology
zbMATH Open document ID: 0782.68077
DOI: 10.1007/BF01211474
author: Noureddine Boudriga
author: Fathi Elloumi
author: Ali Mili
published in: Formal Aspects of Computing
publication date: 1993-04-01T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 06B35
zbMATH DE Number: 146991
zbMATH Keywords: formal specifications
zbMATH Keywords: refinement ordering
zbMATH Keywords: lattice theory
zbMATH Keywords: specification generation
zbMATH Keywords: specification validation
zbMATH Keywords: ordering relations
zbMATH Keywords: specification methodology
MaRDI profile type: Publication
cites work: Q3898009
cites work: Q3039003
cites work: Q3740201
cites work: Problem-solving through problems
cites work: Q4173309
cites work: Q4124327
cites work: Specification methodology: An integrated relational approach
cites work: Relational heuristics for the design of deterministic programs
cites work: The specification statement
cites work: A theoretical basis for stepwise refinement and the programming calculus
cites work: Q4072797
description: scientific article; zbMATH DE number 146991