Sciweavers

SFM
2004
Springer
118views Formal Methods» more  SFM 2004»
14 years 2 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