http://mw.hh.se/wg211/index.php?action=history&feed=atom&title=WG211%2FM10Kaestner 2026-04-05T19:40:35Z Revision history for this page on the wiki MediaWiki 1.43.5 http://mw.hh.se/wg211/index.php?title=WG211/M10Kaestner&diff=37&oldid=prev 2011-12-12T10:06:23Z

<p>1 revision</p> <p><b>New page</b></p><div>[[Category:WG211]]<br /> <br /> <br /> <br /> &#039;&#039;&#039;A Variability-Aware Module System&#039;&#039;&#039; by Christian Kaestner<br /> <br /> Variability in software systems makes it challenging to develop and&lt;br /&gt;analyze these systems. Especially in software product lines, in which we&lt;br /&gt;can generate up to 2^n products by selecting from n features, it is no&lt;br /&gt;longer feasible to check the generated products. Instead researchers&lt;br /&gt;have investigated variability-aware analysis that checks the whole&lt;br /&gt;product line. They found many approaches to analyze a whole product&lt;br /&gt;line, but most of them require closed-world reasoning and are not&lt;br /&gt;modular. In this context, we discuss a design of a variability-aware&lt;br /&gt;module system. Each module can contain variability and can be (type-)&lt;br /&gt;checked in isolation. We outline how open-world and closed-world&lt;br /&gt;analysis play together, how to integrate annotative and compositional&lt;br /&gt;approaches, and how a (usually global) feature model fits into this all.&lt;br /&gt;We currently explore an implementation for C scaling for the Linux kernel.</div>

Admin