命名和征服(英文)
Name and Conquer MCLOUGHLIN Henry;TOOLAN Fergus; 1:School of Computer Science and Informatics 2:University College Dublin 摘要(Abstract)：

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.

关键词(KeyWords)：

Abstract:

Keywords:

基金项目(Foundation):

作者(Author): MCLOUGHLIN Henry;TOOLAN Fergus;

Email:


参考文献(References)：


摘要:
扩展功能
本文信息
PDF全文请访问中国知网下载(428K)