Pages that link to "Item:Q1428350"
From MaRDI portal
The following pages link to Semantic integration of heterogeneous software specifications. (Q1428350):
Displaying 8 items.
- Extending standard UML with model composition semantics (Q701025) (← links)
- Consistent integration of models based on views of meta models (Q973049) (← links)
- Compositional comparison of formal software specifications using transformation systems. (Q1602272) (← links)
- (Q4472454) (← links)
- Towards a Formal Framework for Inter-Enterprise Application Integration (Q4923536) (← links)
- A Foundational View on Integration Problems (Q5200111) (← links)
- A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams (Q5404182) (← links)
- Integrated Formal Methods (Q5901619) (← links)