Vorlesung Methodische Grundlagen des Software Engineering

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. Die Veranstaltung ist für Studenten des Master- / Hauptstudiums gedacht, die ihre Kenntnisse der Softwaretechnik und insbesondere der modellbasierten Systemkonstruktion und Sicherheit vertiefen wollen. Die Veranstaltungen des Grundstudiums werden vorausgesetzt, hier besonders die Veranstaltungen Softwaretechnik, Softwarekonstruktion und Software-Praktikum. Bei regelmäßiger Teilnahme an den Übungen besteht die Möglichkeit zum Erwerb des Übungsscheins. Die Vorlesung kann in den kommenden Semestern durch Spezialvorlesungen, Seminare und Projektgruppen vertieft werden. Inhalte: Anwendungskontext: Annahmen und Anwendungskontext für den Einsatz von IT (soweit relevant für die Vorlesungsinhalte) am Beispiel des Finanzbereichs Business Processes: Grundlagen Geschäftsprozesse, Elektronische Prozessketten, BPMN 2.0, Business Process Mining, Business Process Execution Software Quality: Grundlagen, Quality Management, Metriken Testing: Ausgewählte Verfahren Dependability & Security: Grundlagen, Netzwerksicherheit, Kryptografie Security Modelling: UMLsec, Architecturen, Protokolle, Biometrie Modulhandbuch: http://www.cs.uni-dortmund.de/nps/de/Studium/Ordnungen_Handbuecher_Beschluesse/Modulhandbuecher/Modulhandbuch_Master_Informatik/Basismodule/Forschungsbereich_Software_Sicherheit_und_Verifikation/INF-MSc-211.pdf 1. Teil: • Jochen Ludewig / Horst Lichter: Software Engineering – Grundlagen, Menschen, Prozesse, Techniken, dpunkt.verlag (http://www.swc.rwth-aachen.de/se_buch) • Helmut Balzert: Lehrbuch der Software-Technik, Spektrum Akademischer Verlag • Ian Sommerville: Software Engineering, Pearson 2. Teil: • Jan Jürjens: Secure Systems Development with UML, Springer 2005 (http://www-jj.cs.tu-dortmund.de/jj/umlsec) Bemerkung Etwaige Terminänderungen werden hier angekündigt: http://www-jj.cs.tu-dortmund.de/secse/pages/teaching/ss12/mgse/index_de.shtml Informatik Die Veranstaltung ist für Studenten des Master- / Hauptstudiums gedacht, die ihre Kenntnisse der Softwaretechnik und insbesondere der modellbasierten Systemkonstruktion und Sicherheit vertiefen wollen. Die Veranstaltungen des Grundstudiums werden vorausgesetzt, hier besonders die Veranstaltungen Softwaretechnik, Softwarekonstruktion und Software-Praktikum. 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. Termin: 27.7. 14:00 bis 16:00 Otto-Hahn-Str. 14 - E23 Wiederholungstermin: 21.9. 14:00 bis 16:00 Otto-Hahn-Str. 14 - E23 Die Bearbeitung der Übungsaufgaben bereitet auf die Teilnahme an der Fachprüfung vor. 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. Termin: 27.7. 14:00 bis 16:00 Otto-Hahn-Str. 14 - E23 Wiederholungstermin: 21.9. 14:00 bis 16:00 Otto-Hahn-Str. 14 - E23 Die Bearbeitung der Übungsaufgaben bereitet auf die Teilnahme an der Fachprüfung vor. Technische Universität Dortmund SoSe 2012 Lehrstuhl Informatik XIV Prof. Dr. Jürjens Jan