Clafer

Clafer is a lightweight modeling language. More information on the official website: clafer.org

Downloads

To download visit Clafer Tools - Binary Distributions

Team Members

News

Tools

Publications

2013
Bąk, K., D. Zayan, K. Czarnecki, M. Antkiewicz, Z. Diskin, A. Wąsowski, and D. Rayside, "Example-Driven Modeling. Model = Abstractions + Examples", New Ideas and Emerging Results (NIER) track of the 35th International Conference on Software Engineering (ICSE 2013), San Francisco, CA, USA, 2013. [pdf]
Murashkin, A., M. Antkiewicz, D. Rayside, and Krzysztof Czarnecki, "Visualization and Exploration of Optimal Variants in Product Line Engineering", Software Product Line Conference, Tokyo, Japan, 2013.
Murashkin, A., Web-based GUI for Pareto front design and analysis, , no. GSDLAB-TR 2013-02-04, Waterloo, University of Waterloo, 2013.
2012
Liang, J., "Solving Clafer Models with Choco", Generative Software Development Laboratory, no. GSDLab-TR 2012-12-30: University of Waterloo, 12/2012. [pdf]
Liang, J., "Correcting Clafer Models with Automated Analysis", Generative Software Development Laboratory, Waterloo, University of Waterloo, 04/2012. [pdf]
2010
Bąk, K., K. Czarnecki, and A. Wąsowski, "Feature and Meta-Models in Clafer: Mixed, Specialized, and Coupled", 3rd International Conference on Software Language Engineering, Eindhoven, The Netherlands, 10/2010. [pdf][pdf]
Bąk, K., K. Czarnecki, and A. Wąsowski, "Feature and Class Models in Clafer: Mixed, Specialized, and Coupled", David R. Cheriton School of Computer Science, Waterloo, University of Waterloo, 06/2010.