Whilst there has been substantial research into technology to support meetings, there has been relatively little study of how meeting participants currently make records and how th...
Roles can be assigned to occurrences of variables in programs according to a small number of stereotypical patterns of use. Studies on explicitly teaching roles to novices learnin...
This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and senior level undergraduates. The paper describes th...
Abstract. Open source software has become a common way of disseminating research results. In this talk, we first introduce the motivations and implications of releasing research pr...
In this paper, we describe our Computer Science Program Assessment (COMPASS) project. COMPASS uses open-source software tools to support the development and analysis of course por...