On the lattice of specifications: Applications to a specification methodology

DOI10.1007/BF01211474zbMath0782.68077MaRDI QIDQ1205187

Fathi Elloumi, Noureddine Boudriga, Ali Milli

Publication date: 1 April 1993

Published in: Formal Aspects of Computing (Search for Journal in Brave)

zbMATH Keywords

lattice theoryformal specificationsordering relationsspecification methodologyrefinement orderingspecification generationspecification validation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Continuous lattices and posets, applications (06B35)

Related Items (11)

Reflexive transitive invariant relations: A basis for computing loop functions ⋮ Toward a theory of program repair ⋮ A versatile concept for the analysis of loops ⋮ Embedding a demonic semilattice in a relation algebra ⋮ Computing Preconditions and Postconditions of While Loops ⋮ Mathematics for reasoning about loop functions ⋮ Semantic distance between specifications ⋮ Relational demonic fuzzy refinement ⋮ Parallel composition and decomposition of specifications ⋮ Nondeterministic semantics of compound diagrams ⋮ Kleene under a modal demonic star

Cites Work

• A theoretical basis for stepwise refinement and the programming calculus
• Problem-solving through problems
• Relational heuristics for the design of deterministic programs
• Specification methodology: An integrated relational approach
• The specification statement
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On the lattice of specifications: Applications to a specification methodology