Pages that link to "Item:Q3591389"
From MaRDI portal
The following pages link to Modular Specification of Encapsulated Object-Oriented Components (Q3591389):
Displaying 4 items.
- An operational semantics for object-oriented concepts based on the class hierarchy (Q736789) (← links)
- Modular structuring of VDM specifications in VVSL (Q1184682) (← links)
- Specification by interface separation (Q1903078) (← links)
- An Algebraic Semantics for Contract-Based Software Components (Q5505425) (← links)