Model Search: Formalizing and Automating Constraint Solving in MDE Platforms

Mathias Kleiner, Marcos Didonet Del Fabro, Patrick Albert. Model Search: Formalizing and Automating Constraint Solving in MDE Platforms. In Thomas Kühne, Bran Selic, Marie-Pierre Gervais, François Terrier, editors, Modelling Foundations and Applications, 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010. Proceedings. Volume 6138 of Lecture Notes in Computer Science, pages 173-188, Springer, 2010. [doi]

Authors

Mathias Kleiner

This author has not been identified. Look up 'Mathias Kleiner' in Google

Marcos Didonet Del Fabro

This author has not been identified. Look up 'Marcos Didonet Del Fabro' in Google

Patrick Albert

This author has not been identified. Look up 'Patrick Albert' in Google