Name and Conquer

摘要

This paper introduces a technique that has been used successfully in University College Dublin,Ireland and Fudan University in Shanghai,China,to teach the formal aspects of computer programming to undergraduate students.The technique,name and conquer,relies on the use of modelling small mathematical domains and allowing the results of these models to form the basis for the programming task.