Algebras for Feature-Oriented Software Development

This book systematically presents the underlying mathematical structures and foundations of feature orientation in the fields of software development. New algebras are proposed and thorough investigations and discussions of their algebraic laws as well as insights on their practical applications are provided. Feature-oriented programming and feature-oriented software development have been established in computer science as a general programming paradigm that provides formalisms, methods, languages, and tools for building maintainable, customizable, and extensible software. Feature orientation has widespread applications, ranging from network protocols and data structures to software product lines.

Andreas Zelend was born in 1982. From 2004 to 2010 he studied Computer Science at the University of Augsburg. Afterwards he worked as a researcher for the professorship for programming methodology and multimedia informations systems at the University of Augsburg. His research topics include algebra-based feature-oriented program-synthesis, program verification, algebraic descriptions of systems as well as automated reasoning. In 2020 he received his doctor's degree for the thesis presented in this book.