足球竞彩网_365bet体育在线投注-【中国科学院】

图片

图片

The institute offers the following systems, libraries and tools:

?

KIV system

A tool for formal systems development and interactive verification

KIV Logo

Robotics API

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

Robotics API

MiniBrass

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

MiniBrass

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.

Search