Sprungmarken

Servicenavigation

Hauptnavigation

Sie sind hier:

Hauptinhalt

Methodische Grundlagen des Software Engineering

Veranstalter: Dr. Johannes Neubauer
Dipl. Inf. Michael Lybecait
Typ: Basismodul aus Forschungsbereich: "Software, Sicherheit und Verifikation"
Modulnummer: Inf-MSc-211
SWS: 4 SWS Vorlesung
4 SWS Übung
Ort: Otto Hahn Str. 12, Raum E.003
Termin: Terminliste weiter unten
Zeit: Montag 10:15-11:45 Uhr
Mittwoch 12:15-13:45 Uhr
Beginn: 19.04.2017
Veranstaltungsnummer: 041201
Anmeldung: im LSF erforderlich

Zeit und Ort der Vorlesung und Übungen

Zeit und Ort der Vorlesung: Montag 10:15-11:45 Uhr, OH12/E.003
Mittwoch 12:15-13:45 Uhr, OH12/E.003
Zeit und Ort der Übungen: Dienstags, 12:15 - 13:45, OH16/205 Gruppen 1
  Donnerstags, 12:15 - 13:45, OH16/205 Gruppen 2

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.

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

    Neuigkeiten und Ankündigungen

    Die Vorlesung beginnt am 19.04.2017

     

    Vorlesungsfolien

    Die Vorlesungsfolien werden semesterbegleitend fortlaufend im Moodle bereitgestellt. Zusätzlich kann es vertiefendes Begleitmaterial und Literaturhinweise geben.

    Übung

    Übungsanmeldung

    • Die Anmeldung zu den Übungen erfolgt via AsSESS bis zum 24.4.2017, 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öchentlich statt.

    Übungszettel und weitere Unterlagen werden über Moodle bereitgestellt.

    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 (Diplomstudierende)

    • 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
    • Für den Leistungsnachweis gelten folgende Kriterien:
      • Anmeldung bei Michael Lybecait per Mail bis zum 24.4.2017.
      • Erreichen von jeweils mind. 50% der Punkte in den Übungen.

    Abschlussklausur

    • 1. Termin: 07.08., 17:00-18:30, HG2/HS1
    • 2. Termin: 18.09., 16:00-17:30, HG2/HS1
    • 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.

    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.



    Nebeninhalt

     Kontakt:

    Dr. Johannes Neubauer
    Dipl. Inf. Michael Lybecait

    Kontakt

    Tel. (0231) 755-5801
    Fax (0231) 755-5802