Attention: This page shows a discontinued module offer.
Discontinued
5 Credit points
For information on the duration of the modul, refer to the courses of study in which the module is used.
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.
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, die beispielsweise in den Moduen 39-Inf-1 Algorithmen und Datenstrukturen, 39-Inf-5 Techniken der Projektentwicklung, 39-Inf-6 Grundlagen Theoretischer Informatik und 24-M-INF! Mathematik für Informatik I erworben werden können.
—
Zu den beiden Seminaren soll jeweils eine eigene Prüfung erfolgen, die beide Themengebiete abdeckt.
Die Modul(teil)prüfung kann in einigen Studiengängen nach Wahl der Studierenden auch "unbenotet" erbracht werden. Vor Erbringung ist eine entsprechende Festlegung vorzunehmen, eine nachträgliche Änderung (benotet - unbenotet) ist ausgeschlossen. Wird diese Option gewählt, ist es nicht möglich, dieses Modul zu verwenden, um es in einen Studiengang einzubringen, in dem dieses Modul bei der Gesamtnotenberechnung berücksichtigt wird.
Module structure: 0-1 bPr, 1-2 uPr 1
Hausarbeit (ca. 8-16 Seiten) über ein vom Lehrenden bestimmtes Thema aus dem Seminar.
In einigen Studiengängen der Technischen Fakultät kann die Modulteilprüfung nach Wahl der Studierenden auch "unbenotet" erbracht werden (s. Erläuterungen zu den Modulelementen und die jeweilige FsB). Wird die unbenotete Option gewählt, ist es nicht möglich, dieses Modul zu verwenden, um es in einen Studiengang einzubringen, in dem dieses Modul bei der Gesamtnotenberechnung berücksichtigt wird.
Erläuterungen zu dieser Prüfung siehe unten (benotete Prüfungsvariante).
Referat (15-25 min.)
Bei diesem Modul handelt es sich um ein eingestelltes Angebot. Dieses Modul richtet sich nur noch an Studierende, die nach einer der nachfolgend angegebenen FsB Versionen studieren. Ein entsprechendes Angebot, um dieses Modul abzuschließen, wurde bis maximal Wintersemester 2017/2018 vorgehalten. Genaue Regelungen zum Geltungsbereich s. jeweils aktuellste FsB Fassung.
Bisheriger Angebotsturnus war jedes Wintersemester.
| Degree programme | Recommended start 3 | Duration | Mandatory option 4 |
|---|---|---|---|
| Intelligent Systems / Master of Science [FsB vom 17.12.2012 mit Änderungen vom 15.04.2013, 01.04.2014, 15.10.2014, 02.03.2015 und Berichtigung vom 17.11.2014] | 1. | two semesters | Compulsory optional subject |
| Informatics for the Natural Sciences / Master of Science [FsB vom 17.12.2012 mit Änderungen vom 15.04.2013, 01.04.2014, 15.10.2014, 02.03.2015, 01.12.2015 und Berichtigungen vom 01.04.2014, 17.11.2014 und 12.07.2017] | 1. o. 3. | two semesters | Compulsory optional subject |
The system can perform an automatic check for completeness for this module.