摘要：
Chris Johnson 英文链接在这里本文认为不断扩大的“计算机科学”使得传统科学与工程模式的研究难以维继。特别是在形式方法的研究上，目前的工作已经丢弃了传统经验方法。在需求工程和人机交互领域，形式方法的支持者们同样也面临着挑战。计算科学的用词不当是这些问题的起源。目前计算学科讨论的主题是技术而不是理论。这样，当学院以科学准则进行博士评估时就会产生问题。于是人们在开始更高学位的学习前，不禁要问自己“计算科学的研究到底是什么？”这篇文章是为上高级硕士课程的学生或研究生新生作一个高水平的介绍。读者应结合Basic Research Skills in Computing Science阅读。关 阅读全文
