An Institution for UML 2.0 Interactions

Title:: An Institution for UML 2.0 Interactions
Document type:: Technical Report
Author(s):: Victoria Cengarle; Alexander Knapp
Abstract:: This work presents the theory of UML 2.0 interactions, that is proven to define an institution.
Keywords:: UML 2.0 Interactions; Institutions
Year:: 2008
Year / month:: 2008-04-01 00:00:00
Pages:: 10
BibTeX

Occurrences: