The following pages link to (Q4790393):
Displaying 8 items.
- Inter-deriving semantic artifacts for object-oriented programming (Q980939) (← links)
- Semantic integration of heterogeneous software specifications. (Q1428350) (← links)
- (Q4266482) (← links)
- (Q4505699) (← links)
- (Q4665722) (← links)
- (Q4855345) (← links)
- Formal justification in object-oriented modelling: A linguistic approach (Q4955649) (← links)
- Formal Models, Languages and Applications (Q5395183) (← links)