Call for Papers

ESE Kongress: Die Referenten

Dr. Ralf Gerlich

Dr. rer.nat. Dipl.-Inf. Ralf Gerlich begann vor 20 Jahren mit der professionellen Softwareentwicklung im Raumfahrtumfeld, zunächst mit Schwerpunkt Systemprogrammierung. Inzwischen beschäftigt er sich hauptsächlich mit Methoden der Softwareverifikation in allen Ebenen der Softwareentwicklung (konstruktiv, organisatorisch und analytisch), sowohl manuell als auch werkzeuggestützt und vollautomatisch. Dabei gilt sein Interesse sowohl der theoretisch-mathematischen als auch der praktisch-pragmatische

Vorträge von Dr. Ralf Gerlich auf dem ESE Kongress.
Um mehr zu dem jeweiligen Vortrag zu erfahren, klicken Sie bitte auf den Titel.

Datum/Uhrzeit
Titel des Vortrages
06.12.18 10:35-11:15 Automatisierung von anforderungsbasiertem Testen