Methodische Grundlagen des Software Engineering
Vorlesung (4 SWS) und Übung (2 SWS)
Beschreibung
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.
Neuigkeiten
- 02.10.2012 - Die Korrektur der Nachklausur ist abgeschlossen.
- 02.10.2012 - Der Termin für die Klausureinsicht der Nachklausur ist am Donnerstag, 11.10.12 von 16 bis 17 Uhr in
OH14, 305
- 25.07.2012 - Die Klausurkorrektur abgeschlossen.
- 21.06.2012 - Der Termin für die Klausureinsicht ist am Donnerstag, 26.07.12 um 10 Uhr
- 20.06.2012 - DIE VORLESUNG FÄLLT AM 2. UND 3. JULI LEIDER AUS
- 28.05.2012 - Übung 6, Tippfehler in der Hausübung 6.2.4 korrigiert: Korrekt ist XW statt
CW.
- 15.05.2012 - AB SOFORT FINDET DIE VORLESUNG MONTAGS JEWEILS BEREITS UM 16.00 (STATT 16.15) STATT
- 08.05.2012 - Aktualisierte Version des BPMN-Foliensatzes: Anpassung der Start-, Zwischen- und Endereignisse auf
BPMN 2.0
- 03.05.2012 - Hilfreiche Links zugefügt
- 22.04.2012 - Neue Nummerierung der Folien (Inhalt bleibt gleich)
- 10.04.2012 - Informationen zum Übungsablauf aktualisiert
Inhalt
- 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 und Security: Grundlagen, Netzwerksicherheit, Kryptografie
- Security Modelling: UMLsec, Architecturen, Protokolle, Biometrie
Termine
Vorlesungen
Montag, 16:15-18:00, OH14, Raum E23,
Dienstag, 10:15-12:00, OH16, Raum 205
Übung
Donnerstag, 10:00-12:00, MSW 18, 2.04
Donnerstag, 14:00-16:00, MSW 16, E 31
1. Übung am 12.04.2012
Klausur
- Klausur: 23.07.12 von 14 bis 16 Uhr in HS6 im HG II
- Einsicht: 26.07.12 10 bis 11 Uhr in OH 14 Raum 305
- Ergebnisse: Notenliste Punkteskala
- Nachklausur: 27.09.2012 von 14 bis 16 Uhr, OH14 / E23
- Einsicht: 11.10.12 16 bis 17 Uhr in OH 14 Raum 305
- Ergebnisse: Notenliste Punkteskala
Vorlesungsfolien
Teil 0: Einleitung
Teil 1: Anwendungsbeispiel Finanz- und Versicherungsdomäne
Teil 2: Geschäftsprozessmodellierung
Teil 3: Qualitätsmanagement
Teil 4: Testen
Teil 5: Entwicklung sicherer Software
Die Vorlesungsfolien werden semesterbegleitend fortlaufend bereitgestellt, und zwar (planmäßig) spätestens um
Mitternacht 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 Diskussionfragen im Anschluss an eine
Vorlesung).
Ab Kapitel 3.0 sind die Folien aus Gründen des Urheberrechtsschutzs nur aus dem TUD-Campusnetz abrufbar (oder von
ausserhalb mittels des TUD VPN).
Vorlesungs-Termine
- Di 03.04.12: Teil 0, Teil 1 (bis Folie 14)
- Di 10.04.12: Teil 1 (ab Folie 15), 2.0 (bis Folie 10)
- Mo 16.04.12: Teil 2.0 (ab Folie 11), 2.1
- Di 17.04.12: Teil 2.1
- Mo 23.04.12: Wiederholung, Teil 2.2, 2.3 (bis Folie
9)
- Di 24.04.12: Teil 2.3 (ab Folie 9)
- Mo 30.04.12: Wiederholung, Teil 2.4 (bis Folie 62)
- Di 01.05.12: Feiertag
- Mo 07.05.12: Wiederholung, Process Mining TV Episode 1, Teil 2.4 (ab Folie
64), ProM-TV Episode 2, Teil 2.5 (bis
Folie 49)
- Di 08.05.12: Teil 2.5 (ab Folie 49), Teil 2.6 (bis Folie 54)
- Mo 14.05.12: Teil 2.6 (ab Folie 55), Teil 3.0, Teil 3.1 (bis Folie 13)
- Di 15.05.12: Teil 3.1 (ab Folie 14), Teil 3.2 (bis Folie 29)
- Mo 21.05.12: Teil 3.2 (ab Folie 29 bis Folie 69)
- Di 22.05.12: Teil 3.2 (ab Folie 69), Teil 4.0, Teil 4.1 (bis Folie 20)
- Mo 28.05.12: Feiertag
- Di 29.05.12: Teil 4.1 (ab Folie 21), Teil 4.2 (bis Folie 21)
- Mo 04.06.12: Wiederholung, Teil 4.2 (ab Folie 22)
- Di 05.06.12: Teil 4.3
- Mo 11.06.12: Teil 4.4 (bis Folie 89)
- Di 12.06.12: Teil 4.4 (ab Folie 90), Teil 4.5 (bis Folie 53)
- Mo 18.06.12: Teil 4.5 (ab Folie 54)
- Di 19.06.12: Teil 4.6 (bis Folie 80)
- Mo 25.06.12: Teil 4.6 (ab Folie 81), Teil 4.7
- Di 26.06.12: Teil 5.0, Teil 5.1 (bis Folie 10)
- Mo 02.07.12: FÄLLT AUS !
- Di 03.07.12: FÄLLT AUS !
- Mo 09.07.12: eingeladener Vortrag ePost-Brief
- Di 10.07.12: Vorstellung Abschlussarbeiten, Teil 5.1 (ab Folie 11), Wiederholung
Hilfreiche Links
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.
Konzept
Die Übung wird als zweistündige Präsenzübung durchgeführt. Die Übungszettel dazu werden jeweils
Mittwoch
Morgen veröffentlicht. Der jeweilige Zettel ist dann Gegenstand der Übung in der nächsten
Woche. Diese Zettel können dann während der Übung alleine oder in Gruppen bearbeitet werden und der anwesende Tutor
steht für Fragen zur Verfügung. Jeder Aufgabenzettel enthält eine Aufgabe die nicht Teil der Präsenzübung ist und am
Anfang der nächsten Übung beim Tutor in schriftlicher Form abgegeben werden kann. Diese Aufgaben werden vom Tutor
binnen einer Woche korrigiert und bewertet und in der nächsten Übung zurück gegeben.
Jede dieser Aufgaben ist 5
Punkte wert. Es wird insgesamt 12 Übungen geben. Bei Erreichen von 50% in den Übungen 1-6 und in den Übungen 7-12
(jeweils 15 von 30 Punkten) wird die Übungsleistung, sofern benötigt, als erbracht angesehen. Die Abgabe in Gruppen von
je 2 Personen ist zulässig.
Bearbeitete Hausübungen können entweder in der Übung abgegeben werden oder in den Briefkasten (Nr. 7) in der
Otto-Hahn-Strasse 20 eingeworfen werden. Die Leerung des Briefkastens erfolgt jeweils im Anschluss an die zweite
MGSE-Übung. Weitere Leerungen erfolgen nicht.
Zum Erreichen der Übungsleistung ist ausserdem eine Anmeldung per Mail bis spätestens Mittwoch, den 18. April 2012, an
Sebastian Pape erforderlich.
Übungszettel
Bei Fragen zu den Übungen und ihrer Durchführung kann sich an
Sebastian Pape gewandt werden.
Leistungsnachweis
Diplom
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.
Master Informatik / Angewandte Informatik
Die Prüfungsleistung wird anhand der Modulprüfung in Form einer
schriftlichen Prüfung ermittelt. Die Bearbeitung der Übungsaufgaben bereitet auf die Teilnahme an der Modulprüfung vor.
NB: Bachelorstudenten, die ein Master-Studium an der TU Dortmund anstreben, dürfen zwar an der Vorlesung teilnehmen,
allerdings dürfen sie erst zu der Vorlesung geprüft werden, wenn sie dann schon im Masterstudium sind.
Bachelorstudenten, die zum zweiten Klausurtermin (27.9.2012) noch nicht im Masterstudium sein werden, setzen sich bitte
mit Prof. Jürjens in Verbindung.
Einordnung
Diplom
Schwerpunkt 1, Schwerpunkt 5
Master Informatik / Angewandte Informatik
Basismodul, Forschungsbereich: Software, Sicherheit und Verifikation
Literatur
Teile 1-3:
- Jochen Ludewig / Horst Lichter: Software
Engineering - Grundlagen, Menschen, Prozesse, Techniken, dpunkt.verlag, 2. Auflage, 2010
- Helmut Balzert: Lehrbuch der
Software-Technik, Spektrum Akademischer Verlag
- Ian Sommerville: Software Engineering, 9.
Auflage, Pearson, 2010 (deutsch: Pearson, 2012): Eher als Handbuch geeignet, da es einen Überblick über viele Themen
gibt, aber notwendigerweise in jeweils geringer Tiefe.
Teil 4:
- Andreas Spillner, Tilo Linz: Basiswissen Softwaretest, Aus- und Weiterbildung zum Certified Tester Foundation
Level nach ISTQB-Standard. 4., überarbeitete Auflage, dpunkt.verlag, 2010, 308 Seiten, 39 Euro (D), ISBN
987-3-89864-642-0
- Eike Riedemann: Testmethoden für sequentielle und nebenläufige Software-Systeme. Teubner, Stuttgart, 512 S., 1997
(als Buch leider vergriffen; aber vollständig als PDF-Dateien hier herunterladbar sowie vorhanden in der Bereichsbibliothek Informatik (3406/Ried) und in der
Uni-Bibliothek/Lehrbuchsammlung (L Sr 366, fünfmal)).
Teil 5:
- Jan Jürjens: Secure Systems Development with UML, Springer 2005 (https://rgse.uni-koblenz.de/jj/umlsec)
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, per email, oder auch über das
anonyme Kontaktformular des Lehrstuhls (im letzteren Fall bitte die
Veranstaltung erwähnen, auf die sich der Hinweis bezieht). Vielen Dank!
Kontakt
Zum Profil von Prof. Dr. Jan
Jürjens