321 search results - page 7 / 65 » Specifying Executable Platform-Independent Models using OCL |
147
click to vote
DAIS
2007
15 years 4 months ago
2007
Constructing and executing distributed applications that can adapt to their current operating context, in order to maintain or enhance Quality of Service (QoS) attribute levels, ar...
130
Voted
ATVA
2010
Springer
15 years 17 days ago
2010
Springer
: Narrowing the wide conceptual gap between problem and implementation domains is considered a significant factor within software engineering. Currently, such a relation is often o...
114
Voted
JSS
2010
14 years 9 months ago
2010
In this paper we propose a method to derive OCL invariants from declarative model-to-model transformations in order to enable their verification and analysis. For this purpose we ...
143
Voted
JUCS
2010
14 years 9 months ago
2010
: There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UML-based Specification Environment (USE) t...
111
Voted
GI
2004
Springer
15 years 8 months ago
2004
Springer
The Action Semantics for UML provides a standard and platform independent way to describe the behavior of methods and executable actions in object-oriented system design prior to i...