The following pages link to (Q4505699):
Displaying 9 items.
- Inter-deriving semantic artifacts for object-oriented programming (Q980939) (← links)
- Integrating object-oriented model with object-oriented metamodel into a single formalism (Q2737496) (← links)
- A note on semantics (with an emphasis on UML) (Q2737500) (← links)
- (Q4266482) (← links)
- Object-oriented modelling and specification using SHE (Q4329559) (← links)
- (Q4665722) (← links)
- (Q4855345) (← links)
- (Q4925878) (← links)
- Formal justification in object-oriented modelling: A linguistic approach (Q4955649) (← links)