Recent News

by Thiago Tonelli Bartolomei on June 30, 2010

The paper Swing to SWT and Back: Patterns for API Migration by Wrapping was accepted for publication at ICSM 2010. We present a study on two large, open-source GUI API wrappers in which we identify challenges faced by developers when designing the wrappers and subsequently extract design patterns from the solutions used in practice.

by Rafael Lotufo on June 30, 2010

The paper Evolution of Linux Kernel Evolution Model was accepted at SPLC 2010. It analyses the evolution of a real-world, large scale feature model, and draws conclusions on how such models evolve, their implications for tool builders, and feature modeling community.

by Kacper Bąk on June 29, 2010

There has been a lot of work on Clafer going on recently. First of all, we released a technical report about the language. It introduces Clafer's syntax and semantics, shows how to construct a sample feature-based template model, and then instantiate it in the Alloy Analyzer. More technical aspects of Clafer can be found in the CS 846 project report [PDF].

by Kacper Bąk on June 8, 2010

Our experimental Clafer to Alloy translator is available online: clafer2alloy. You can find the source code here.
We will provide Clafer documentation soon. Stay tuned!

by Mohamed AbdelRazik on April 29, 2010

The paper entitled "Requirements Determination is Unstoppable: An Experience Report" was accepted for publication in the proceedings of the Requirements Engineering 2010 conference, industrial program.

by Xiong, Yingfei on April 5, 2010
by Krzysztof Czarnecki on March 9, 2010

Krzysztof Czarnecki gave a keynote presentation at the Variability Modeling of Software-Intensive Systems (VaMoS'10), January 21-28, 2010 in Linz, Austria. The keynote sides are available from the conference site.

by Michal Antkiewicz on January 19, 2010

We completed a consulting engagement with a company X entitled The Requirements Engineering Practices and Tool Support at X in which we identified top 10 challenges with the requirements engineering practices faced by X and presented a prioritised list of tool features desired by analysts, developers, and quality assurance. During the course of the study, we identified over 700 statements (codes) stated by over 40 participants of five focus groups and 18 interviews.

by Michal Antkiewicz on November 15, 2009

The paper Engineering of Framework-Specific Modeling Languages appeared in the IEEE Transactions on Software Engineering, special section on software language engineering, vol. 35, issue 6, pp. 795-824, Nov-Dec 2009.

by Thiago Tonelli Bartolomei on May 1, 2009

The paper Supporting Framework Use via Automatically Extracted Concept-Implementation Templates was presented in the 23rd European Conference on Object-Oriented Programming (ECOOP 2009).