About the GSD Lab

Generative software development aims at modeling and implementing system families such that a desired system can be automatically generated from a specification written in one or more textual or graphical domain-specific languages.

Recent News

by Jianmei Guo on February 15, 2015

Our paper "Automated Decomposition and Allocation of Automotive Safety Integrity Levels Using Exact Solvers" has been accepted at SAE 2015 World Congress & Exhibition. More information is here.

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 clafer.org 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 clafer.org 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.