Modultitel

System- und Software-Engineering

Modultitel (Englisch)

System and Software Engineering

Lehrveranstaltungen des Moduls

Seminar Themen in Systems and Software Engineering
Seminar Requirements- und Design-Engineering
oder gelegentlich angebotene Sonderveranstaltungen in Absprache mit dem Modulverantwortlichen

Modulverantwortliche(r)

Prof. Peter B. Ladkin Ph.D.

Lehrinhalte

Eine Auswahl von System-Lifecycle von Requirements bis Decommissioning; Requirements-Engineering mit Ontological Analysis (OA); Formale Spezifikation von Requirements sowie Design; Konsistenz- und Vollständigkeits-Überprüfung; die Implementation-Relation und formale Verifikation; Forward-Engineering (Code von Design); Validierung; Testen; Projekt-Management und Ressourcen-Schätzung; Typische Probleme der Wartung (Operational Maintenance).

Literatur:

Lamport, Specifying Systems;
Ladkin, Causal Analysis of Systems; Henkel, Safely Sliding Windows;
Barnes, High-Integrity Software: The SPARK Approach;
Holzmann, The SPIN model checker;
Ladkin, Causal System Analysis;
Somerville, Software Engineering; Hatton, Safer C;
Boehm et al., Software Cost Estimation with Cocomo II;
Brooks, The Mythical Man-Month;
Glass, Software Runaways;
Yourdon, Death March;
Demarco, Lister, Waltzing With Bears;
diverse Skripte

Kompetenzen

Verständnis für die Lifecycle-Etappen eines komplexen computer-basierten Systems. Die praktische Fähigkeit, die Entwicklung eines solchen Systemes zu planen und durchzuführen. Praktische Erfahrung mit Entwicklungs-Tools wie SPIN und SPARK

Anzahl Einzelleistungen (benotet und unbenotet)

zwei unbenotete Einzelleistungen

Prüfungsformen

Seminar-Vortrag, Seminar-Hausarbeit

Voraussetzungen für die Vergabe von Leistungspunkten

Präsenzteilnahme in Themen in Systems and Software Engineering und
Requirements- und Design-Engineering oder
gelegentlich angebotene Sonderveranstaltungen genehmigt vom Modulverantwortlichen

Arbeitsaufwand und Leistungspunkte

Themen in Systems and Software Engineering (SS: 2S) 3 LP
Requirements- und Design-Engineering (WS: 2S) 2 LP
gesamt: 150h = 5 LP

= 90h
= 60h

Teilnahmevoraussetzungen und Vorkenntnisse

Mathematik I, Algorithmen und Datenstrukturen, Techniken der Projektentwicklung
Nützlich: Grundlagen theoretischer Informatik

Modultyp und Verwendbarkeit

Wahlpflichtmodul für die Masterstudiengänge

Naturwissenschaftliche Informatik (Vertiefung Informatik)
Intelligente Systeme (Vertiefung Intelligente Systeme)

Dauer des Moduls / Angebotsturnus

Beginn: Wintersemester
Dauer: 1 Jahr
Turnus: jährlich