Michal Antkiewicz, Kacper Bak, Krzysztof Czarnecki, Zinovy Diskin, Dina Zayan, Andrzej Wasowski. Example-Driven Modeling using Clafer. In Marouane Kessentini, Philip Langer, Houari A. Sahraoui, editors, Proceedings of the First International Workshop on Model-driven Engineering By Example co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), Miami, Florida, USA, September 29, 2013. Volume 1104 of CEUR Workshop Proceedings, pages 32-41, CEUR-WS.org, 2013. [doi]
Abstract is missing.