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:

• Browse the current courses. You can also view the evaluation results for some of our courses.
• See the current offers for Seminar, Bachelor and Master Theses.
• Please note that we are no longer in charge of 'Projektmanagement fuer IT-Projekte'. See SITM chair homepage for information about this course.

Erasmus / Sokrates:

The deadlines for Erasmus applications 2013 has passed on 27th March 2013.

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