Softwarekonstruktion
Vorlesung (2 SWS) und Übung (1 SWS)
Ankündigungen:
- 15.04.2014 - Die Einsicht der Nachklausur findet am Montag, den 28.04.14 von 14 bis 15 Uhr im Raum OH14-105
statt.
- 10.04.2014 - Die Nachklausur ist korrigiert (Ergebnis, Punkteskala), der Termin der Einsicht wird bekannt
gegeben, sobald wir einen Raum und einen gemeinsamen Termin gefunden haben.
- 20.03.2014 - Die Nachklausur findet nur im HS1 (EF50) statt.
- 17.03.2014 - Das Klausurergebnis ist im BOSS eingetragen.
- 12.03.2014 - Die Klausur ist korrigiert (Ergebnis,
Punkteskala).
- 25.02.2014 - Die Einsicht zur Klausur findet am Freitag, den 14.03.2014 von 10 bis 12 Uhr in Raum
OH14/104 OH16-205 statt.
- 25.02.2014 - Die Ergebnisse werden dann vorrausichtlich am Montag, den 17.03.2014 ins BOSS eingetragen. Der
Anmeldezeitraum für die Nachklausur am 27.03.2014 wird deswegen bis zum 19.03.2014 verlängert.
- 04.02.2014 - Alle erfolgreich absolvierten Studienleistungen sind im BOSS eingetragen.
- 01.02.2014 - Die Anmeldung zur Klausur ist seit Mittwoch für diejenigen möglich, die ihre Studienleistung bereits
im Rahmen der Übungszettel 1-5 erbracht haben! Diejenigen, die ihre Studienleistung (erst) nach Übungszettel 6
erlangt haben, können sich voraussichtlich ab Mittwoch, dem 05.02.14 anmelden!
- 28.01.2014 - Die Korrekturen von Blatt Nr. 5 sind abgeschlossen und können am Mittwoch, 29.01.2014 und am
Donnerstag, 30.01.2014 in der Zeit von 9-12 Uhr im Sekretariat vom LS 14 (OH 14, R. 113) abgeholt werden!
Dort ist auch die aktuelle Punkteliste hinterlegt. Bei einigen Studenten ist die Abgabe von Blatt 6 noch zwingend
erforderlich!
- 24.12.2013 - Screencasts der Vorlesung sind erhältlich: mehr
Informationen
- 13.12.2013 - Am Dienstag den 17.12.2013 werden die Online-Uebungsaufgaben aufgrund einer Server-Wartung von 8 bis
12 Uhr nicht bearbeitbar sein.
- 20.11.2013 - Die Anmeldung bei Moodle für die Online-Übungen ist freigeschaltet.
Zeit und Ort der Vorlesung: |
Freitags, 10:15-11:45, Otto-Hahn-Str. 14 - E23
|
Zeit und Ort der Übungen: |
Montags, 14:15 - 15:45, OH14 - E 02 (Jens Bürger), |
Gruppen 1 und 7 |
|
Mittwochs, 10:15 - 11:45, OH14 - E02 (Janine Hemmers), |
Gruppen 2 und 8 |
|
Mittwochs, 14:15 - 15:45, SRG1 - 3.011 (Sebastian Pape) |
Gruppe 3 |
|
Mittwochs, 16:15 - 17:45, OH14 - 304 (Sebastian Pape) |
Gruppe 4 |
|
Donnerstags, 10:15 - 11:45, OH14 - E02 (Nina Harmuth), |
Gruppen 5 und 9 |
|
Donnerstags, 14:15 - 15:45, MSW16 - E29 (Nina Harmuth), |
Gruppen 6 und 10 |
Überblick:
Die Vorlesung bietet einen Überblick über die Probleme der modernen Softwaretechnik. Sie befaßt sich mit den
Prinzipien der Konstruktion von Programmsystemen und folgt dabei dem Lebenszyklus eines Programmsystems von der Analyse
der Anforderungen über Spezifikation und Entwurf zu Implementierung und Test. Ein Schwerpunkt der Vorlesung besteht in
der Vertiefung des objektorientierten Paradigmas. Es sollen insbesondere Fragestellungen der objektorientierten
Modellierung und des Entwurfs behandelt werden, wobei UML vorausgesetzt und Logik-Annotationen als wichtiger
Mechanismen eingeführt und Entwurfsmuster ausführlich diskutiert wird. Eine Verifikationstechnik (wie Model Checking
oder modell-basiertes Testen) soll eingehender diskutiert werden.
Ein Schwerpunkt der Vorlesung sind dabei fortgeschrittene logische und algebraische Techniken für die o.g.
Fragestellungen. Darauf aufbauend können weitere Aspekte von Softwarekonstruktion (z.B. praktische Aspekte der
Softwarekonstruktion) in den darauf aufbauenden hier angebotenen Proseminaren,
Seminaren und Fachprojekten vertieft werden.
Die Veranstaltung ist für Studierende gedacht, die ihre Kenntnisse der Softwaretechnik und insbesondere der
objektorientierten Systemkonstruktion vertiefen wollen; sie zählt zu den Voraussetzungen für eine Abschlussarbeit und
die Durchführung einer Hiwi-Tätigkeit am Lehrstuhl für Software Engineering.
Voraussetzungen
Die Veranstaltung Softwaretechnik und das Software-Praktikum sind Voraussetzung für den Besuch dieser Vorlesung. Da
Teile der Vorlesung fortgeschrittene logische und algebraische Techniken verwenden (z.B. logik-basierte Spezifikation
und Verifikation mit OCL und algebraische Spezifikationen), ist die sichere
Beherrschung der Lerninhalte der Vorlesungen über mathematische Grundlagen der
Informatik Voraussetzung für einen erfolgreichen Besuch der Vorlesung.
Vorlesungsfolien:
Kapitel 0: Einleitung und Grundlagen
Kapitel 1: Modellbasierte Softwareentwicklung
Kapitel 2: Qualitätsmanagement
Kapitel 3: Softwareverifikation
Kapitel 9: Schluss
Die Vorlesungsfolien werden semesterbegleitend fortlaufend bereitgestellt, und zwar (planmäßig) spätestens um 18.00
Uhr am Vorabend eines Vorlesungstages. Im Anschluss daran kann es noch zu kleineren Änderungen kommen (z.B. das
Hinzufügen der Antwort-Folien zu den während einer Vorlesung gestellten Diskussionsfragen).
Aus Urheberrechtsschutzgründen sind die Folien sind nur aus dem TUDo-Netz abrufbar. Von außerhalb des Campus kann
dafür das VPN der TUDo genutzt werden.
Vorlesungstermine
- 18.10.2013: Teil 0, 1.0 (bis Folie 8)
- 25.10.2013: Teil 1.0 (ab Folie 8), 1.1 (bis Folie 38)
- 01.11.2013: Feiertag
- 08.11.2013: Teil 1.1 (ab Folie 39), 1.2 (bis Folie 42)
- 15.11.2013: Teil 1.2 (ab Folie 42), 1.3 (bis Folie 18)
- 22.11.2013: Teil 1.3 (ab Folie 19), 2.0
- 29.11.2013: Teil 3.0, 3.1 (bis Folie 36)
- 06.12.2013: Teil 3.1 (ab Folie 37 bis Folie 84)
- 13.12.2013: Teil 3.1 (ab Folie 84 bis Folie 132)
- 20.12.2013: Teil 3.1 (ab Folie 125), 3.2
- 10.01.2014: Teil 3.3 (bis Folie 61)
- 17.01.2014: Teil 3.3 (ab Folie 61), 3.4 (bis Folie 53)
- 24.01.2014: Teil 3.4 (ab Folie 48 bis Folie 86)
- 31.01.2014: Teil 3.4 (ab Folie 81), 3.5
- 07.02.2014: Teil 3.6, 9.0
Literatur:
Kapitel 1:
- V. Gruhn, D. Pieper, C. Röttgers: MDA - Effektives Software-Engineering mit UML2 und Eclipse, Xpert.press
/ Springer-Verlag, 2006 Unibibliothek
- J. Seemann, J.W. Gudenberg: Software-Entwurf mit UML 2, Xpert.press / SpringerVerlag, 2006 Unibibliothek
- J. Warmer, A. Kleppe: The Object Constraint Language: Getting Your Models Ready for MDA, Addison-Wesley
Longman Publ. & Co., Inc., 2003. Unibibiliothek, Unibibliothek
Kapitel 2:
- Jochen Ludewig / Horst Lichter: Software
Engineering - Grundlagen, Menschen, Prozesse, Techniken, dpunkt.verlag, 3. Auflage, 2013. e-book. Unibibliothek.
- Andreas Spillner, Tilo Linz: Basiswissen Softwaretest. 4., überarbeitete Auflage, dpunkt.verlag, 2010, 308
Seiten, 39 Euro (D), ISBN 987-3-89864-642-0. Unibibliothek.
- Bei Engpässen in der Ausleihe alternativ ähnliche Inhalte als e-Book: A. Spillner, T. Linz, H. Schaefer:
Software Testing Foundations, 3. Auflage, Rocky Nook, 2011, 296 Seiten, Print ISBN-13: 978-1-933952-78-9.
Unibibliothek (e-Book).
- Eike Riedemann: Testmethoden für sequentielle und nebenläufige Software-Systeme. Teubner, Stuttgart, 512
S., 1997. PDF-Dateien hier herunterladbar. Unibibliothek.
- Einige relevante Werkzeuge für Testüberdeckungskriterien.
- Acht beliebte Irrtümer zu Testüberdeckungskriterien.
- J.Becker, C.Mathas, A. Winkelmann: Geschätsprozessmanagement. Springer Verlag, 2009. Unibibliothek:
E-Book.
- H.Reisig: Petrinetze. Vieweg, 2010. Unibibliothek: E-Book. Teil I.
Übungsablauf:
- Eine Übungsgruppe umfasst max. 30 Studierende; die Übungen finden 14-tägig im Wechsel statt.
- Insgesamt werden 6 Übungszettel veröffentlicht, wobei 5 dieser Übungszettel eine Hausübung enthalten. Ausserdem
gibt es eine Online-Hausübung zu der sich über Moodle angemeldet werden kann.
- Die Übungszettel werden 14-tägig veröffentlicht. Diese sollen von den Studierenden innerhalb der Präsenzübung
gelöst werden. Eine entsprechende Vor- und Nachbereitung der Vorlesungsinhalte wird dabei vorausgesetzt. Bei jeder
Übung steht ein Tutor für Fragen und Hilfestellungen zur Verfügung. Am Ende der Übung stellen Studierende ihre
Lösungen vor und alle Übungsteilnehmer diskutieren sie in der Gruppe unter Anleitung des Übungsleiters.
- Zu den meisten Präsenzübungen wird ein Lösungsvorschlag veröffentlicht.
- Hausübungen sollen bis zum entsprechenden Termin gelöst und abgegeben werden. Die Aufgaben sollen (inhaltlich,
konzeptionell) in Gruppen bearbeitet werden. Die Gruppengröße beträgt mindestens 2 und maximal 3 Studierende, die
ihre Lösung zusammen ausarbeiten und abgeben. Die Zusammenarbeit ist entsprechend auf den Abgaben zu vermerken.
- Die Abgabe kann in der Übung oder durch Einwurf in den entsprechenden Briefkasten in der OH 20 bis zum
entsprechenden Stichtag abgegeben werden. Eine Abgabe per Mail, Hauspost, persönlich bei Mitarbeitern oder im
Sekretariat ist nicht möglich.
- Auf der Abgabe sind Name, Matrikelnummer und die Übungsgruppe zu vermerken. Besteht die Gruppe aus Teilnehmern
mehrerer Übungsgruppen, so ist die Gruppe in der die korrigierte Übung zurückgegeben werden soll entsprechend
hervorzuheben. Nicht abgeholte Übungszettel liegen dann im Sekretariat zur Abholung bereit.
- Bei jeder Hausübung gibt es 10 Punkte zu erreichen. Bei Abgabe von Duplikaten erhät keine der beteiligten Gruppen
Punkte.
- Die Abgaben werden korrigiert und die Gruppe erhält die korrigierte Lösung zurück.
Onlineübung:
- Die Anmeldung zur Onlineübung via Moodle
wird ab Mitte November ist nun freigeschaltet.
- Aus technischen Gründen ist es leider notwendig für die SSL-Verbindung den Cipher RC4-SHA zu akzeptieren. Eine
Erweiterung der akzeptierten Cipher ist angefragt, liegt aber ausserhalb unseres Einflussbereichs. Wir bitten
deswegen diesbezüglich von Rückfragen bei uns abzusehen.
- Bei der Abgabe der Onlineübung sind keine Gruppen vorgesehen, d.h. jeder Studierende gibt seine Bearbeitung
einzeln in Moodle ein. Allerdings dürfen die Aufgaben gerne in den üblichen Gruppen diskutiert und besprochen
werden.
- Einschreibung in den Moodle-Kurs "Softwarekonstruktion" für Studierende mit TU-(unimail)-Account:
- https://moodle2.tu-dortmund.de/ aufrufen.
- Login (oben rechts) klicken und mit unimail-Zugangsdaten (sm.....) anmelden
- "Alle Kurse" -> "Fakultät für Informatik" -> "Softwarekonstruktion" auswählen.
- "Einschreiben" anklicken
- Einschreibung in den Moodle-Kurs "Softwarekonstruktion" für Studierende ohne TU-(unimail)-Account:
- Sollte Sie keinen TU-(unimail)-Account haben, melden Sie sich bitte bei Sebastian Pape.
Übungsgruppen: |
Die Übungen finden 14-tägig im Wechsel statt und dauern deswegen 90 statt 45 Minuten. |
|
|
VL-Woche |
KW |
Woche vom |
Übung |
Gruppe |
Bemerkung |
|
1 |
42 |
14.10.2013 |
- |
- |
|
2 |
43 |
21.10.2013 |
- |
- |
|
3 |
44 |
28.10.2013 |
1 |
1 - 6 |
Allerheiligen am 1. November |
|
4 |
45 |
04.11.2013 |
1 |
7 - 10 |
|
5 |
46 |
11.11.2013 |
2 |
1 - 6 |
|
6 |
47 |
18.11.2013 |
2 |
7 - 10 |
|
7 |
48 |
25.11.2013 |
3 |
1, 2, 4 - 6 |
Übung Gruppe 3 entfällt. |
|
8 |
49 |
02.12.2013 |
3 |
7 - 10 |
|
9 |
50 |
09.12.2013 |
4 |
1 - 6 |
|
10 |
51 |
16.12.2013 |
4 |
7 - 10 |
|
|
|
|
|
|
Weihnachtspause |
|
11 |
2 |
6.01.2014 |
5 |
1 - 6 |
|
12 |
3 |
13.01.2014 |
5 |
7 - 10 |
|
13 |
4 |
20.01.2014 |
6 |
1 - 6 |
|
14 |
5 |
27.01.2014 |
6 |
7 - 10 |
|
15 |
6 |
03.02.2014 |
- |
- |
|
|
|
Hausübungen: |
|
|
Übungs-Nr. |
Ausgabe |
Abgabe |
|
1 |
Montag, 28.10.2013 |
Donnerstag, 14.11.2013, 16:00 Uhr |
|
2 |
Montag, 11.11.2013 |
Donnerstag, 28.11.2013, 16:00 Uhr |
|
3 |
Montag, 25.11.2013 |
Donnerstag, 12.12.2013, 16:00 Uhr |
|
4 |
Montag, 09.12.2013 |
Freitag, 10.01.2014, 6:00 Uhr |
|
5 |
Montag, 06.01.2014 |
Donnerstag, 23.01.2014, 16:00 Uhr |
|
6 |
Montag, 20.01.2014 |
Montag, 03.02.2014, 12:00 Uhr |
Leistungsnachweis:
- Diplom-Studierende nach DPO 2001 erhalten einen unbenoteten Schein durch erfolgreiche Teilnahme an der
Abschlussklausur.
- Die Teilnahme an den Übungen und die Abgabe von Hausübungen sind freiwillig.
- Bachelor-Studierende benötigen für die Zulassung zur Klausur einen Leistungsnachweis über die erfolgreiche
Teilnahme an den Übungen.
- Zum Nachweis der erfolgreichen Teilnahme an den Übungen sind 50% der möglichen Punkte aus den Hausübungen 1 bis 6
(insgesamt 25 von 60 (50 + 10 Punkte aus der Onlineaufgabe)), dabei aber mindestens jeweils 30% der möglichen Punkte
aus den Hausübungen 1+2+3 (9 von 30 Punkten) und 5+6 (6 von 20 Punkten) zu erreichen.
Abschlussklausur
- Erster Prüfungstermin: Mittwoch, 26.02.2014 09:00-10:30 Uhr, im HS 1, HS 2, HS 3 (Emil-Figge Str. 50)
- Zweiter Prüfungstermin: Donnerstag, 27.03.2014 10:45-12:15 Uhr, im HS 1 (Emil-Figge Str. 50)
und E23
(Otto-Hahn-Str. 14)
- Bearbeitungsdauer der Klausur: 60 Minuten. Es sind keine Hilfsmittel erlaubt.
Allgemeine Hinweise:
- Die Zuordnung der einzelnen Studierenden zu den beiden Hörsälen, die für die erste Klausur angemeldet sind, wird
vor Ort bekanngegeben, da sich die Hörsäle HS1, HS2 und HS3 im selben Gebäude befinden.
Organisation für Bachelor Informatik und Angewandte Informatik
- Die Anmeldung für die erste Klausur am 26.02.2014 ist bis zum 19.02.2014 verlängert.
- Die Anmeldung für die zweite Klausur am 27.03.2014 wird bis zum 19.03.2014 verlängert.
- Erst nach erfolgreichem Abschluss der Studienleistung ist eine Anmeldung für die Klausur über BOSS möglich.
- Für die Studienleistung ist keine gesonderte Anmeldung über BOSS notwendig.
- Die Studienleistungen werden verbucht sobald die Studienleistung erfolgreich abgeschlossen ist. Diejenigen, die
die Studienleistung bereits mit dem 5. Übungsblatt bestanden haben, tragen wir nach Möglichkeit bis Anfang Februar im
BOSS ein. Diejenigen, die erst mit dem 6. Übungsblatt bestanden haben, tragen wir vorraussichtlich bis zum 14.
Februar im BOSS ein.
- Alle Studierenden, die die Studienleistung erfolgreich absolviert haben sind nun im BOSS eingetragen.
- Die Einsicht wird am Freitag, den 14. März von 10 bis 12 Uhr in Raum
OH14/104OH16-205 statt finden.
Die Ergebnisse der Klausur werden dann im Laufe des 17. März im BOSS eingetragen.
- Der Anmeldezeitraum für die Nachklausur am 27.03.2014 wird deswegen bis zum 19.03.2014 verlängert.
Organisation für Diplom Informatik und Angewandte Informatik
- Für die Teilnahme an der Klausur ist kein Leistungsnachweis erforderlich. Studierende die an der Klausur
teilnehmen wollen, melden sich bitte über POS bzw. BOSS an.
Organisation für Bachelor/Master (Lehramt) Informatik
- Diese Veranstaltung kann nicht im Bachelor (Lehramt) Informatik angerechnet werden.
- Diese Veranstaltung kann im Master (Lehramt) Informatik nur auf Antrag
der Studierenden an den Prüfungsausschuss im Modul BMI angerechnet werden.
Feedback:
Wir haben großes Interesse an veranstaltungsbegleitendem Feedback, um auf Änderungswünsche gleich
(und nicht erst im nächsten Semester) eingehen zu können.
Bitte äußern Sie entsprechende Hinweise im Anschluss an eine Vorlesung oder per E-mail, oder über unser
anonymes Kontaktformular (bitte Vorlesung SWK ankreuzen). Vielen Dank !
Abschlussarbeiten, Hiwi-Jobs:
Im Zusammenhang mit den in der Vorlesung behandelten Themen werden auch
Abschlussarbeiten betreut und
Hiwi-Jobs
vergeben.