Stud.IP Uni Oldenburg
University of Oldenburg
21.05.2022 12:25:05
Course details - Praktikum Formale Methoden in der Software-Entwicklung
Department für Informatik
Wintersemester 2006/2007
Praktikum Formale Methoden in der Software-Entwicklung
Zeit: Montag 14:00 bis 18:00
Veranstaltungsnummer: 2.01.171
Studienbereiche: Fakultät 2: Informatik
Wirtschafts- und Rechtswissenschaften > Department für Informatik
DozentIn Michael Moeller
Prof. Dr. Ernst-Ruediger Olderog
Heimat-Einrichtung: Department für Informatik
Typ der Veranstaltung: eElearning-Angebot in der Kategorie Lehre
Art der Veranstaltung: PR
ECTS-Punkte: 6
Beschreibung: Für die Entwicklung komplexer nebenläufiger Systeme soll in dieser Veranstaltung der werkzeugunterstützte Einsatz formaler Methoden im Software-Entwicklungsprozess vorgestellt werden. UML als Modellierungs- und Java als Implementierungssprache bilden hierbei den Rahmen, den es zu füllen gilt. Im ersten Teil des Praktikums werden die Teilnehmer über das Werkzeug FDR an die formale Methode CSP für kommunizierende Prozesse herangeführt. Erste Aufgaben behandeln hierbei Nebenläufigkeit und Synchronisation. Im zweiten Schritt werden zusätzlich Datenaspekte betrachtet, anhand derer die objekt-orientierte formale Methode CSP-OZ erklärt wird. Auf diese Weise werden die Aufgaben Schritt für Schritt zu einer Fallstudie ausgebaut. Im nächsten Teil des Praktikums wird dann die Brücke zur UML geschlagen. Das gleichnamige Werkzeug der Projektgruppe Syspect soll eingesetzt werden, um die in CSP-OZ vorliegende formale Systembeschreibung mit Hilfe der UML zu modellieren. Hierzu wird ein entsprechendes UML-Profil für CSP-OZ erklärt. Im letzten Teil geht es schließlich um die Java-Implementierung. Um auch hier eine formale Fundierung zu gewährleisten, wird die Java Modeling Language (JML) vorgestellt. Mit Runtime-Checking Werkzeugen soll zur Laufzeit sichergestellt werden, dass die von den Teilnehmern zu entwickelnde Java-Implementierung sich dem formalen Modell entsprechend verhält. *Anmeldung* Alle, die an diesem Praktikum teilnehmen möchten, werden gebeten sich noch in der O-Woche über das Stud.IP als Teilnehmer einzutragen, so dass zum ersten Veranstaltungstermin bereits möglichst alle Logins eingerichtet sein können.
Ort: Mo. wöchentlich 14:00-18:00 Ort: (A04 2-221)  
Back