306 search results - page 28 / 62 » UML Semantics FAQ |
JUCS
2010
14 years 4 months ago
2010
: Educational standards alignment, which matches similar or equivalent concepts of educational standards, is a necessary task for educational resource retrieval. In order to automa...
UML
2005
Springer
15 years 3 months ago
2005
Springer
Today, model-driven development is getting more sophisticated and can be used for modeling enterprises and developing application systems. Since current interoperability solutions ...
143
click to vote
FMOODS
2008
14 years 11 months ago
2008
In this work, novel symbolic step encodings of the transition relation for object based communicating state machines are presented. This class of systems is tailored to capture the...
VVEIS
2008
14 years 11 months ago
2008
This paper presents an executable semantics of OO models. We made it possible to conduct both simulation and theorem proving on the semantics by implementing its underlying heap me...
ICSE
2004
IEEE-ACM
15 years 9 months ago
2004
IEEE-ACM
SLAng is an XML language for defining service level agreements, the part of a contract between the client and provider of an Internet service that describes the quality attributes...