Dieser Forschungsbereich wird von Prof. Hermann Kaindlgeleitet.
- (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 HermannKaindl.
- (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)