• 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

Teaching:

Erasmus / Sokrates:

The deadline for Erasmus is 10 March 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

The 3rd issue of "Automatische Bewertung von Programmieraufgaben" in October 2017 again tackles all topics connected to the use of e-assessment systems in programming education. It offers space for discussions on technical, organizational and didactical questions. »

03/07/2017

Wir suchen eine studentische Hilfskraft für die Betreuung des Mathe Vorkurses. Details siehe Anhang. »

02/21/2017

Ab sofort wurden die Fristen für die Bewerbung für ein Auslandsstudium mit Erasmus-Förderung auf den 31. Januar eines jeden Jahres vorverlegt. Zusätzlich wird die Bewerbung in Zukunft durch ein Online-Formular vereinfacht. »

10/18/2016