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)

- Requirements Engineering (Hermann Kaindl)

- Smart sensors and networks (Thilo Sauter)

- Smart Power Grids - Energy and Information Technology (Marcus Meisel)