Die Vorlesung bietet einen Einblick in die speziellen Probleme der modernen Softwaretechnik. Sie befasst sich mit den Prinzipien der Konstruktion von Programmsystemen und vertieft dabei die methodischen Grundlagen für ausgewählte Phasen des Lebenszyklus eines Programmsystems von der Analyse der Anforderungen über Spezifikation und Entwurf zu Implementierung und Test. Ein Schwerpunkt der Vorlesung besteht in der Vertiefung von prozessorientierten und modellbasierten Herangehensweisen. Im ersten Teil sollen insbesondere Fragestellungen in Hinsicht auf die Modellierung von Prozessen und den Übergang zu IT Systemen, Qualitätsmanagement und Testen behandelt werden. Im zweiten Teil wird auf die Möglichkeiten zur Modellierung von Sicherheit in diesen Tätigkeitsfeldern eingegangen.

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 Projektgruppen und Masterarbeiten vertieft werden. Die Vorlesung kann ebenfalls in den kommenden Semestern durch Spezialvorlesungen und Seminare vertieft werden.

Die Veranstaltung ist für Studierende des Master- / Hauptstudiums gedacht, die ihre Kenntnisse der Softwaretechnik und insbesondere der modellbasierten Systemkonstruktion und Sicherheit vertiefen wollen. Bachelor-Studierende können nach Absprache ggf. ebenfalls teilnehmen. Bei regelmäßiger Teilnahme an den Übungen besteht die Möglichkeit zum Erwerb des Übungsscheins.

Voraussetzungen

Die Veranstaltungen des Bachelor-Studiums werden vorausgesetzt, hier besonders die Veranstaltungen Softwaretechnik, Softwarekonstruktion und Software-Praktikum. Da Schwerpunkt der Vorlesung fortgeschrittene logische und algebraische Techniken sind (z.B. logik-basierte Spezifikation und Verifikation), ist die sichere Beherrschung der Lerninhalte der Vorlesungen über mathematische Grundlagen der Informatik Voraussetzung für einen erfolgreichen Besuch der Vorlesung.

Modulbeschreibung (Master)

Inhalt

• Geschäftsprozesse: Grundlagen Geschäftsprozesse, Elektronische Prozessketten, BPMN 2.0, Business Process Mining, Business Process Execution
• Modelle verteilter Systeme und Verhalten: Petri-Netze, Prozesskalküle, Lambda Kalkül und Typtheorie
• Meta-Modelle: Produktlinine und Meta-Modellierung
• Entwurf großer Softwaresysteme: Software Architektur und Evolution sowie Konfigurationsmanagement

Vorlesungstermine

Neuigkeiten und Ankündigungen

 

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 bis zum 18.4.2016, 9: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 wöchtentlich statt.

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.

Leistungsnachweis

• Für Studierende nach den Prüfungsordnungen 2000/2001: Studierende können zu dieser Lehrveranstaltung einen Leistungsnachweis erwerben oder eine Fachprüfung ablegen. Leistungsnachweise über den erfolgreichen Besuch von Vorlesung und Übungen werden erteilt, sofern die Studierenden die von den Veranstaltern festgelegten Kriterien für eine erfolgreiche Bearbeitung der Übungsaufgaben erfüllen. Eine Fachprüfung kann in Form einer Klausur am Ende des Semesters abgelegt werden. Die Bearbeitung der Übungsaufgaben bereitet auf die Teilnahme an der Fachprüfung vor.
• Die Teilnahme an den Übungen und die Abgabe von Hausübungen sind freiwillig.
• Einordnung: Diplom Schwerpunktgebiete 1, 5

Studienleistung

• Bachelor-Studierende benötigen für die Zulassung zur Klausur einen Leistungsnachweis über die erfolgreiche Teilnahme an den Übungen.
• Die erfolgreiche Bearbeitung der Übungsaufgaben ist Voraussetzung für die Teilnahme an der Modulprüfung.

Leistungsnachweis (Diplomer)

Studierende können einen Leistungsnachweis über diese Veranstaltung ablegen. Dazu gelten folgende Kriterien:

• Anmeldung bei Michael Lybecait per Mail bis zum 19.4.2016.
• Erreichen von jeweils mind. 50% der Punkte in den Übungen.

Abschlussklausur

• Montag, 25.07.16 von 14:30- 16:00 Uhr in HGII/ HS3
• Montag, 12.09.16 von 12:00- 13:30 Uhr in HGII/ HS5
• Bearbeitungsdauer der Klausur: 90 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. 

Hinweis: Die Links sind in erster Linie als Anlaufpunkt und Vorschlag zu sehen. Leider haben wir nicht die Ressourcen Support jeglicher Art für die verlinkte Software anzubieten oder alle dort angebotenen Informationen auf Richtigkeit zu prüfen.

---

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.