5525 search results - page 145 / 1105 » Verification of Model Transformations |
157
click to vote
SOSYM
2010
15 years 1 months ago
2010
Model driven development (MDD) of software product lines (SPLs) merges two increasing important paradigms that synthesize programs by transformation. MDD creates programs by transf...
152
click to vote
SIGMOD
2008
ACM
15 years 2 months ago
2008
ACM
The First International Workshop on Transforming and Weaving Ontologies in Model Driven Engineering (TWOMDE 2008), affiliated with the 11th International Conference on Model Drive...
128
click to vote
ECMDAFA
2005
Springer
15 years 9 months ago
2005
Springer
Model-Integrated Computing (MIC) is an approach to Model-Driven Architecture (MDA), which has been developed primarily for embedded systems. MIC places strong emphasis on the use o...
169
Voted
SOSYM
2010
15 years 1 months ago
2010
Abstract The Unified Modeling Language (UML) is the de facto language used in the industry for software specifications. Once an application has been specified, Model Driven Arch...
119
Voted
ECBS
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract—Many design steps during system development like functional partitioning, refactoring of the architecture, or the mapping to the platform - can be understood as an explo...