资源描述：
《计算机科学及技术方法论》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。
1、计算机科学与技术方法论*本文得到九五国防预研项目和广西科学基金项目的资助。董荣胜古天龙蔡国永谢春光(桂林电子工业学院计算机系桂林541004)METHODOLOGYOFCOMPUTERSCIENCEANDTECHNOLOGYDONGRong-ShengＧUTian-LongCAIGou-YongXIEChun-Guang(DepartmentofComputerScienceandTechnology,Guilininstituteofelectronictechnology,Guilin541004)摘要本文介绍了“Computingasadiscipline”和“Computin
2、gCurricula1991”报告的重要内容，指出了它们对计算机科学与技术方法论的重要贡献。在此基础上，我们以一般科学技术方法论为指导，给出了计算机科学与技术方法论的定义，阐述了计算机科学与技术方法论中的抽象、理论和设计三个学科形态、核心概念、根本问题、数学方法和系统方法的基本内容，指出了计算机科学与技术方法论是计算认知领域的一个理论体系的思想。关键词方法论学科形态核心概念根本问题数学方法系统方法AbstractInthispaper,twodocumentsof“Computingasadiscipline”and“ComputingCurricula1991”arebriefly
3、introduced,andtheirmaincontributionstothemethodologyofcomputerscienceandtechnologyarepointedout.Thenbasedonthegeneralmethodologyofscienceandtechnology,thedefinitionofcomputerscienceandtechnologyisgiven,anditsthreeparadigms(abstraction,theory,design),fundamentalproblem,coreconcept,mathematicalme
4、thodsandsystemapproachesarepresented,Finally,weconcludethatthemethodologyofcomputerscienceandtechnologyisanewtheoryinthecomputingcognitionfield.Keywordsmethodology,paradigms,fundamentalproblem,coreconcept,mathematicalmethod,systematicapproach1引言今天，当我们步入新世纪的时候，计算(Computing)技术作为现代技术的标志，已成为世界许多经济增
5、长的主要动力。计算领域也已成为一个极其活跃的领域，计算学科正以令人惊异的速度发展，并大大延伸到传统的计算机科学的边界之外，成为一门范围极为宽广的学科。如何理解这个学科，引发了长期以来激烈的争论。为了解决这类争论，学术界进行了大量的工作。1984年7月，美国计算机科学与工程博士单位评审部的领导们，在犹他州召开的会议上对计算教学问题进行了讨论，表面上看这类问题是关于计算教学问题，实际上是关于计算学科的认知问题。这一讨论以及其他类似讨论推动了ACM和IEEE/CS联手组成攻关组并用新的思维方式来理解计算学科。经过近5年的工作，ACM攻关组提交了“Computingasadiscipline
6、”的报告，该报告的主要内容刊登在1989年1月的《CommunicationsoftheACM》杂志上[1]。ACM攻关组提交的报告得到了ACM教育委员会的认可并批准发行，该报告的重要贡献不仅在于它第一次给出了计算学科一个透彻的定义，回答了计算学科中长期以来一直争论的一些问题，更重要的在于，它找到了一个思考我们学科的“知识框架”(Intellectualframework)，而非对策；一个指导方针，而非(具体)指示。对“知识框架”进行研究的思想方法就是报告中所指的“新的思想方法”。这个“新的思想方法”8是对计算领域几十年来的概括和总结。从某种意义上说，该报告是计算领域认知过程中的一个
7、里程碑，它为建立计算认知领域的理论体系奠定了基础。该报告所提出的“新的思想方法”其实质就是计算机科学与技术方法论的思想方法[2]。1990年，IEEE/CS和ACM联合攻关组提交了“ComputingCurricula1991”（以下简称“CC1991”）报告[3]，报告将主领域增加到11个，并提取了学科中12个反复出现的核心概念。“CC1991”报告与“Computingasadiscipline”报告（以下简称“两报告”）密切相关，并使计算学科的方法论
