1009 search results - page 74 / 202 » transML: A Family of Languages to Model Model Transformation... |
163
click to vote
UML
2005
Springer
15 years 12 months ago
2005
Springer
UML semantic variation points provide intentional degrees of freedom for the interpretation of the metamodel semantics. The interest of semantic variation points is that UML now b...
155
click to vote
CAV
2005
Springer
15 years 12 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
154
click to vote
ESWS
2009
Springer
16 years 29 days ago
2009
Springer
As social networks are becoming ubiquitous on the Web, the Semantic Web goals indicate that it is critical to have a standard model allowing exchange, interoperability, transformat...
177
click to vote
SACMAT
2006
ACM
16 years 10 days ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
149
click to vote
SERA
2005
Springer
15 years 12 months ago
2005
Springer
The development of a family of applications in a domain can be greatly eased if patterns in the domain are systematically reused. Systematic use of such a pattern can be achieved ...