PS Software Engineering II
Dipl.-Ing. Thomas Aschauer
Dipl.-Ing. Gerd Dauenhauer
Termine
Sommersemester 2008
donnerstags: 08:00-10:00 Uhr, Jakob-Haringer-Str. 2
Beginn: 6. März 2008
Gruppe Thomas Aschauer in Raum T03
Gruppe Gerd Dauenhauer in Raum T02
Tutorium: abgehalten von Martin Seidel Termin: Mo 14:00 – 15:00 Uhr
Unterlagen
- E. Dijkstra, W. Feijen: A Method of Programming, Addison-Wesley Publishing Company. (Siehe Vorlesung)
- Organisatorisches
Aufgaben
- Aufgabenblock 1 (13.03.2008 – 02.04.2008)
Einführungsliteratur zu Test-Driven Development und Wiederholung Prädikatenlogik. - Aufgabenblock 2 (03.04.2008 – 09.04.2008)
DFA Simulator (Eingabedatei: dfa.config) und Wiederholung Prädikatenlogik. - Aufgabenblock 3 (10.04.2008 – 16.04.2008)
NFA Simulator (Eingabedatei: nfa.config), Functional Specification, Assignment Statement. - Aufgabenblock 4 (17.04.2008 – 23.04.2008)
Theorie Mocks-Stubs-Dummies, Client für den AssignmentHandInServer (Interface: AssignmentHandInServer.java, Exception: ProtocolException.java, Protokollspezifikation als DFA: AssignmentHandInServerProtocol.properties), Assignment Statement, Integer Expressions. Client-Library für den Zugriff auch den Server per Webservice: assignmentserverclientlibrary.zip - Aufgabenblock 5 (24.04.2008 – 07.05.2008)
Assignment-Server (Interface: AssignmentHandInServer.java, Exception: ProtocolException.java, Konfigurationsdatei: assignmentserverconfig.xml), Concatenation, Alternative Statement. - Aufgabenblock 6 (08.05.2008 – 14.05.2008)
Tennis-Scoreboeard, Concatenation und Alternative Statement, Boolean Expressions. - Aufgabenblock 7 (15.05.2008 – 05.06.2008)
Einführung Spec#, Concatenation und Alternative Statement, Repetitive Statement. - Aufgabenblock 8 (05.06.2008 – 11.06.2008)
Bruch-Library in Spec#, Repetitive Statement. ACHTUNG: Aufgabe korrigiert am 09.06.2008 - Aufgabenblock 9 (12.06.2008 – 19.06.2008)
Programme mit Beweis (Alternative Statement, Repetitive Statement und Array).
