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

Domain Concept Modeling Using Clafer - Tutorial (v. 9.2)
by Michal Antkiewicz on March 20, 2012

This tutorial (attached) introduces domain concept modeling using Clafer. The tutorial explains concept modeling using well-known document and slide structuring metaphors, easy to understand examples, and then it introduces Clafer a bit more precisely. The tutorial also contains an exercise: modeling of the concept Book and a reference solution. We recommend working with the tutorial in the following way:
What's Going on with Clafer?
by Kacper Bąk on February 16, 2012

Clafer has become one of the major projects in our lab. It is growing much faster than I ever expected. More and more people are involved in the project or work on its applications. We have been progressing in the following areas:

Language Design and Tools

  • Translator - many bugs got fixed in the Clafer translator and the language includes more and more constructions that support lightweight modeling.
ETAPS'12 News
by Zinovy Diskin on February 4, 2012

ETAPS is an umbrella venue for several established conferences and workshops. This year we have three contributions to ETAPS:
= Our paper Intermodeling, queries, and Kleisli categories will be presented at FASE'12
= Yingfei and Zinovy were in the PC of the BX'12 Workshop, which is striving to be a visible point on the map. The next edition, BX'13, is already accepted to be affiliated with ETAPS'13. The program of BX'12 is here

ECC fixer 0.1 released
by Xiong, Yingfei on February 4, 2012

We have released ECC fixer 0.1. This is a preliminary release mainly served as supplementary material for paper Generating Range Fixes for Software Configuration.

"Generating Range Fixes for Software Configuration" accepted at ICSE'12
by Xiong, Yingfei on January 26, 2012

Based on our survey, solving configuration errors and activating inactive features are two main challenges faced by today's configurator users. This paper proposes a new concept, range fixes, to assist users dealing with the two challenges. A technical report version of the paper can be found here.
More news...

We've got lots of freedom and independence, but you are never on your own when you encounter problems.

Kacper Bąk

Our regular stand-up scrum meetings are a great way to have regular interaction with other team members, as well as our supervisor.

Rafael Lotufo