Everyone in our lab is free to work on what they want to work on. Encouragement and constructive feed back is always available.
Clafer is a lightweight modeling language. More information on the official website: clafer.org
DownloadsTo download visit Clafer Tools - Binary Distributions
"Clafer Tools for Product Line Engineering", Software Product Line Conference, Tokyo, Japan, 2013.
"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.
"Visualization and Exploration of Optimal Variants in Product Line Engineering", Software Product Line Conference, Tokyo, Japan, 2013.
Web-based GUI for Pareto front design and analysis, , no. GSDLAB-TR 2013-02-04, Waterloo, University of Waterloo, 2013.
"Solving Clafer Models with Choco", Generative Software Development Laboratory, no. GSDLab-TR 2012-12-30: University of Waterloo, 12/2012.
"Correcting Clafer Models with Automated Analysis", Generative Software Development Laboratory, Waterloo, University of Waterloo, 04/2012.
"Feature and Meta-Models in Clafer: Mixed, Specialized, and Coupled", 3rd International Conference on Software Language Engineering, Eindhoven, The Netherlands, 10/2010.
"Feature and Class Models in Clafer: Mixed, Specialized, and Coupled", David R. Cheriton School of Computer Science, Waterloo, University of Waterloo, 06/2010.