73 search results - page 7 / 15 » Structured Axiomatic Semantics for UML Models |
158
Voted
ECOOP
2000
Springer
15 years 10 months ago
2000
Springer
The Unified Modeling Language (UML) currently proposes a mechanism to model recurrent design structures: the parameterized collaborations. The main goal of this mechanism is to mo...
200
Voted
LICS
2009
IEEE
16 years 14 days ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...
169
Voted
ISORC
2000
IEEE
15 years 10 months ago
2000
IEEE
The decomposition of large systems into parts is a general principle of software design. Even more, in the scope of distributed systems a partition of the whole system into distri...
159
Voted
UML
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Nowadays, object-oriented meta-languages such as MOF (MetaObject Facility) are increasingly used to specify domain-specific languages in the model-driven engineering comm...
145
Voted
ECSA
2008
Springer
15 years 7 months ago
2008
Springer
Architectural patterns have an impact on both the structure and the behavior of a system at the architecture design level. However, it is challenging to model patterns' behavi...