Pages that link to "Item:Q5311303"
From MaRDI portal
The following pages link to Formal Methods for Components and Objects (Q5311303):
Displaying 5 items.
- Odyssey-SCM: An integrated software configuration management infrastructure for UML models (Q877020) (← links)
- Consistency of the static and dynamic components of object-oriented specifications (Q2778415) (← links)
- Refinement via consistency checking in MDA (Q2863838) (← links)
- (Q4251476) (← links)
- (Q5465489) (← links)