Symbolisches Model Checking variabler Verhaltensspezifikationen
Konsistenzprüfung von Domänenspezifikationen im Rahmen der Softwareproduktlinienentwicklung »

Automatische Verbesserung von orthogonalen Variabilitätsmodellen
Konsistenzprüfung und Korrektur von Variabilitätsmodellen für Softwareproduktlinien »