inf453 - Kombination von Spezifikationstechniken (Veranstaltungsübersicht)

Am Ende der Vorlesungszeit

Fachpraktische Übungen und mündliche Prüfung.

Einführung in die Spezifikationssprachen Z für Daten, CSP für Prozesse und deren Kombination CSP-OZ für reaktive Systeme mit Daten- und Prozessanteilen.
Fachkompetenzen
Die Studierenden:

• spezifizieren Daten und Prozesse mit Z, CSP und CSP-OZ formal
• überprüfen Datenverfeinerungsbeziehungen formal
• verifizieren CSP-OZ Spezifikationen mit dem FDR Model-Checker

Methodenkompetenzen
Die Studierenden:

• erwerben die Fähigkeit, komplementäre Spezifikationsmethoden zu integrieren

Sozialkompetenzen
Die Studierenden:

• arbeiten in kleinen Gruppen an Lösungen von Aufgaben
• präsentieren Lösungen von Aufgaben vor Gruppen

Selbstkompetenzen
Die Studierenden:

• erlernen Ausdauer bei der Bearbeitung schwieriger Aufgaben
• erlernen Präzision bei der Spezifikation von Problemen