Technical Report: Analyse von Softwarevarianten

[lindig98tr]

Christian Lindig, Analyse von Softwarevarianten, Technical Report, January 1998.

Abstract

Software-Quelltexte werden oft durch den Einsatz eines Präprozessors an verschiedenen Zielplattformen angepaßt. Aus einem Quelltext entstehen dabei durch den Präprozessor verschiedene Varianten der Software, die einen Variantenverband bilden. Formale Begriffsanalyse ist eine mathematische Theorie, mit deren Hilfe der Variantenverband von Quelltexten effizient bestimmt werden kann. Darüberhinaus können Redundanzen in der Beschreibung der Variantenstruktur entdeckt und entfernt werden.

Download

[Link]

BibTeX

@techreport{lindig98tr,
  title = {Analyse von Softwarevarianten},
  year = {1998},
  month = jan,
  journal = {Computer Science Report 98-04},
  author = {Christian Lindig},
  url = {http://www.st.cs.uni-sb.de/%7Elindig/papers/lindig-tr04-1998.pdf},
}

Authors at the institute

Former Staff Member
Dr. rer. nat. Christian Lindig