Das Institut bietet folgende Systeme, Bibliotheken und Werkzeuge an:

 

KIV

Ein Werkzeug zur formalen Systemspezifikation und interaktiven Verifikation

Robotics API

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

MiniBrass

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

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