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.
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...
Más información
