Our regular stand-up scrum meetings are a great way to have regular interaction with other team members, as well as our supervisor.
Clafer Update
by Kacper Bąk on June 29, 2010
There has been a lot of work on Clafer going on recently. First of all, we released a technical report about the language. It introduces Clafer's syntax and semantics, shows how to construct a sample feature-based template model, and then instantiate it in the Alloy Analyzer. More technical aspects of Clafer can be found in the CS 846 project report [PDF].
Right now, we are evaluating Clafer on publicly available examples of feature models, meta-models and feature-based model templates. Some of the models are available in the SPLOT and SXFM formats. If you want to play with Clafer, don't miss the tools: splot2clafer and ecore2clafer!
