Startseite
Lehre
Sommersemester
Complex and Intelligent Software Systems
Datenbanksysteme II
Softwaretechnik II
Proseminar/Seminar „Modellbasierte Entwicklung“
Projektgruppe / Projektarbeit „Software Engineering“
Wintersemester
Datenbanksysteme I
Softwaretechnik I
Model Checking
Software Engineering für Mechatroniker
Guide to Scientific Working
Softwaretechnik Praktikum
Linuxkurs
Abschlussarbeiten
Forschung
Modeling and Analyzing Configurable Software with Weighted Automata
Continuous Exploration of Infinitely Configurable Cyber-Physical Systems for Sample-based Testing (Co-InCyTe)
Optimized Quantum Software Testing using Functional Property Specifications and Quantum State Verification Techniques (QuTe)
Team
Prof. Dr. rer. nat. habil. Malte Lochau
Katharina Zetzsche
Dipl.-Ing. Frank Schuh
M. Sc. Robert Müller
M. Sc. Mathis Weiß
M. Sc. Evelyn Rühl
M. Sc. Adrián Marín Boyero
Kontakt
Modellbasierte Entwicklung
»
Deutsch
Startseite
Lehre
Sommersemester
Complex and Intelligent Software Systems
Datenbanksysteme II
Softwaretechnik II
Proseminar/Seminar „Modellbasierte Entwicklung“
Vorlage für die schriftliche Ausarbeitung des Seminars
Projektgruppe / Projektarbeit „Software Engineering“
Wintersemester
Datenbanksysteme I
Softwaretechnik I
Model Checking
Software Engineering für Mechatroniker
Guide to Scientific Working
Softwaretechnik Praktikum
Linuxkurs
Abschlussarbeiten
Forschung
Modeling and Analyzing Configurable Software with Weighted Automata
Continuous Exploration of Infinitely Configurable Cyber-Physical Systems for Sample-based Testing (Co-InCyTe)
Optimized Quantum Software Testing using Functional Property Specifications and Quantum State Verification Techniques (QuTe)
Team
Prof. Dr. rer. nat. habil. Malte Lochau
Katharina Zetzsche
Dipl.-Ing. Frank Schuh
M. Sc. Robert Müller
M. Sc. Mathis Weiß
M. Sc. Evelyn Rühl
M. Sc. Adrián Marín Boyero
Kontakt
Widgets
Startseite
Lehre
Sommersemester
Complex and Intelligent Software Systems
Datenbanksysteme II
Softwaretechnik II
Proseminar/Seminar „Modellbasierte Entwicklung“
Vorlage für die schriftliche Ausarbeitung des Seminars
Projektgruppe / Projektarbeit „Software Engineering“
Wintersemester
Datenbanksysteme I
Softwaretechnik I
Model Checking
Software Engineering für Mechatroniker
Guide to Scientific Working
Softwaretechnik Praktikum
Linuxkurs
Abschlussarbeiten
Forschung
Modeling and Analyzing Configurable Software with Weighted Automata
Continuous Exploration of Infinitely Configurable Cyber-Physical Systems for Sample-based Testing (Co-InCyTe)
Optimized Quantum Software Testing using Functional Property Specifications and Quantum State Verification Techniques (QuTe)
Team
Prof. Dr. rer. nat. habil. Malte Lochau
Katharina Zetzsche
Dipl.-Ing. Frank Schuh
M. Sc. Robert Müller
M. Sc. Mathis Weiß
M. Sc. Evelyn Rühl
M. Sc. Adrián Marín Boyero
Kontakt
Widgets
Startseite
Lehre
Sommersemester
Complex and Intelligent Software Systems
Datenbanksysteme II
Softwaretechnik II
Proseminar/Seminar „Modellbasierte Entwicklung“
Vorlage für die schriftliche Ausarbeitung des Seminars
Projektgruppe / Projektarbeit „Software Engineering“
Wintersemester
Datenbanksysteme I
Softwaretechnik I
Model Checking
Software Engineering für Mechatroniker
Guide to Scientific Working
Softwaretechnik Praktikum
Linuxkurs
Abschlussarbeiten
Forschung
Modeling and Analyzing Configurable Software with Weighted Automata
Continuous Exploration of Infinitely Configurable Cyber-Physical Systems for Sample-based Testing (Co-InCyTe)
Optimized Quantum Software Testing using Functional Property Specifications and Quantum State Verification Techniques (QuTe)
Team
Prof. Dr. rer. nat. habil. Malte Lochau
Katharina Zetzsche
Dipl.-Ing. Frank Schuh
M. Sc. Robert Müller
M. Sc. Mathis Weiß
M. Sc. Evelyn Rühl
M. Sc. Adrián Marín Boyero
Kontakt
