• Willkommen
  • Welcome

Specification of Software Systems

Welcome to our working group "Specification of Software Systems" at the University of Duisburg-Essen. We are part of "Paluno - The Ruhr Institute for Software Technology" as well as part of the Institute for Computer Science and Business Information Systems (ICB) at the Faculty of Business Administration and Economics at the University of Duisburg-Essen. We are physically located at the Paluno building at Gerlingstraße 16 in Essen.

Services for Students


Erasmus / Sokrates:

The deadline for Erasmus is 31 January each year. If you are interested in having a term aboard, please send us an application.

Research and Projects

Find out in which research areas we are working:

Have a look at our tools:

  • Opens internal link in current windowJACK - A System for Computer-Aided Assessments and Exercises

Under the motto "The Digital Age - Software Architectures in Future Applications", the annual conference of the section "Architectures" of the Gesellschaft für Informatik e.V. (GI) took place on June 19 and 20. The program contained nine lectures from practice and science about software architectures.



Am 5.7.2018 ab 9:00 Uhr findet in der Gerlingwache das diesjährige JACK-User-Treffen statt. »


Prof. Dr. Michael Goedicke und Dr. Marco Konersmann organisieren die Jahrestagung der Fachgruppe "Architekturen" der Gesellschaft für Informatik. »