KORSO

Modulare und wiederverwendbare Spezifikationen

In diesem gerade ausgelaufenen BMFT-Verbundprojekt wurde ein formaler Rahmen für die Wiederverwendung bestehender Softwarekomponenten geschaffen. Insbesondere wurden auf algebraischen Spezifikationsmethoden basierende Verfahren für die abstrakte Repräsentation von Softwarekomponenten, für deren Auffinden in einer Komponentenbibliothek und für deren Anpassung und Integration in ein Gesamtsystem entwickelt.

Erreicht werden sollen damit kürzere Entwicklungszeiten bei der Softwarekonstruktion, höhere Zuverlässigkeit der produzierten Systeme und darüber hinaus geringere Kosten bei der Softwarewartung.

Ansprechpartner: Stefan Gastinger.

Mehr Information zu diesem Projekt auf der KORSO Seite .

Liste aller Projekte

Institut

Universität