252-0216-00L Rigorous Software Engineering
Semester | Frühjahrssemester 2020 |
Dozierende | F. Friedrich Wicker, H. Lehner, M. Schwerhoff |
Periodizität | jährlich wiederkehrende Veranstaltung |
Lehrsprache | Englisch |
Lehrveranstaltungen
Nummer | Titel | Umfang | Dozierende | ||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
252-0216-00 V | Rigorous Software Engineering | 4 Std. |
| F. Friedrich Wicker, H. Lehner, M. Schwerhoff | |||||||||||||||||||||
252-0216-00 U | Rigorous Software Engineering Gruppeneinteilung erfolgt über myStudies. | 2 Std. |
| F. Friedrich Wicker, H. Lehner, M. Schwerhoff | |||||||||||||||||||||
252-0216-00 A | Rigorous Software Engineering | 1 Std. | F. Friedrich Wicker, H. Lehner, M. Schwerhoff |
Katalogdaten
Kurzbeschreibung | This course introduces both theoretical and applied aspects of software engineering and analysis. It covers: - Software Architecture - Informal and formal Modeling - Design Patterns - Code Refactoring - Program Testing - Dynamic Program Analysis - Static Program Analysis |
Lernziel | The course has two main objectives: - Understand, end-to-end (theoretical and practical), the core techniques for building quality software - Understand how to apply these techniques in practice |
Inhalt | Some of the core technical topics covered will be: - modeling and mapping of models to code - common code design patterns - functional and structural testing - dynamic and static analysis |
Literatur | Will be announced in the lecture. |
Leistungskontrolle
Information zur Leistungskontrolle (gültig bis die Lerneinheit neu gelesen wird) | |
Leistungskontrolle als Semesterkurs | |
ECTS Kreditpunkte | 8 KP |
Prüfende | M. Schwerhoff, F. Friedrich Wicker, H. Lehner |
Form | Sessionsprüfung |
Prüfungssprache | Englisch |
Repetition | Die Leistungskontrolle wird nur in der Session nach der Lerneinheit angeboten. Die Repetition ist nur nach erneuter Belegung möglich. |
Prüfungsmodus | schriftlich 120 Minuten |
Zusatzinformation zum Prüfungsmodus | The grade will be determined by: - a mandatory project, 20% - a final exam, 80% Students who are repeating the course are required to repeat the project work. |
Hilfsmittel schriftlich | None. |
Diese Angaben können noch zu Semesterbeginn aktualisiert werden; verbindlich sind die Angaben auf dem Prüfungsplan. |
Lernmaterialien
Hauptlink | Information |
Es werden nur die öffentlichen Lernmaterialien aufgeführt. |
Gruppen
252-0216-00 U | Rigorous Software Engineering | |||||||||
| ||||||||||
Gruppen | G-01 |
| ||||||||
G-02 |
| |||||||||
G-03 |
| |||||||||
G-04 |
| |||||||||
G-05 |
|
Einschränkungen
Keine zusätzlichen Belegungseinschränkungen vorhanden. |
Angeboten in
Studiengang | Bereich | Typ | |
---|---|---|---|
Informatik Bachelor | Vertiefung Systems and Software Engineering | O |