On the lattice of specifications: Applications to a specification methodology

DOI10.1007/BF01211474zbMath0782.68077MaRDI QIDQ1205187

Ali Milli, Noureddine Boudriga, Fathi Elloumi

Publication date: 1 April 1993

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

zbMATH Keywords

lattice theory; formal specifications; ordering relations; specification methodology; refinement ordering; specification generation; specification validation

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

06B35: Continuous lattices and posets, applications

Related Items

A versatile concept for the analysis of loops, Reflexive transitive invariant relations: A basis for computing loop functions, Embedding a demonic semilattice in a relation algebra, Kleene under a modal demonic star, Mathematics for reasoning about loop functions, Semantic distance between specifications, Parallel composition and decomposition of specifications, Computing Preconditions and Postconditions of While Loops

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