Forschungsprojekt Salomo: Softwareverträge automatisch mit Software abgleichen

"Im Vertrag steht aber, dass die Software das können soll..." - wer schon einmal bei der Entstehung einer Software dabei war, kennt das Dilemma: Da wird zunächst in langen Verträgen festgehalten, welche Eigenschaften und Fähigkeiten eine Software aufweisen muss. Die Überprüfung dieser Vereinbarung stellt sich aber häufig als sehr schwierig und vor allen Dingen zeitaufwändig heraus. Damit soll jetzt Schluss sein: Das Wissenschaftsministerium Baden-Württemberg fördert das Projekt "Salomo". Hier sollen technische Mittel entwickelt werden, mit deren Hilfe Software automatisiert auf Einhaltung der im Softwareerstellungsvertrag ver…