User: Guest  Login
Title:

An Institution for UML 2.0 Static Structures

Document type:
Technical Report
Author(s):
Maria Victoria Cengarle; Alexander Knapp
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