People in the lab are very enthusiastic about what they do. The environment is very stimulating and soon you realize that most of the limits are those in your head.
Real-world Variability Models in Clafer
by Kacper Bąk on September 16, 2011
In the lab we investigate variability models that are used in large software projects. We also work on Clafer, which is a language for modeling software product lines and representing variabilities. Those two lines of research emerged recently. As a result we present a repository of realistic variability models in Clafer. The two preliminary models include the Linux kernel and eCos. Clafer documentation contains additional information about the language and a tutorial.
