6434 search results - page 97 / 1287 » Model Transformations with Reference Models |
128
Voted
HICSS
2003
IEEE
15 years 10 months ago
2003
IEEE
A key advantage for the use of a Domain-Specific Language (DSL) is the leverage that can be captured from a concise representation of a programmer’s intention. This paper report...
166
click to vote
ECMDAFA
2006
Springer
15 years 8 months ago
2006
Springer
Building service-based architectures has become a major area of interest since the advent of Web services. Modelling these architectures is a central activity. Model-driven archite...
140
click to vote
CLEIEJ
2010
15 years 2 months ago
2010
Global Model Management (GMM) is a model-based approach for managing large sets of interrelated heterogeneous and complex MDE artifacts. Such artifacts are usually represented as ...
118
click to vote
DAC
1996
ACM
15 years 9 months ago
1996
ACM
Abstract-An efficient full-wave electromagnetic analysis tool would be useful in many aspects of engineering design. Development of integral-equation based tools has been hampered ...
149
click to vote
IFIP
2004
Springer
15 years 10 months ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...