Die Vorlesung findet wöchentlich am Mittwoch, 10.15 - 11.45 Uhr im Hörsaal V2 (Vorklinik) statt. Sie beginnt am 30. Oktober 2013. Dort wird auch der Übungsbetrieb vorgestellt und anschließend die Einschreibung in die Übungsgruppen freigeschaltet.
Übungsgruppen
Die Übungen finden 14-tägig ab 13.11.2013 statt, Gruppen 1 und 4 mittwochs in geraden Kalenderwochen, Gruppe 2 mittwochs in ungeraden Kalenderwochen und Gruppe 3 montags in ungeraden Kalenderwochen. Die genauen Termine und ggf. Verschiebungen finden sich oben.
Die Teilnahme an den Übungen erfordert die Anmeldung zu einer der Übungsgruppen. Sie ist vom 31.10.2013 bis 07.11.2013 möglich und erfolgt online unter
Tutoren
- Gruppen 1 und 3: Kristian Bischoff <bischoff [at] informatik.uni-luebeck.de>
- Gruppen 2 und 4: Stefan Bumann <bumann [at] informatik.uni-luebeck.de>
Vorlesungsmaterial
Hinweis: Das Kapitel Temporallogik wurde überarbeitet. Es konzentriert sich nur noch auf LTL. Für die Übungen und die Klausur ist nur LTL relevant.
Hinweis zum lokalen Maven-Repository
Es wurde berichtet, dass Maven das lokale Repository nicht korrekt verwenden kann, falls der Pfad zum Repository z. B. Leerzeichen enthält. Dies ist z. B. unter Windows-Betriebssystemen oft der Fall, sodass Sie in der Konfigurationsdatei einen anderen Pfad angeben müssen.
Die Konfigurationsdatei settings.xml findet sich typischerweise im Programmverzeichnis von Maven, Unterverzeichnis „conf“. Passen Sie dort den Eintrag „localRepository“ geeignet an, z. B.
<settings> ... <localRepository>C:\var\.m2\repository</localRepository> ... </settings>
Eventuell kann es nötig sein, dass Sie das Verzeichnis zudem manuell anlegen. Installieren Sie nach diesen Anpassungen die drei Artefakte, wie auf dem Übungsblatt beschrieben.
Prüfung
Das Pflicht-Lehrmodul Softwaretechnik (CS2300) umfasst zwei Lehrveranstaltungen im Umfang von jeweils 3 Semesterwochenstunden:
- Vorlesung (2V+1Ü), angeboten im Wintersemester
- Praktikum (3P), angeboten im Sommersemester
Die studienbegleitende Fachprüfung Softwaretechnik besteht daher aus den Teilprüfungen
- Vorlesung Softwaretechnik und
- Praktikum Softwaretechnik,
welche getrennt durchgeführt und jeweils mit Note bewertet werden. Die gesamtnote der Fachprüfung ergibt sich aus dem arithmetischen Mittel der Teilprüfungen.
Teilprüfung Vorlesung Softwaretechnik
Die Prüfung zur Vorlesung Softwaretechnik wird als schriftliche Klausur durchgeführt. Die Bearbeitungszeit beträgt 90 Minuten, die gesamte Prüfung dauert aufgrund der nötigen Organisation (Kontrolle der Anmeldung, Belehrung, Prüfungsaus- und -abgabe) länger.
Zulassung
Die am Anfang der Semesters bekanntgegebenen Zulassungsvoraussetzungen werden insoweit gelockert, dass nicht zwei- sondern einmaliges Präsentieren einer eigenen Lösung einer Übungsaufgabe erforderlich ist.
Hilfsmittel
Als Hilfsmittel in der Klausur ist ausschließlich ein eigenhändig (beidseitig) beschriebenes Blatt im Format DIN A4 zugelassen.
Klausur vom 21.02.2014
Die Klausur findet am 21.02.2014 um 14.00 Uhr im Hörsaal AM1 statt. Die Teilnehmer der Klausur werden gebeten, sich bis zum 14.02.2014 unter
anzumelden. Auf diese Weise können wir im Vorhinein u.A. die Zulassung überprüfen und ggf. Unstimmigkeiten klären. Somit können wir am Klausurtag zügig mit der Prüfung beginnen.
Die Klausurergibnisse hängen ab 25.02.2014 im ISP aus. Am Freitag, den 28.02.2014 besteht zwischen 10.00 und 11.30 Uhr in Raum 1.108 die Möglichkeit zur Einsicht.
Klausur vom 26.03.2014
Die zweite Klausur findet am 26.03.2014, 14.30 Uhr im Hörsaal V1 statt. Die Teilnehmer der Klausur werden gebeten, sich bis zum 13.03.2014 unter
anzumelden. Auf diese Weise können wir im Vorhinein u.A. die Zulassung überprüfen und ggf. Unstimmigkeiten klären. Somit können wir am Klausurtag zügig mit der Prüfung beginnen.