Real-world Variability Models in Clafer

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.