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