Technischer Bericht: Analyse von Softwarevarianten

[lindig98tr]

Christian Lindig, Analyse von Softwarevarianten, Technischer Bericht, January 1998.

Zusammenfassung

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},
}

Institutsinterne Autoren

Ehemalige Mitarbeiter
Dr. rer. nat. Christian Lindig