Tagged by "Clafer"

• Debugging and Fixing Inconsistencies in Clafer Models

Members

• Michał Antkiewicz, Ph.D.
• Clone of Kacper Bąk, B.Sc.
• Kacper Bąk, B.Sc.
• Krzysztof Czarnecki, Ph.D., P.Eng.
• Jimmy Liang , B.Sc

News Items

• Concept Modeling with OWL and Clafer
• Concrete-to-abstract modeling with Clafer example (draft v.3)
• Clafer News
• Feature and Meta-Models in Clafer: Mixed, Specialized, and Coupled has been accepted at SLE 2010
• Big Clafer update
• What's Going on with Clafer?
• Real-world Variability Models in Clafer
• Clafer to Alloy Translator
• Clafer Tools 0.3.2 Released

(Publication)

• Clafer Source Code
• Test Case Generation from Clafer Models; Generation of Abstract Models from Test Cases
• Clafer Model Repository
• Clafer Wiki - a collaborative modeling environment

Publications

• Feature and Meta-Models in Clafer: Mixed, Specialized, and Coupled
• Example-Driven Modeling. Model = Abstractions + Examples
• Web-based GUI for Pareto front design and analysis
• Solving Clafer Models with Choco

Projects

• Clafer

Supporting Material Pages

• SLE 2010 Supporting Material
• The Telematics Example

Tools

• Clafer Compiler
• Clafer Tools - Binary Distributions
• Clafer Parser in Java
• CDL to Clafer translator