Zeit und Ort der Vorlesung und Übungen

Beschreibung

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), ist die sichere Beherrschung der Lerninhalte der Vorlesungen über mathematische Grundlagen der Informatik Voraussetzung für einen erfolgreichen Besuch der Vorlesung.
Modulbeschreibung (Bachelor)

Vorlesungstermine

1. 19.10.2015 - Organisatorisches und Einleitung
2. 26.10.2015 - Modellbasierte Software Entwicklung
3. 02.11.2015 - OCL
4. 09.11.2015 - Petri-Netze und nebenläufige Programmierung
5. 16.11.2015 - Eclipse Modeling Framework (EMF) und Meta-Modellierung/-Programmierung
6. 23.11.2015 - Qualitätsmanagement
7. 30.11.2015 - Grundlagen der Softwareverifikation
8. 07.12.2015 - Softwaremetriken und Kostenschätzung
9. 14.12.2015 - Black-Box Testing
10. 04.01.2016 - White-Box Testing
11. 11.01.2016 - Konfigurationsmanagement
12. 18.01.2016 - Softwarearchitektur
13. 25.01.2016 - Softwarearchitektur + Gastvortrag?
14. 01.02.2016 - Algebraische Spezifikation
15. 08.02.2016 - Projektmanagmenet + Schluss

Neuigkeiten und Ankündigungen

03.03.2016 - Die Klausurergebnisse vom 24.2.2016 befinden sich im Moodle.

23.10.2015 - Die Übungsgruppenzuteilung ist abgeschlossen und kann im AsSESS eingesehen werden. Bitte überprüfen Sie, welcher Übungsgruppe Sie zugeordnet wurden!

23.10.2015 - Bitte beachten Sie, dass eine Anmeldung im LSF nicht ausreichend ist, um in Moodle2 freigeschaltet zu sein. Sie müssen sich separat einmal im Moodle einloggen.

Vorlesungsfolien

Die Vorlesungsfolien werden semesterbegleitend fortlaufend bereitgestellt, und zwar (planmäßig) spätestens um 23.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). Die Foliensätze haben Anhänge mit zusätzlichem Material zum selbständigen Nacharbeiten.

1. Teil 0: Organisatorisches und Einleitung
2. Die restlichen Folien werden im Bereich der Vorlesung im TU Dortmund Moodle bereitsgestellt.

Übung

Übungsanmeldung

• Die Anmeldung zu den Übungen erfolgt via AsSESS vom 12.10.2015 15:00 Uhr bis zum 21.10.2015 14:00 Uhr.
• Die Vergabe der Übungsplätze erfolgt unabhängig von der Reihenfolge und berücksichtigt die angegebenen Prioritäten der Teilnehmer.
• Die Übungsgruppenzuteilung ist abgeschlossen und kann im AsSESS eingesehen werden. Bitte überprüfen Sie, welcher Übungsgruppe Sie zugeordnet wurden!

Übungsablauf

• Die Übungen finden 14-tägig im Wechsel statt.
• Insgesamt werden 6 Übungszettel veröffentlicht. Jeder Übungszettel enthält Präsenzaufgaben und Hausübungen.
• Die Präsenzaufgaben sollen von den Studierenden innerhalb der Präsenzübung gelöst werden. Eine entsprechende Vor- und Nachbereitung der Vorlesungsinhalte wird dabei vorausgesetzt. Bei den Präsenzübungen 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.
• Die Hausübungen werden teilweise als Online-Übungen durchgeführt.
• Hausübungen sollen bis zum entsprechenden Termin gelöst und abgegeben werden. Die Aufgaben müssen (inhaltlich wie konzeptionell) in Gruppen bearbeitet werden. Die Gruppengröße beträgt mindestens 2 und maximal 4 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 Briefkasten 21 in der OH 12 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 Abgabe von Duplikaten erhält keine der beteiligten Gruppen Punkte.
• Die Abgaben werden korrigiert und die Gruppe erhält die korrigierte Lösung zurück.

Onlineübung

• Die Anmeldung zu den Onlineübungen erfolgt über Moodle.
• Bei der Abgabe der Onlineübungen 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.

Übungszettel und weitere Unterlagen

Die Übungszettel werden über Moodle bereitgestellt.

Terminplan Übungen

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.

Studienleistung

• 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 120 von 240 Punkten), dabei aber mindestens 60 Punkte aus den Hausübungen 1+2+3 und mindestens 60 Punkte aus den Hausübungen 4+5+6 zu erreichen.

Abschlussklausur

• Erster Prüfungstermin: Mittwoch, 24.02.2016 16:00-17:30 Uhr, HG2/HS1, HG2/HS3
  1. Teilnehmer mit Nachname beginnend mit A-O, Ä, Ö schreiben in HG2/HS1.
  2. Teilnehmer mit Nachname beginnend mit P-Z, Ü schreiben in HG2/HS3.
  3. Die Klausureinsicht findet am Dienstag, 8.3.2016 von 10:00-11:00 Uhr in OH12, Raum 2.013 statt.
• Zweiter Prüfungstermin: Mittwoch, 30.03.2016 16:00-17:30 Uhr, Audimax
• Bearbeitungsdauer der Klausur: 60 Minuten. Es sind keine Hilfsmittel erlaubt (weitere Informationen dazu).
• Bei technischen Problemen bei der Klausuranmeldung wenden Sie sich bitte an Frau Schiller von der Prüfungsverwaltung.

Moodle-Forum

Das Moodle-Forum dient dem inhaltlichen Austausch zur Veranstaltung.

Abschlussarbeiten, Hiwi-Jobs:

Im Zusammenhang mit den in der Vorlesung behandelten Themen werden auch Abschlussarbeiten betreut.

Kontakt

• Dr. Boris Düdder
• Dipl. Inf. Michael Lybecait
• Dipl. Inf. Julian Flake

Entsprechend einem Beschluss des Fakultätsrates, dass bei offiziellen Emails der Fakultät entweder die Uni-Mail-Adresse des ITMC oder die Postamt-Adresse der IRB verwendet werden sollen, möchte ich darauf aufmerksam machen, dass ab sofort nur noch diese Adressen verwenden werden. Bitte aktivieren Sie diese umgehend und schicken Sie möglichst noch eine Mail mit der richtigen Adresse als Absender.