Sciweavers

SFM
2004
Springer
118views Formal Methods» more  SFM 2004»
13 years 10 months ago
On the Semantic Foundations of Standard UML 2.0
This paper provides an overview of the foundations of the run-time semantics underlying the Unified Modeling Language as defined in revision 2.0 of the official OMG standard. One o...
Bran Selic