The following pages link to Refinement (Q4558901):
Displaying 14 items.
- Contexts, refinement and determinism (Q541213) (← links)
- Supporting module reuse in refinement (Q1924631) (← links)
- Spot the difference: a detailed comparison between B and Event-B (Q2117587) (← links)
- Refinement and retrenchment for programming language data types (Q2432217) (← links)
- Meta-modelling for formal software development (Q2703740) (← links)
- Refinement in Z and object-Z. Foundations and advanced applications (Q2724177) (← links)
- Refinement via consistency checking in MDA (Q2863838) (← links)
- Generic tools via general refinement (Q2873690) (← links)
- How to Brew-up a Refinement Ordering (Q2994493) (← links)
- Refining Emergent Properties (Q2994497) (← links)
- (Q4493907) (← links)
- General Refinement, Part One: Interfaces, Determinism and Special Refinement (Q5403470) (← links)
- Understanding, Explaining, and Deriving Refinement (Q5861785) (← links)
- Relation-algebraic verification of disjoint-set forests (Q6614547) (← links)