An Institution for UML 2.0 Static Structures

Document type:: Technical Report
Author(s):: Maria Victoria Cengarle; Alexander Knapp
Title:: An Institution for UML 2.0 Static Structures
Abstract:: This work presents the theory of UML 2.0 static structures (or class diagrams), that is proven to define an institution.
Keywords:: UML 2.0 Static Structures; Institutions
Year:: 2008
Year / month:: 2009-06-17 00:00:00
Pages:: 14
BibTeX

Occurrences: