Integration von Techniken der Softwarespecifikation für ingenieurwissenschaftliche Anwendungen - DFG Grant uri icon