新万博体育下载_万博体育app【投注官网】

图片

Grundlagen des Software & Systems Engineering

?

Seit 2007 hat Dr. Alexander Knapp eine Professur für die Grundlagen des Software & Systems Engineering inne. In der heutigen Entwicklung immer komplexerer und heterogenerer Software-Systeme spielen Modelle zur Abstraktion von Sachverhalten aus unterschiedlichen Blickwinkeln, deklarative Spezifikationen und Lernverfahren, die das ?Was?“ statt das ?Wie?“ in den Vordergrund rücken, und eine integrierte umfassende Qualit?tssicherung durch formale Techniken entscheidende Rollen. Professor Knapp besch?ftigt sich mit Modellierungssprachen, ihrer Semantik und Konsistenzprüfung; deklarativen Constraint-Sprachen für Pr?ferenz- und Entscheidungsoptimierungen; und der Verifikation und dem Testen von nebenl?ufigen und adaptiven Systemen unter Einbeziehung von Verfahren des maschinellen Lernens.

Allgemeine Kontaktinformationen:

Anschrift:
Universit?tsstra?e 6a

86159 Augsburg


Telefon: +49 821 598 ? 2180

Fax: +49 821 598 2175

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

?

Geb?ude: N

? Universit?t Augsburg

Suche