昨天（2008-12-17）参加一名博士后的中期报告，她提到利用 Mining 的方法研究 Test Case。对此，有老师觉得这种方法与传统的软件开发研究方法差异较大。这促使我又想起了关于软件里的科学方面的一些观点。
        软件主要是一门工程学科，尽管它源自理论性很强的计算数学，并依赖于自动机、形式语言等的发展。
        2008年11月4日，由国家自然科学基金委员会、微软亚洲研究院和北京大学联合主办的第十届“二十一世纪的计算”大型国际学术研讨会在北京大学百周年纪 念讲堂举行。Tony Hoare 做的演讲题目是”A Vision for the Science of Programming“（PPT可以从如下网址获得：http://perspectives.mvdirona.com/2008/11/17 /SlidesFromTonyHoaresTalk.aspx）。我最近对查找程序缺陷比较感兴趣，因此，对他提到的这个观点比较认同："物理学追求测 量的精确，化学追求材料的纯净，计算学追求程序的零缺陷"（Physics: accuracy of measurement, Chemistry: purity of materials, Computing Science: zero defect programs）。

转载本文请联系原作者获取授权，同时请注明本文来自王千祥科学网博客。
链接地址：https://m.sciencenet.cn/blog-70859-282468.html

上一篇：回老家坐坐
下一篇：计算思维