Veranstaltungsdetails - 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) |
