Research skills are important for any academic and can be of great benefit to any professional person. These skills are, however, difficult to teach and to learn. In the Department of Computer Science at the University ...

A novel way of programming, which starts with specific details of a particular example and abstracts these details into generalised sets, is proposed. The whole program is constructed around the definition of these ...

Formal methods have not as yet succeeded in becoming an accepted way to develop software. This paper explores whether a possible reason for this is the complexity of the tools we use, in particular, the programming paradigms. ...