Tabea Bordis, M.Sc.

Forschungsschwerpunkte

• Correctness-by-Construction
• Software Produktlinien (SPLs)

Lehre

Wintersemester 2021/22

• Softwarequalität 2

Sommersemester 2021

• Softwarequalität 1

Wintersemester 2020/21

• Softwarequalität 2

Sommersemester 2020

• Softwarequalität 1
• Summercamp

Wintersemester 2019/20

• Seminar

Aktuelle Themen für Studentische Arbeiten

Schaut bitte hier nach: aktuelle Abschlussarbeitsthemen

Bei Interesse einfach melden.

Betreute Studentische Arbeiten

Lukas Tyburzy. Correctness-by-Construction for Software Product Line Implementation Techniques. Master's thesis, 2021. In english.

Robert Hajek. Familien-Basierte Verifikation für Correct-by-Construction Software-Produktlinien. Bachelor's thesis, 2021. In german.

Jonas Ziliack. Fallstudie für Correctness-by-Construction Software-Produktlinien im Tool VarCorC. Bachelor's thesis, 2021. In german.

David Schultz. Benutzerfreundlichkeit bei der Entwicklung von korrekten Softwareproduktlinien in VarCorC. Bachelor's thesis, 2021. In german.

Elias Kuiter. Proof Repositories for Correct-by-Construction Software Product Lines. Master's thesis, 2020. In english.

Nadhem Benkhlifa. Method Call Treatment in CorC. Bachelor's thesis, 2020. In english.

Maximilian Kodetzki. Variational Correctness-by-Construction für Software-Produktlinien mit FeatureIDE. Bachelor's thesis, 2020. In german.

2020

• Tabea Bordis, Tobias Runge, and Ina Schaefer: Correctness-by-Construction for Feature-Oriented Software Product Lines. In 19th International Conference on Generative Programming: Concepts & Experiences (GPCE'20), 2020. (PDF version)
• Tabea Bordis, Tobias Runge, Alexander Knüppel, Thomas Thüm, and Ina Schaefer: Variational Correctness-by-Construction. In 14th International Working Conference on Variability Modelling of Software-Intensive Systems (VaMoS'20), 2020.