Master-Level Teaching

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

ModulContent

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.

SWT-ASV-M

UnivIS, VC 

                                

                       

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

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.

SWT-PR-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: WiSe and SoSe

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: WiSe and SoSe
  • Registration:
    • Exam registration via FlexNow between Mon 21st June 2021 and Sun 11th July 2021