3 papers
cs.SE2026
A Systematic Analysis of Higher Education on Software Engineering in the Netherlands
Bastiaan Heeren, Fabiano Dalpiaz, Mazyar Seraj +2
Objectives. Software engineering educators strive to continuously improve and refine their courses and programs. Understanding the current state of practice of software engineering…
cs.HC2025
Chapter 11 Students' interaction with and appreciation of automated informative tutoring feedback
Gerben van der Hoek, Bastiaan Heeren, Rogier Bos +2
Computer aided formative assessment can be used to enhance a learning process, for instance by providing feedback. There are many design choices for delivering feedback, that lead…
cs.PL2024
Example-Based Reasoning about the Realizability of Polymorphic Programs
Niek Mulleners, Johan Jeuring, Bastiaan Heeren
Parametricity states that polymorphic functions behave the same regardless of how they are instantiated. When developing polymorphic programs, Wadler's free theorems can serve as f…