Searching for "Semantics and Transformations for UML Models." – sorted by Relevance.
4 documents found, showing 1 through 4.
-
Towards Formal Verification Of Model Transformations
- … well-defined semantics. Transformations of UML Models. However, as the formal semantics of different…
- Cited by 1 (1 self) – Add To MetaCart
-
Towards a Framework for the Development of Precise Semantics for the UML
- … semantic implications. As illustrated in Fig. 3 a syntactic transformation of "UML model" to a "Transformed…
- Add To MetaCart
-
Towards Symbolic Analysis of Model Transformations
- …. Therefore, the use of graph transformation [11] for capturing the semantics of UML models…
- Cited by 1 (1 self) – Add To MetaCart
-
Multi-View Software Evolution: A UML-based Framework for Evolving Object-Oriented Software
- … analyzed. Such transformations use the semantics of the models to determine what properties can be inferred…
- Cited by 12 (4 self) – Add To MetaCart
Showing 1 through 4.
