« Forschungslandschaft: Projekte

Software-Produktlinien sind Familien von zusammenhängenden Softwaresystemen, die unter Berücksichtigung der Variabilität während des gesamten Entwicklungsprozesses entwickelt werden. Bei modellbasierten Verfeinerungsmethoden (z.B. ASM, Event-B, Z, VDM) werden Systeme durch schrittweise Verfeinerung eines abstrakten, formalen Modells entwickelt.

In diesem Projekt entwickeln wir Konzepte zur Kombination von modellbasierten Verfeinerungsmethoden und Software-Produktlinien. Diese Kombination zielt zum einen darauf ab, die Kosteneffizienz der Anwendung formaler Methoden zu verbessern, indem der hohe Wiederverwendungsgrad von Software-Produktlinien genutzt wird. Andererseits hilft sie, die Komplexität von Produktlinien zu bewältigen, indem sie Mittel zur Verfügung stellt, um Fehler auf einer hohen Abstraktionsebene und früh im Entwicklungsprozess zu erkennen.