TY - JOUR A1 - Batory, Don A1 - Höfner, Peter A1 - Köppl, Dominik A1 - Möller, Bernhard A1 - Zelend, Andreas T1 - Structured document algebra in action T2 - Lecture Notes in Computer Science N2 - A Structured Document Algebra (SDA) defines modules with variation points and how such modules compose. The basic operations are module addition and replacement. Repeated addition can create nested module structures. SDA also allows the decomposition of modules into smaller parts. In this paper we show how SDA modules can be used to deal algebraically with Software Product Lines (SPLs). In particular, we treat some fundamental concepts of SPLs, such as refinement and refactoring. This leads to mathematically precise formalization of fundamental concepts used in SPLs, which can be used for improved Feature-Oriented Software Development (FOSD) tooling. Y1 - 2015 UR - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/58737 UR - https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-587375 SN - 9783319155449 SN - 9783319155456 SN - 0302-9743 SN - 1611-3349 VL - 8950 SP - 291 EP - 311 PB - Springer International CY - Cham ER -