拉斯维加斯赌城

图片

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.

拉斯维加斯赌城