Master-Level Teaching

Details for the modules can be found in the module handbook and exam regulations of the faculty.

Modul	Content
SWT-SWQ-M UnivIS, VC	Software Quality considers advanced techniques for assuring the quality of software systems, in particular model-based testing, code reviews, and static analysis and verification. Course Type: Lecture Language: English ECTS: 6 Semester: WiSe Registration: Exam registration via FlexNow during the registration period for centrally organised examinations
SWT-ASV-M UnivIS, V C	Applied Software Verification studies techniques and algorithms for proving software systems functionally correct, and introduces state-of-the-art verification tools. . Course Type: Lecture Language: English ECTS: 6 Semester: SoSe Registration: Exam registration via FlexNow between Mo 15th April 2024 to Sun 5th May 2024
SWT-CPS-M UnivIS, VC	Cyber-Physical Systems teaches the foundational concepts needed to model, develop, and verify digital systems that interact with their physical environment, as well as languages, tools, and paradigms for implementing and deploying them. Course Type: Lecture Language: English ECTS: 6 Semester: WiSe Registration: The module SWT-CPS-M will no longer be offered from WiSe 2023/24 and onwards, and has been replaced by the module SWT-SWQ-M on the topic of software quality. Exam registration via FlexNow during the registration period for centrally organised examinations
SWT-PR1-M UnivIS, VC	SWT Masters Project in Software Systems Science is an advanced team project, which is conducted by students in an agile research and development environment, on applications related to digital systems immersed in their physical environment, called cyber-physical systems. Course Type: Project Language: English ECTS: 6 or 9 Semester: SoSe Registration: Exam registration via FlexNow between Mo 15th April 2024 to Sun 5th May 2024
SWT-SEM-M UnivIS, VC	Seminar Software Engineering and Programming Languages explores advanced topics in software engineering and programming languages, where students carry out a literature review, deliver a scientific presentation, and write a scientific essay. Course Type: Seminar Language: English ECTS: 3 Semester: SoSe Registration: Exam registration via FlexNow between Mo 15th April 2024 to Sun 5th May 2024

Modul

Content

SWT-SWQ-M

Software Quality
considers advanced techniques for assuring the quality of software systems, in particular model-based testing, code reviews, and static analysis and verification.

Course Type: Lecture
Language: English
ECTS: 6
Semester: WiSe
Registration:
- Exam registration via FlexNow during the registration period for centrally organised examinations

SWT-ASV-M

UnivIS, V C

Applied Software Verification
studies techniques and algorithms for proving software systems functionally correct, and introduces state-of-the-art verification tools. .

Course Type: Lecture
Language: English
ECTS: 6
Semester: SoSe
Registration:
- Exam registration via FlexNow between Mo 15th April 2024 to Sun 5th May 2024

SWT-CPS-M

UnivIS, VC

Cyber-Physical Systems
teaches the foundational concepts needed to model, develop, and verify digital systems that interact with their physical environment, as well as languages, tools, and paradigms for implementing and deploying them.

Course Type: Lecture
Language: English
ECTS: 6
Semester: WiSe
Registration:
- The module SWT-CPS-M will no longer be offered from WiSe 2023/24 and onwards, and has been replaced by the module SWT-SWQ-M on the topic of software quality.
- Exam registration via FlexNow during the registration period for centrally organised examinations

SWT-PR1-M

UnivIS, VC

SWT Masters Project in Software Systems Science
is an advanced team project, which is conducted by students in an agile research and development environment, on applications related to digital systems immersed in their physical environment, called cyber-physical systems.

Course Type: Project
Language: English
ECTS: 6 or 9
Semester: SoSe
Registration:
- Exam registration via FlexNow between Mo 15th April 2024 to Sun 5th May 2024

SWT-SEM-M

UnivIS, VC

Seminar Software Engineering and Programming Languages
explores advanced topics in software engineering and programming languages, where students carry out a literature review, deliver a scientific presentation, and write a scientific essay.

Course Type: Seminar
Language: English
ECTS: 3
Semester: SoSe
Registration:
- Exam registration via FlexNow between Mo 15th April 2024 to Sun 5th May 2024