3984 search results - page 65 / 797 » A Model-Driven Transformation Method |
149
Voted
IFM
2010
Springer
15 years 1 months ago
2010
Springer
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...
130
Voted
PR
2002
15 years 3 months ago
2002
This paper considers invariant texture analysis. Texture analysis approaches whose performances are not a ected by translation, rotation, a ne, and perspective transform are addre...
138
click to vote
SPIN
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. This paper describes three program transformations that extend the scope of model checkers for Java programs to include distributed programs, i.e., multi-process programs...
128
Voted
ICHIT
2009
Springer
15 years 10 months ago
2009
Springer
Middleware facilitates the development of distributed systems by accommodating heterogeneity, hiding distribution details and providing a set of common and domain specific service...
143
Voted
FSEN
2009
Springer
15 years 7 months ago
2009
Springer
The rCOS modeler implements the requirements modelling phase of a model driven component-based software engineering process. Components are specified in rCOS, a relational calculus...