Slot Tool

Ein durch die HHU gefördertes Projekt mit dem Ziel zu überprüfen, ob die Stundenpläne den juristischen Anforderungen bezüglich der Studiendauer genügen. Zum Beispiel müssen Studierende der philosophischen Fakultät in der Lage sein jede angebotene Kombination von Kern- und Ergänzungsfach im vorgesehenen Zeitrahmen (Bei Vollzeitstudium: 6 Semester) studieren zu können. Das Projekt benutzt den Constraintsolver von ProB um die Anforderungen zu überprüfen und soll es auch ermöglichen die Stundenpläne anzupassen und zu optimieren.

Thales Formal RBC

Thales Formal RBC ist ein Forschungsprojekt mit der Firma Thales Deutschland. Der vollständige Projekttitel ist  "Software Architecture for Effective Parametric Verification and Validation of an RBC System".

Verantwortlich für den Inhalt: E-Mail sendenWE Informatik