The software technology research programme distinguishes two lines of research: Software Technology for Teaching and Learning, and Software Technology for Quality Improvement. Details can be found in the Software Technology Research Plan 2010-2015.

Software Technology for Teaching and Learning

This research is led by prof. Johan Jeuring. We investigate how techniques from computer science, in particular software technology, can help to improve e-learning tools and practices. At the moment we focus on improving feedback provided by e-learning tools.

Software Technology for Quality Improvement

This research is led by prof. Marko van Eekelen. We focus on assessment and improvement of the quality of software products. Many kinds of properties are studied: functional properties (i.e. does the program have the right input-output correspondence?) and non-functional properties (e.g. memory/time consumption, absence of deadlock, and sustainability).