Dieser Forschungsbereich wird von Prof. Hermann Kaindl geleitet.
- (Modell-getriebene) Softwareentwicklung (Roman Popp)
- Automatisierte Generation von GUIs (Roman Popp)
- (Formale) Verifikation von Cyber-physical Systems (Christoph Luckeneder)
- Mensch-Maschine Interaktion (Hermann Kaindl)
- Requirements Engineering (Hermann Kaindl)
- Smarte Sensoren und Netzwerke (Thilo Sauter)
- Smart Power Grids - Energie- und Informationstechnologie (Marcus Meisel)
This Area of Research is headed by Professor Hermann Kaindl.
- (Model-driven) Software Development (Roman Popp)
- Automated Generation of GUIs (Roman Popp)
- (Formal) Verification of Cyber-physical Systems (Christoph Luckeneder)
- Human-Machine Interaction (Hermann Kaindl)
- Smart sensors and networks (Thilo Sauter)
- Smart Power Grids - Energy and Information Technology (Marcus Meisel)