The institute offers the following systems, libraries and tools:


KIV system

A tool for formal systems development and interactive verification

Robotics API

A framework for developing real-time critical industrial robot applications in Java


A modeling language for over-constrained multi-agent optimization problems based on MiniZinc.

Institute for Software & Systems Engineering

The Institute for Software & Systems Engineering (ISSE), directed by Prof. Dr. Wolfgang Reif, is a scientific institution within the Faculty of Applied Computer Science of the University of Augsburg. In research, the institute supports both fundamental and application-oriented research in all areas of software and systems engineering. In teaching, the institute facilitates the further development of the faculty's and university's relevant course offerings.