Diese Seite beschreibt die Software-Engineering-Beratung von Prof. Dr. Stefan Wagner.
Prof. Wagner hat in Augsburg und Edinburgh studiert und in München promoviert. Seit 2011 ist er Inhaber des Lehrstuhls für Empirisches Software Engineering an der Universität Stuttgart. Seine Schwerpunkte sind dabei Software-Qualität, Requirements Engineering, Safety/Security/Privacy Engineering, kontinuierliche und agile Entwicklung und Software Engineering für Künstliche Intelligenz.
I was very happy to be invited as a speaker to the 2016 DGLR Software Safety Workshop. In this workshop, avionics experts discuss experiences and advances in software safety. I presented STAMP/STPA as a general approach and our extension to it for connecting it to verification activities such as test case generation and model checking.
My slides are below: