Hochschule RheinMain: Der Fachbereich DCSM (Design Computer Science Media) forscht auf dem Gebiet der formalen Methoden im Softwareengineering. Prof. Dr. Bodo Igler fokussiert sich dabei unter anderem auf das Gebiet des Anforderungsmanagements und arbeitet dabei unter anderem an der Benutzerfreundlichkeit der Werkzeuge.