Recent News

by Michal Antkiewicz on December 12, 2014

UPDATE: Available on the publishers website.

by Michal Antkiewicz on October 29, 2014

Clafer compiler, Alloy-based instance generator, and wiki 0.3.7 are released on Hackage (clafer, claferIG, claferwiki).

For more information, see post.

by Michal Antkiewicz on July 11, 2014

We are moving to a staged release model. First, Haskell-based tools, including the compiler, IG, and the wiki, followed by backends Choco3-based and Z3-based, finally followed by the web tools. This will allow us to make more frequent releases of the core components on which all others depend.

The binaries for Win, Linux, and Mac can be downloaded from Clafer Tools - Binary Distributions. There's also a "portable" distribution for Win which includes preconfigured Sublime Text 2.

For feature modeling, see Guidelines for Feature Modeling using Clafer.

For more information about the release see the post.

by Jianmei Guo on July 3, 2014

Our paper "Scaling Exact Multi-Objective Combinatorial Optimization by Parallelization" has been accepted as a full paper (acceptance rate: 55/276 ≈ 20%) at the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014). The corresponding, ongoing project is here.

by Thorsten Berger on April 30, 2014

We are co-organizing this year's FOSD'14 workshop, which is co-located with the ASE, SLE, and GPCE conference. The workshop will take place on September 14 in Västerås, Sweden. We invite paper submissions on the theory and practice of engineering feature-oriented systems.

by on April 10, 2014

 Our paper, which explores techniques to reduce the Kodkod universe size and speed up solving times for SPL optimization in Alloy,  has been accepted as a short research paper at ABZ'14, and will be presented this June in Toulouse, France.

by Leonardo Passos on March 30, 2014

This paper describes a dataset of feature additions and removals in the Linux kernel evolution history, spanning over seven years of kernel development. Features, in this context, denote configurable system options that users select when creating customized kernel images. The provided dataset is the largest corpus we are aware of capturing feature additions and removals, allowing researchers to assess the kernel evolution from a feature-oriented point-of-view.

by Michal Antkiewicz on March 18, 2014

UPDATE: the preprint of the paper is now available.

by Michal Antkiewicz on February 28, 2014

UPDATE: The preprint of the paper is now available.

by Michal Antkiewicz on February 24, 2014

We are co-organizing a Copenhagen Meeting on Variability Management'2014 which will take place at ITU Copenhagen on Monday, March 3rd, 2014.

Similarly to the Product Line Engineering Workshop'2013 @ University of Waterloo, the meeting can be attended both in-person and on-line. The information for on-line attendance will be posted on the meeting's page.

UPDATE (Mar 9, 2014): The video recordings of all talks are now available on the meeting's page.