Journal Article: Die inferenzbasierte Softwareentwicklungsumgebung NORA

[snelting94ife]

Gregor Snelting, Bernd Fischer, Matthias Kievernagel, Franz-Josef Grosch, Andreas Zeller, Die inferenzbasierte Softwareentwicklungsumgebung NORA, Informatik - Forschung und Entwicklung, Vol. 9, pp. 116--131, 1994.

Abstract

Die experimentelle Softwareentwicklungsumgebung NORA strebt die Nutzbarmachung neuer Ergebnisse im Bereich Unifikationstheorie und Deduktionsverfahren für Softwarewerkzeuge an. Gruppiert um eine Bibliothek wiederverwendbarer Softwarekomponenten bietet NORA interaktive Werkzeuge zum Komponentenretrieval mit Spezifikationen und Verwendungsmustern, zum unifikationsbasierten Konfigurationsmanagement sowie zur Inferenz von Varianten- und Konfigurationsstrukturen aus existierenden Quelltexten. NORA ist mit sprachspezifischem Wissen parametrisiert und kann unvollständige oder inkonsistente Information handhaben. Der Aufsatz gibt eine Übersicht ueber die Werkzeuge und die verwendeten Inferenzverfahren; abschließend wird die Systemarchitektur und die Kommunikation zwischen den Werkzeugen skizziert.

Download

[Link]

BibTeX

@article{snelting94ife,
  title = {Die inferenzbasierte Softwareentwicklungsumgebung NORA},
  year = {1994},
  volume = {9},
  pages = {116--131},
  journal = {Informatik - Forschung und Entwicklung},
  author = {Gregor Snelting and Bernd Fischer and Matthias Kievernagel and Franz-Josef Grosch and Andreas Zeller},
  url = {http://www.st.cs.uni-sb.de/publications/details/snelting-ife-1994/},
}

Authors at the institute

Department Head
Prof. Gregor Snelting

Former Staff Member
Prof. Dr. rer. nat. Bernd Fischer
Prof. Dr. Andreas Zeller