Recent News

by Thiago Tonelli Bartolomei on July 24, 2011

The paper Two Studies of Framework-Usage Templates Extracted from Dynamic Traces was accepted for publication at the IEEE Transactions on Software Engineering journal. In this paper we present the results of two experiments conducted to evaluate the quality and usefulness of FUDA, a technique to extract concept-implementation templates from usage traces.

by Novakovic, Marko on July 19, 2011

A Study of Non-Boolean Constraints in Variability Models of an Embedded Operating System was accepted at ACM 3rd International Workshop on Feature-Oriented Software Development (FOSD) (

The study results in a benchmark, produced as a set of Clafer models. The benchmark is available on

by Xiong, Yingfei on July 19, 2011

From State- to Delta-based Bidirectional Model Transformations: The Symmetric Case and Correctness of Model Synchronization Based on Triple Graph Grammars were accepted at ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems.

by Xiong, Yingfei on June 30, 2011

Our paper "From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case" has been accepted at Journal of Object Technology. This is an extended version of our ICMT'10 paper.

by Rehan Rauf on May 7, 2011

The paper entitled Logical Structure Extraction from Software Requirements Documents has been accepted as a full length paper in the technical program of 19th IEEE International Requirements Engineering Conference (RE'11) and will be included in the conference proceedings and IEEE digital library. Out of 138 papers received, 23 have been accepted as full papers in the technical track with an acceptance rate of 16.7%.

by Thiago Tonelli Bartolomei on January 21, 2011

Our paper on "An integrated repository for API migration" has been accepted at the 1st International Workshop on Model-Driven Software Migration (MDSM) 2011. The work is in collaboration with Ralf Laemmel and his students at the Software Languages Lab at the University of Koblenz-Landau.

by Kacper Bąk on December 3, 2010

There have been several developments to Clafer recently. First of all, our SLE paper got updated due to a flaw in the telematics example. Secondly, we are developing a Clafer implementation in MPS. It is a great playground for experimenting with new language features, syntactic elements and semantic variants. A screenshot showing the telematics example is attached below. Our experience with MPS has been very positive so far. The project will be released soon. Stay tuned!

by Steven She on November 23, 2010

Our paper, "Reverse Engineering Feature Models", has been accepted at the upcoming ICSE 2011 conference.

by Xiong, Yingfei on October 31, 2010

Paper Specifying Overlaps of Heterogeneous Models for Global Consistency Checking was selected as one of the two best papers at MDI'10 and will appear in the post-proceedings of MoDELS workshops.

by Krzysztof Czarnecki on October 17, 2010

Krzysztof Czarnecki gave a tutorial on "Model transformation" at the Modeling Wizard Summer School, Sep. 30 - Oct. 2, 2010, Oslo, Norway. The slides are available below as attachments. The tutorial was largely based on the 2006 survey.