Die Technische Hochschule Mittelhessen besitzt mit dem Institut für Softwarearchitektur ausgewiesene Experten rund um die Fragestellung der Softwaretechniken und -architekturen. Prof. Dr. Burkhard Renz arbeitet dabei insbesondere auf dem Gebiet der Analyse und Bewertung und setzt formale Methoden hierfür ein.