HOME | DEUTSCH | IMPRESSUM | KIT

Conference Papers: Formale Begriffsanalyse im Software Engineering

[lindig99tr]Christian Lindig, Gregor Snelting, Formale Begriffsanalyse im Software Engineering, Gerhard Stumme and Bernhard Wille (Ed.), Begriffliche Wissensverarbeitung: Methoden und Anwendungen, pp. 151--175, Springer, January 1999. also TechReport TU Braunschweig - Hochschulverlag

Abstract

Reuse und Reengineering sind aktuelle Probleme im Software-Engineering. Reuse zielt auf die Wiederverwendung von Software-Komponenten oder -Schablonen aus einer Bibliothek; dazu ist es notwendig, effektive Verfahren zur Komponentensuche bereitzustellen. Reengineering befaßt sich mit der Rekonstruktion von Systemstrukturen aus alter Software; Ziel ist es, Altsoftware so zu transformieren, daß sie auch weiterhin lebensfähig bleibt. Wir präsentieren zwei Werkzeuge zur Unterstützung von Reuse und Reengineering, die auf formaler Begriffsanalyse basieren. Nora/Recs rekonstruiert Konfigurationsstrukturen aus Quelltexten und stellt sie graphisch dar. Man erhält bemerkenswerte Einsichten in die Struktur des Konfigurationsraums: alle Abhängigkeiten zwischen Konfigurationspfaden werden dargestellt, und unerwünschte Interferenzen zwischen Konfigurationen werden aufgedeckt. Nora/Focs bietet interaktive, inkrementelle Unterstützung zur Suche in Software-Komponentenbibliotheken, in denen die einzelnen Komponenten mit Attributen indiziert sind.

Download

  [PDF]

BibTeX

Authors at the institute

Department Head
Prof. Gregor Snelting
Former Staff Member
Dr. rer. nat. Christian Lindig