KIT | KIT-Bibliothek | Impressum

Die inferenzbasierte Softwareentwicklungsumgebung NORA

Snelting, Gregor; Fischer, Bernd; Kievernagel, Matthias; Grosch, Franz-Josef; Zeller, Andreas

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.


Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Zeitschriftenaufsatz
Jahr 1994
Sprache Deutsch
Identifikator ISSN: 0178-3564
KITopen ID: 1000017664
Erschienen in Informatik - Forschung und Entwicklung
Band 9
Heft 3
Seiten 116 - 131
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page