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

图片

Das Institut bietet folgende Systeme, Bibliotheken und Werkzeuge an:

?

KIV

Ein Werkzeug zur formalen Systemspezifikation und interaktiven Verifikation

KIV Logo

Robotics API

Ein Framework zur Entwicklung von echtzeitkritischen Anwendungen für Industrieroboter in Java

Robotics API

MiniBrass

Eine Modellierungssprache für überbestimmte Multi-Agenten-Optimierungsprobleme auf Basis von MiniZinc

MiniBrass

Institut für Software & Systems Engineering

Das Institut für Software & Systems Engineering, geleitet von Prof. Dr. Wolfgang Reif, ist eine wissenschaftliche Einrichtung in der Fakult?t für Angewandte Informatik an der Universit?t Augsburg. Das Institut unterstützt sowohl Grundlagen- als auch angewandte Forschung in allen Bereichen der Software & Systems Engineering. In der Lehre erm?glicht es die weitere Entwicklung des relevanten Kursangebots von Fakult?t und Universit?t.

Suche