We've got lots of freedom and independence, but you are never on your own when you encounter problems.
The variability model constraints benchmark
This page provides the benchmark of variability model constraints described in the paper "A study of non-Boolean constraints in a variability model of an embedded operating system". The benchmark is given as a set of Clafer models. The .zip file provides the complete benchmark of all 116 Clafer models we produced.
| Attachment | Size |
|---|---|
| eCos-benchmark-clafer.zip | 3.46 MB |
