60年代软件危机：高级语言、消解法与并发技术的发展

在本章"年代中期的浮躁与软件危机"中，高级软件工程课程深入探讨了60年代中期计算机行业的关键发展及其引发的问题。这一时期是软件行业的重要转折点，尤其是随着高级语言的兴起、人工智能的进步和操作系统技术的革新。 首先，章节关注了计算机语言领域的突破，高级语言如FORTRAN、COBOL和PL/I的出现极大地简化了编程过程，使得非专业程序员也能编写复杂的程序。然而，这些语言的快速普及导致了所谓的"浮躁"现象，开发者忽视了软件质量的重要性，从而引发了软件危机，即软件开发过程中频繁出现的错误和不稳定性。 在人工智能方面，章节提到了消解法（Resolution）的进步，这是一种逻辑推理方法，用于求解符号逻辑问题，对于人工智能领域的知识表示和推理引擎有着显著影响。尽管取得了一些成果，但当时的AI并未达到如今的高度，且面临着数据和计算能力的限制。 操作系统层面，中断和通道技术的发展推动了并发程序设计的兴起。中断技术允许硬件中断执行中的程序，而通道技术则提供了进程间通信的机制，促进了多任务处理的实现。这些技术革新为现代操作系统奠定了基础，但也带来了系统复杂性和管理挑战。 教学参考资料方面，引用了几本经典的软件工程教材，如Roger Pressman的《软件工程：实践者的途径》第七版、Ian Sommerville的《软件工程》第九版等，以及国内出版的实用软件工程教材，强调理论与实践相结合的教学理念。此外，还介绍了早期计算机科学的历史背景，如古希腊哲学对逻辑的影响和17世纪欧洲数学家如Schichard和Pascal的贡献，这些都为理解软件工程的演变和发展提供了历史视角。 通过学习这一章节，研究生将了解到软件发展中的关键里程碑，以及它们如何塑造了当前的软件工程实践。同时，课程还将引导学生反思软件开发过程中的问题，以便在未来的设计和实施中更加注重质量控制和系统性思考。