程序设计理论的发展历程

自20世纪70年代中期以来，编程理论在许多方向上都有所发展。首先，研究了程序设计的范式。主要的编程范式有:逻辑编程、函数式编程和面向对象编程。第二，软件生产自动化的研究。这项研究的主要目的是使程序设计的一些过程自动化，就像工业生产自动化一样，从而提高软件生产率，保证程序正确性。这项研究的主要成果是形式化的软件开发方法，其目标是为用户提供一套思维方法和描述开发手段，如规格说明的原理、程序开发的一般过程、描述语言等。，使开发人员能够根据开发过程的框架和设计原则，运用数学概念和表示方法，恰当合理地构造形式化规格说明，描述规格说明并系统地细化设计，用证明的概念分析和验证规格说明的性质和设计步骤。第三，在新的应用领域发展编程理论和方法，如并行编程、实时编程、混合系统编程等。