Semantic distance between specifications

DOI10.1016/S0304-3975(99)00085-7zbMath0949.68098MaRDI QIDQ1583257

Jules Desharnais, R. Mili, Marc Frappier, Ali Milli

Publication date: 26 October 2000

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

semantic distancerelational specifications

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (1)

Parallel composition and decomposition of specifications

Uses Software

• Proteus
• AIRS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Symmetric quotients and domain constructions
• Embedding a demonic semilattice in a relation algebra
• Varieties of relation algebras
• The weakest prespecification
• On the lattice of specifications: Applications to a specification methodology
• A relational calculus for program construction by parts
• Using types as search keys in function libraries

This page was built for publication: Semantic distance between specifications