威尼斯赌博游戏_威尼斯赌博app-【官网】

图片

威尼斯赌博游戏_威尼斯赌博app-【官网】

图片

Foundations of Software & Systems Engineering

Since 2007, Dr. Alexander Knapp holds a professorship for foundations of software & systems engineering. Ever more complex and ever more heterogeneous software systems make models for abstracting with respect to different perspectives, declarative specifications, and learning methods for stressing the “what?” over the “how?”, as well as integrated qualtiy assurance by the use of formal methods grow ever more decisive. Professor Knapp works on modelling languages, their semantics, and consistency checks; declarative constraint languages for perference and decision optimisation; and verification and testing of concurrent and adpative systems also using machine learning techniques.

How to contact us:

Address:
Universit?tsstra?e 6a

86159 Augsburg


Tel.: +49 821 598 ? 2180

Fax: +49 821 598 2175

E-Mail: knapp@informatik.uni-augsburg.de

?

Building: N

? 威尼斯赌博游戏_威尼斯赌博app-【官网】 of Augsburg

Search