Formale Objektorientierte Software-Enwticklung
Aktuelles
- siehe auch Forum die-informatiker.net,
- Ergebnisse 1. Präsenztest,
- Ergebnisse 2. Präsenztest,
- Ergebnisse 3. Präsenztest,
- Ergebnisse 4. Präsenztest,
- Gesamtpunkte aus 4 Präsenztests,
- Bedingungen für den Scheinerwerb:
Mindestens 11.5 Punkte aus den Präsenztests (sonst auch keine Klausurzulassung)
Mindestens 14 Punkte in der Klausur
Mindestens 30 Punkte insgesamt - Die Klausur findet statt am Freitag, den 18.Juli von 8:15-9:45 Uhr im Hörsaal A 240, Uni HGB.
- Zur Klausur ist eine Anmeldung über das Uniworx System nötig. Bitte erst für FOOSE anmelden und dann für die Klausur.
- Die Vorlesungsevaluation für FOOSE erfolgt online. Zu gegebener Zeit werden Sie mit email zur Evaluation aufgefordert. Bitte nehmen Sie an der Evaluation teil!
Inhalt
Software-Engineering kann sich im Bereich der Sicherheit und Verlässslichkeit noch keineswegs mit anderen Ingenieurdisziplinen messen. In der Vorlesung wird darauf eingegangen, wie diese Kluft überbrückt werden kann, indem pragmatische Methoden der objektorientierten Software-Entwicklung durch fundierte, formale Techniken ergänzt werden. Als Modellierungssprache wird hierbei die Unified Modeling Language UML verwendet. Für die formale Beschreibung von Eigenschaften objektorientierter Systeme wird die Object Constraint Language OCL eingesetzt. Mit Hilfe von OCL können Klassen- und Komponenten-Invarianten sowie Vor- und Nachbedingungen von Operationen spezifiziert werden.
In diesem Rahmen werden Spezifikationsmethoden und Validierungstechniken für Systemmodelle besprochen und Methoden zum Nachweis der Korrektheit von Verfeinerungen und Implementierungen vorgestellt.
Als semantische Grundlage werden dabei markierte Transitionssysteme
mit Output verwendet.
Hörerkreis
Studierende im Hauptstudium mit Hauptfach Informatik (auch Bioinformatik und Medieninformatik) oder mit Nebenfach Informatik und Hauptfach Mathematik oder Physik.
Nebenfach-Studenten mit Interesse an Mathematik-basierten Spezifikationsmethoden sind ebenfalls willkommen.
Benötigte Vorkenntnisse
UML, Grundkenntnisse in Logik und formalen Methoden
Scheinerwerb
Der Scheinerwerb erfolgt durch 5 (neu 4) schriftliche Präsenztest (jeweils 30min) und eine Klausur (60 min, neu 90 min). Zulassungsvoraussetzung für die Klausur ist das Erreichen von 40% der möglichen Punkte aus den Präsenztests. Die Scheinnote wird durch die Leistungen in den Präsenztests und der Klausur ermittelt.
Die Klausur findet statt am Fr. 18.07.08, neu 8:15-9:45, Uni-Hauptgebäude, Hörsaal A 240.
Literaturhinweise
- Jos Warmer, Anneke Kleppe. The Object-Constraint Language Second Edition, Addison Wesley, 2003.
- Object Management Group. UML 2.1.1 OCL Specification vom 1. Mai 2006 (formal/06-05-01)
- Bernhard Rumpe. Agile Modellierung mit UML: Codegenerierung, Testfälle, Refactoring. Xpert.press, 2005.
- Hubert Baumeister, Rolf Hennicker, Alexander Knapp, Martin Wirsing. OCL Component Invariants. Proc. Wsh. Montery - Engineering Automation for Software Intensive System Integration, pages 208-215. U.S. Naval Postgraduate School, Monterey, 2001.
- The ITP/OCL Project
