Pages that link to "Item:Q1205187"
From MaRDI portal
The following pages link to On the lattice of specifications: Applications to a specification methodology (Q1205187):
Displaying 11 items.
- Nondeterministic semantics of compound diagrams (Q258605) (← links)
- A versatile concept for the analysis of loops (Q444373) (← links)
- Reflexive transitive invariant relations: A basis for computing loop functions (Q604384) (← links)
- Embedding a demonic semilattice in a relation algebra (Q672711) (← links)
- Kleene under a modal demonic star (Q817579) (← links)
- Mathematics for reasoning about loop functions (Q1044182) (← links)
- Semantic distance between specifications (Q1583257) (← links)
- Parallel composition and decomposition of specifications (Q1602555) (← links)
- Relational demonic fuzzy refinement (Q2336161) (← links)
- Computing Preconditions and Postconditions of While Loops (Q3105751) (← links)
- Toward a theory of program repair (Q6171820) (← links)
