http://mw.hh.se/wg211/index.php?action=history&feed=atom&title=WG211%2FM8Apel 2026-04-05T23:10:09Z Revision history for this page on the wiki MediaWiki 1.43.5 http://mw.hh.se/wg211/index.php?title=WG211/M8Apel&diff=263&oldid=prev 2011-12-12T10:06:28Z

<p>1 revision</p> <p><b>New page</b></p><div>[[Category:WG211]]<br /> <br /> <br /> =Safe Generation in Feature-Oriented Software Development=<br /> ==Sven Apel==<br /> <br /> Feature-oriented software development (FOSD) is an emerging paradigm that provides a multitude of formalisms, methods, languages, and tools for building well-structured, customizable, and extensible software systems. The idea is to decompose software along its end-user visible features and to generate tailored software systems based on feature selections of users. The set of valid feature combinations of a domain is called a software product line.&lt;br /&gt;&lt;br /&gt;In this talk, I will give an overview of some recent developments in this field. Especially, I will concentrate on recent attempts to ensure correctness properties throughout the FOSD process. This includes work on type checking, formal verification, and feature interaction analysis of feature-oriented software product lines.</div>

Admin