• 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 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

Two workshops at the german E-Prüfungs-Symposium (ePS) in Bremen on September 19th and 20th are organized by paluno's e-assessment expert Dr. Michael Striewe. The workshop on Tuesday tackles e-assessment in humanities and will elicitate needs and solutions from various disciplins. The workshop on Wednesday discusses technical and didactical aspects or variability in programming assignments. Participants for both workshops are welcome! »


A new book on automated grading in programming education has recently been published by Waxmann (http://www.waxmann.com/buch3606). E-Assessment expert Dr. Michael Striewe from paluno is one of the editors and also contributed a chapter on paluno's e-assessment system JACK. »


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