Everyone in our lab is free to work on what they want to work on. Encouragement and constructive feed back is always available.
Clafer
Clafer is a lightweight modeling language. More information on the official website: clafer.org
Downloads
To download visit Clafer Tools - Binary DistributionsTeam Members
News
Tools
Publications
"Clafer Tools for Product Line Engineering",
Software Product Line Conference, Tokyo, Japan, 2013.
[pdf]
"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]
"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.
[pdf]
"Correcting Clafer Models with Automated Analysis",
Generative Software Development Laboratory, Waterloo, University of Waterloo, 04/2012.
[pdf]
"Feature and Meta-Models in Clafer: Mixed, Specialized, and Coupled",
3rd International Conference on Software Language Engineering, Eindhoven, The Netherlands, 10/2010.
[pdf][pdf]
"Feature and Class Models in Clafer: Mixed, Specialized, and Coupled",
David R. Cheriton School of Computer Science, Waterloo, University of Waterloo, 06/2010.


