51本色
Direkt zur Hauptnavigation
Direkt zum Inhalt
Direkt zum Funktionsmen眉 (Sprache, Drucken, Social Media)
Direkt zur Fu脽leiste
Direkt zur Suche
Institute of Software Engineering and Programming Languages
Suchen
惭别苍眉
SP
Institute
Institute
Homepage
News
Human-Centered Software Engineering Research Group
Quality-driven System Evolution Group
Vacancies
Contact
Teaching
Teaching
Overview
Themen f眉r Abschlussarbeiten und Projekte (Informatik)
Supervised Theses
Research
Research
Overview
Projects
Projects
ANYMOS II
SafeSec
CodeInspector
flowR
CoreASM
Ensure
Flux
GENIAL
Inline
MENTOR
MICE
Feature-Model Counting
SORRIR
Quadcopter Lab
VariantSync
Super-Linear Speedup by Program Transformation
Embedding of Constraint Handling Rules
Waddle
Publications
Team
Team
Overview
Prof. Dr. Matthias Tichy
Prof. Dr. Robert Heinrich
Jun.-Prof. Dr. Bianca Wiesmayr
Human-Centered Software Engineering Research Group
Quality-driven System Evolution Group
External PhD Students
Supervised Dissertations
Former Team Members
SP
Team
Former Team Members
Publikationen
EN
叠眉肠丑别谤
Alle Publikationen
