Templates And Generics For Translating UML Class Diagrams Into Z
White Papers This paper explores the use of templates and generics in translating from class diagrams to formal descriptions. The paper presents an approach for the translation of UML class diagrams into Z, which builds on previous work, correcting problems...
[January 1, 1970, 0:59]
Metamill
Downloads Version 5.0 supports UML 2.1 and XMI 2.1 standards, adds VB.Net round-trip engineering, support for generics in C#, VB.Net and Java. All 13 UML diagrams supported. Metamill is a professional UML 2.1 software modeling tool.
[November 27, 2007, 8:46]
Modular UML Semantics: Interpretations In Z Based On Templates And Generics
White Papers At the meta-level, semantic interpretations of UML diagrams is expressed. This paper presents a meta-modular framework for the combined use of UML and the FSL Z. This framework is based on two levels: the meta-level and the instantiation-level.
[January 1, 1970, 0:59]
