5525 search results - page 379 / 1105 » Verification of Model Transformations |
224
click to vote
CAISE
2001
Springer
15 years 11 months ago
2001
Springer
XML is fast becoming the standard for information exchange on the Internet. As such, information expressed in XML will need to be integrated with existing information systems, whi...
191
click to vote
STTT
2010
15 years 5 months ago
2010
Kermeta is a meta-language for specifying the structure and behavior of graphs of interconnected objects called models. In this paper, we show that Kermeta is relatively suitable f...
153
click to vote
ER
2004
Springer
16 years 8 days ago
2004
Springer
There exist several recent approaches that leverages the use of model transformations during software development. The existence erent kinds of models, at different levels of abst...
189
click to vote
WSC
2008
15 years 9 months ago
2008
Currently, system engineering problems are solved using a wide range of domain-specific models and corresponding languages. It is unlikely that a single unified modeling language ...
226
click to vote
ICDCN
2012
Springer
14 years 2 months ago
2012
Springer
Cloud computing is a paradigm that has the potential to transform and revolutionalize the next generation IT industry by making software available to end-users as a service. A clou...