Recent News

by Steven She on July 14, 2010

Our publication Variability Modeling in the Real: A Perspective from the Operating Systems Domain has been accepted for publication at ASE 2010. We studied two large variability modeling languages—Kconfig and the Component Description Language (CDL)—used in the Linux and eCos operating system kernels respectively. We compared the two languages to feature modeling and discovered that feature modeling concepts are used in practice; however, more advanced concepts such as visibility conditions, derived features and binding modes were also needed. We identified significant limitations of existing configurators that will be of interest to variability modeling language and tool designers.

The slides for the ASE 2010 talk are available here.

by Kacper Bąk on July 10, 2010

Evaluation of a language is an important part of research. It helps to verify correctness of a solution, asses its efficiency, and investigate expressiveness. Recently, we have evaluated Clafer on over 60 realistic examples of feature models, meta-models, and feature-based templates. For each model, we performed instance finding analysis, since many other analyses can be reduced to this problem. For slices of meta-models and feature-based templates element liveness was verified, because it is another example of a non-trivial analysis.

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.