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

Teaching:

• Log in to your student account to apply for courses, download material and register for exams online.
• Browse the current courses.
  
• See the current offers for Seminar, Diploma, Bachelor and Master Theses.
• Please Evaluate our lectures and exercises - we are interested in your opinion! You can also view the evaluation results.

Erasmus / Sokrates: Please apply for the next academic year now. Visit the links below!

• We have an Erasmus / Sokrates agreement with the Department of Computer Science, University College London.
  
• We form an international Student Project Group with participants from the CS-Dept., UCL.
• We have also an Erasmus / Sokrates agreement with the University of Skövde.

Resources

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

• Emphases and Research Work
• Publications
• Conferences

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

Contact

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

Our working group has moved!

You will find our new offices in Gerlingstraße 16, just across the street opposite to the old building.

Please find the secretary in room 210 and the staff members in rooms 102 and 107.