Pages that link to "Item:Q1776587"
From MaRDI portal
The following pages link to Specification and (property) inheritance in CSP-OZ (Q1776587):
Displaying 7 items.
- The behavioural semantics of Event-B refinement (Q736910) (← links)
- Refinement, conformance and inheritance (Q751843) (← links)
- Testing for refinement in \textsf{Circus} (Q766162) (← links)
- Refinement and verification in component-based model-driven design (Q1004291) (← links)
- Integrating a formal method into a software engineering process with UML and Java (Q2481209) (← links)
- Formal Methods for Components and Objects (Q5897128) (← links)
- Data abstraction techniques in the validation of CSP-OZ specifications (Q5926768) (← links)