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:

• We have an Erasmus / Sokrates agreement with the University College London and 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!