李彤《软件工程》教学课件ch0.pptVIP

* * * * * * * * * * * * * * * * * * * * * * * * * * 2011年 在孙家广院士领导下，由我国清华大学、北京大学等28所“985”、“211”大学发起，2月经国务院学位委员会批准，“软件工程”学科独立，成为与“计算机科学与技术”并列的一级学科。云南大学是发起单位之一。 2010年9月，国家自然科学基金委员会副主任孙家广院士（中）视察云南大学软件学院。 1936年，图灵在剑桥大学提出了理论计算机的模型——图灵机，奠定了计算机的理论基础；1946年，第一台电子计算机在宾夕法尼亚大学诞生；1956年，中国科学院计算技术研究所筹建，我国计算机事业开始起步；1966年，ACM设立了被誉为计算机界“诺贝尔奖”的最高奖——图灵奖。 岁月如诗，令人难以忘怀 我们应该感谢计算机的先驱和大师们。正是由于他们的杰出贡献，使计算机的影响远远超出了计算机科学本身的范畴，对人类的文明进程产生了巨大而深远的影响。 岁月如诗，令人难以忘怀 大作业 详见教辅材料 谢 谢！ * * * * * * * * * * * * * * * * * * * * * * * * * * * 1966年 ACM设立图灵奖。 国防科技大学建立了我国第一个计算机系，慈云桂院士任系主任。 60年代初的重要成就 计算机语言：高级语言 人工智能： 消解法 操作系统： 中断和通道技术导致的并发程序设计 60年代中期的软件危机 90%的软件开发归于失败！！！ 人们在思考……？？？ 1968年 Dijkstra发表了著名论文《GOTO语句非常有害》，引发了全球性的大论战。通过深入讨论软件危机的根本原因，并在NATO科学委员会上正式提出了软件工程的概念。 Edsger W. Dijkstra 荷兰科学家，1972年图灵奖获得者，软件工程先驱，goto语句有害论、ALGOL 60编译器、多层体系结构、进程同步、互斥、PV操作、最弱前置谓词理论的创立者。 1968年 Knuth出版《计算机程序设计的艺术》长篇经典巨著。 Donald Knuth 美国科学家，1974年图灵奖获得者，《计算机程序设计的艺术》的作者，被誉为计算机科学的圣经，算法、数据结构概念、LR(K)文法的创立者。 1969年 Hoare建立公理语义。 C.A.Hoare 英国科学家，1980年图灵奖获得者，公理语义、Hoare逻辑、程序正确性证明、CSP、管程理论的创立者，软件自动化的奠基人。 1969年 Hoare建立公理语义。 C.A.Hoare 英国科学家，1980年图灵奖获得者，公理语义、Hoare逻辑、程序正确性证明、CSP、管程理论的创立者，软件自动化的奠基人。 1970年 Thompson和Ritchie在贝尔实验室研制成功UNIX；1972年，Ritchie 发明C语言，并用C 语言改写了UNIX；Royce提出瀑布模型；Codd建立关系数据理论。 Edgar F. Codd 英裔美国科学家，1981年图灵奖获得者，关系数据理论的创立者，System R、DB2、SQL Server的奠基人。 Ken Thompson和Dennis Ritchie 美国科学家，1983年图灵奖获得者，UNIX和C语言的发明者。 1971年 Wirth提出第一个结构化程序设计语言PASCAL。 Niklaus Wirth 瑞士科学家，1984年图灵奖获得者，PASCAL语言、结构化程序设计、MODULA、进程概念、EBNF的首创者。 1974年 Hopcroft提出深度优先搜索算法和算法最坏情况分析法。 John E. Hopcroft 美国科学家，1986年图灵奖获得者，图平面性判定的线性时间算法、深度优先搜索算法、算法的最坏情况分析法的首创者。 2010年Hopcroft受聘云南大学名誉教授 2010年Hopcroft 为软件学院题辞 1977年 Feigenbaum 提出知识工程概念。 Edward Feigenbaum 美国科学家，1994年图灵奖获得者，知识工程首创者，高举“知识就是力量”的大旗，挽人工智能之狂澜于既倒。 1978年，徐家福教授、杨芙清院士、仲萃豪研究员领导我国第一个国产高级语言XCY、国产操作系统XT-2的研发。 仲萃豪研究员?李彤摄于1987 徐家福教授?李彤摄于1987 杨芙清院士?李彤摄于1987 2013年5月89岁高龄的徐家福教授访问云南大学软件学院 徐家福教授 2008年4月北京大