Formal Methods teaching at undergraduate level has been going on at Manchester for a good number of years.We have introduced various courses based on different approaches.We have e...
One of the key elements in describing a software development method is the roles that are assigned to the members of the software team. This article describes our experience in ass...
As with to other agile methods, which value "Individuals and interactions over processes and tools" (http://agilemanifesto.org/), Extreme Programming (XP) cares about th...
The purpose of this paper is to describe in detail the current development status of the innovative Environment for Learning to Program (ELP) which provides an interactive web-bas...
The paper reports a study of a videoconference-based environment in decentralized university education and factors determining the success of teaching and learning in the environm...