Sciweavers

3410 search results - page 117 / 682
» Measuring Model Transformation in Model Driven Development
Sort
View
AGTIVE
2007
Springer
16 years 14 days ago
A First Experimental Evaluation of Search Plan Driven Graph Pattern Matching
Abstract. With graph pattern matching the field of graph transformation (GT) includes an NP-complete subtask. But for real-life applications it is essential that graph pattern mat...
Gernot Veit Batz, Moritz Kroll, Rubino Geiß
ICLP
2007
Springer
16 years 13 days ago
Automatic Correctness Proofs for Logic Program Transformations
Abstract. The many approaches which have been proposed in the literature for proving the correctness of unfold/fold program transformations, consist in associating suitable well-fo...
Alberto Pettorossi, Maurizio Proietti, Valerio Sen...
IJCIS
2007
101views more  IJCIS 2007»
15 years 6 months ago
Applying MDE to the Development of Flexible and Reusable Wireless Sensor Networks
by allowing designers to model their systems at different abstraction levels, providing them omatic model transformations to incrementally refine abstract models into more concrete...
Cristina Vicente-Chicote, Fernando Losilla, B&aacu...
ICCBR
2005
Springer
15 years 11 months ago
Learning Similarity Measures: A Formal View Based on a Generalized CBR Model
Abstract. Although similarity measures play a crucial role in CBR applications, clear methodologies for defining them have not been developed yet. One approach to simplify the de...
Armin Stahl
KBSE
2009
IEEE
16 years 1 months ago
A Petri Net Based Debugging Environment for QVT Relations
—In the Model-Driven Architecture (MDA) paradigm the Query/View/Transformation (QVT) standard plays a vital role for model transformations. Especially the high-level declarative ...
Manuel Wimmer, Gerti Kappel, Johannes Schönb&...