Department of Economics >>
Institute for Computer Science and Business Information Systems >>
Specification of Software Systems | Prof. Dr. Michael Goedicke
University of Duisburg-Essen
Home Teaching Research Publications Conferences Team&Contact

Specification of Software Systems

Welcome to our working group "Specification of Software Systems" at the Institute for Computer Science and Business Information Systems in Essen.

Services for Students


Erasmus / Sokrates:

The deadlines for Erasmus applications 2014 has passed. If you are still interested in have a term aboard, please feel free to contact us anyway.


  • Examples for Java programming taken from the book "Programmierung in Java" are provided at our public resource space.

Research and Projects

Find out in which research areas we are working:

Have a look at our tools:

  • JACK - A System for Computer-Aided Assessments and Exercises
  • BART - A Tool for Management and Control of Regression Tests


If you have any questions, don't hesitate to contact us!

© 2004-2010 Specification of Software Systems [ Contact ] [ internal ]
Site Search
Student Login
[ Register Now ]
[ Login Help ]

Ergebnisse der Lehrevaluation [more]

Angebote fuer studentische Arbeiten (Seminare, Bachelor, Master) aktualisiert [more]

News Archive >>