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
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: 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