Pages that link to "Item:Q3507375"
From MaRDI portal
The following pages link to A Heterogeneous Approach to UML Semantics (Q3507375):
Displaying 17 items.
- Encapsulating formal methods within domain specific languages: a solution for verifying railway scheme plans (Q475379) (← links)
- Combining UML and ontology: an exploratory survey (Q2197800) (← links)
- (Q2764158) (← links)
- Model-Driven Engineering in the Heterogeneous Tool Set (Q2797864) (← links)
- What Is a Multi-modeling Language? (Q3184725) (← links)
- Heterogeneous Logical Environments for Distributed Specifications (Q3184737) (← links)
- (Q3370739) (← links)
- (Q4472454) (← links)
- (Q4473502) (← links)
- (Q4779556) (← links)
- UMT-domains: A Survey (Q5119691) (← links)
- A Homage to Martin Wirsing (Q5256328) (← links)
- Ode to the PST (Q5256333) (← links)
- An Institution for Object-Z with Inheritance and Polymorphism (Q5256346) (← links)
- Institutions for OCL-Like Expression Languages (Q5256349) (← links)
- Towards an Institutional Framework for Heterogeneous Formal Development in UML (Q5256350) (← links)
- (Heterogeneous) structured specifications in logics without interpolation (Q6599623) (← links)