程序设计的发展历史

1. 编程语言发展史

VB编程语言历史＝＝＝＝＝＝＝＝＝
Visual Basic从1991年诞生以来，现在已经13年了。BASIC是微软的起家产品，微软当然不忘了这位功臣。随着每一次微软技术的浪潮，Visual Basic都会随之获得新生。可以预见，将来无论微软又发明了什么技术或平台，Visual Basic一定会首先以新的姿态登上去的。如果你想紧跟微软，永远在最新的技术上最快速地开发，你就应该选择Visual Basic。

1991-西雅图夜空的雷电
随着Windows 3.0的推出，越来越多的开发商对这个图形界面的操作系统产生了兴趣，大量的Windows应用程序开始涌现。但是，Windows程序的开发相对于传统的DOS有很大的不同，开发者必须将很多精力放在开发GUI上，这让很多希望学习Windows开发的人员却步。1991年，微软公司展示了一个叫 Thunder的产品，所有的开发者都惊呆了，它竟然可以用鼠标“画”出所需的用户界面，然后用简单的BASIC语言编写业务逻辑，就生成一个完整的应用程序。这种全新的“Visual”的开发就像雷电（Thunder）一样，给Windows开发人员开辟了新的天地。这个产品最终被定名为Visual Basic，采用事件驱动，Quick BASIC的语法和可视化的IDE。Visual Basic 1.0带来的最新的开发体验就是事件驱动，它不同于传统的过程式开发。同时，VBX控件让可视化组件的概念进入Visual Basic。Visual Basic 1.0是革命性的BASIC，它的诞生也是VB史上的一段佳话。

Visual Basic 1.0

1992-渐入佳境的Visual Basic
由于Windows 3.1的推出，Windows已经充分获得了用户的认可，Windows开发也进入一个新的时代。Visual Basic 1.0的功能过于简单，相对于Windows 3.1的强大功能没有发挥出来。所以，微软在1992年推出了新版本Visual Basic 2.0。这个版本最大的改进就是加入了对象型变量，比如

Dim b As CommandButton

Dim c As Control

而且有了最原始的“继承”概念，对象型变量分为一般类型（Control和Form）和专有类型(CommandButton和Form1等)，一般类型的变量可以引用专有类型的实例，甚至通过后期绑定访问专有类型的属性和方法。还可以通过TypeOf…Is运算符获取对象实例的运行时类型信息（这个功能就是当今C#的is运算符或Java的instanceof运算符）。除了对语言的改进和扩充，Visual Basic 2.0对VBX有了很好的支持，许多第三方控件涌现出来，极大地丰富了Visual Basic的功能。微软还为Visual Basic 2.0增加了OLE和简单的数据访问功能。

Visual Basic 2.0标准版

Visual Basic 2.0专业版

1993-数据库组件新添力量
Visual Basic 2.0推出没几个月，微软就发布了新版本的Visual Basic 3.0，可以看出VB这时候旺盛的生命力。乍一看，Visual Basic 3.0的界面没有太大的变化，但其实这个版本是非常及时的。它增加了最新的ODBC2.0的支持，Jet数据引擎的支持和新版本OLE的支持。最吸引人的地方是它对数据库的支持大大增强了，Grid控件和数据控件能够创建出色的数据窗口应用程序，而Jet引擎让Visual Basic能对最新的Access数据库快速地访问。Visual Basic 3.0还增加了许多新的金融函数。此外还增加了相当多的专业级控件，可以开发出相当水平的Windows应用程序。Visual Basic 3.0是98年以前中国最流行的Visual Basic版本，因为它开发出来的可执行文件非常小，通常能用一张软盘装下。不过，Visual Basic采用虚拟机运行P代码的做法也让很多开发者不满，他们认为这样程序运行的效率很低，这时候Visual Basic的竞争者Delphi也诞生了。

Visual Basic 3.0标准版

Visual Basic 3.0特别版

1995-第二次革命性变化，向COM进军。
从1993年到1995年年中，Visual Basic一直没有新的动静，焦急的开发者都想一窥这个神秘的新版本到底发生了什么变化。Visual Basic 4.0的BETA最后终于和大家见面了。这个版本包含了16位和32位两个版本，16位的版本就像是Visual Basic 3.0的升级版，而32位版则是一场新的革命。首先，人们发现VBX控件不见了，全部换成了OCX控件，这个OCX可能是指OLE Custom Controls，这个OLE已经不是传统的OLE了，用现在的话说，它就是COM控件。第二个最大变化是Visual Basic 4.0所用的语言换成了Visual Basic For Application，这就和Office 95所采用的宏语言统一起来，这个新语言有很多亮点：

1、? 加入了“类模块”。这是面向对象最重要的封装性的基础。

2、? 加入了属性过程，加上函数过程，子程序过程，VB已经有组件开发所需的封装性特征。

3、? 加入了Byte类型、Boolean类型和Object类型。这大大完善了VB的类型系统。

4、? For Each语句和Collection对象。For Each语句给遍历集合类型提供了极大的方便，现在可以在动态增长的Collection上使用For Each，而不用担心集合内容的总数或烦人的下标问题。

这个版本的Visual Basic还能够开发DLL工程，其实就是COM的DLL，可以将书写好的类用这种方式和其他语言共享。

总之，这个4.0的版本为Visual Basic成为一种COM语言奠定了基础。用Visual Basic 4.0开发基于COM的DLL比任何一种开发工具都方便。但是，Visual Basic 4.0的性能问题变得更加严重了，P-代码的组件成为Visual Basic 4.0严重的性能瓶颈，而且巨大的运行库也让用户感到不满。Visual Basic 4.0对以前版本的支持也不好，使用了大量VBX的项目很难移植到Visual Basic 4.0中。因此，Visual Basic 4.0在中国的普及程度非常低。

Visual Basic 4.0

1997-Visual Basic的丰收年
1997年，微软推出了Visual Basic 5.0，这个版本的重要性几乎和4.0一样高。COM（这时候叫ActiveX）已经相当成熟，Visual Basic 5.0当然对它提供了最强的支持。不过，国内还没有意识到COM的重要性前主要对这个版本另一个最大的亮点十分关注：本地代码编译器。Visual Basic 5.0终于在用户的呼声中加入了一个本地代码编译器，它可以让应用程序的效率大大提升。除了这个大家都知道的改进以外，Visual Basic 5.0对Visual Basic For Application语言有重大的完善和丰富：

5、? 事件。Visual Basic 5.0终于允许用户自己创建事件，而且这事件的语法相当强健和完善，这在一种不支持函数回调的语言中是很难得的。现在，VB拥有属性、方法和事件的完整封装性。

6、? 接口。这是VB实现多态性的基础。同时为编写COM组件提供了更多方便。

7、? 枚举。在Visual Basic 5.0中枚举作为Long整型的子类型出现，用枚举可以对常量进行完善的封装。

8、? 类模块的改进。通过类模块的属性可以指定类模块具有多种指定的行为，如私有构造函数等，可以通过这个功能创建符合Singleton和Monostate模式的设计。

9、? Debug.Assert。虽然这个断言系统有点鸡肋，但是总算是给调试带来了方便。

10、 Visual Basic 5.0支持创建自己的集合类。可以创建用于For Each语句的集合类型。

11、新的数据类型Decimal，可以精确地处理有效数位较多的计算。

Visual Basic 5.0的IDE支持“智能感知”，这是一项非常方便开发者的功能，可以不必记住很长的成员名称和关键字，只要按“.”，想要的东西统统弹出来。

Visual Basic 5.0还支持开发自己的ActiveX 控件、进程内的COM DLL组件、进程外的COM EXE组件以及在浏览器中运行的ActiveX文档。这极大丰富了Visual Basic的开发能力，在Internet开发上，Visual Basic 5.0也能有所建树。

Visual Basic 5.0学习版——我的第一份正版VB

1998-企业真正高效的源泉
Visual Basic 6.0作为Visual Studio 6.0的一员发布，证明微软正在改变Visual Basic的产品定位，他想让Visual Basic成为企业级快速开发的利器。Visual Basic 6.0在数据访问方面有了很大的改进，新的ADO组件让对大量数据快速访问成为可能。数据环境和新的报表功能也让数据开发有了全新的体验。Visual Basic 借助COM/COM+强大的功能，可以开发具有N层结构的分布式应用程序。同时，Visual Basic还可以在IIS上开发性能超群的Web应用程序。Visual Basic 6.0在语言方面和IDE方面的改进都不大，但是许多新增的组件成为Visual Basic开发人员手中的利器，如File System Object等。新的字符串函数Split和Replace等也给Visual Basic的程序员带来很大方便。

总之Visual Basic 6.0已经是非常成熟稳定的开发系统，能让企业快速建立多层的系统以及Web应用程序，成为当前Windows上最流行的Visual Basic版本。

Visual Basic 6.0

2002-第三次革命性变化，向.NET进军
从1998年发布到2002年正式推出Visual Basic. NET简直吊足了开发者的胃口。从2000年就开始传言的具有继承、Try…Catch语句等新功能的全新VB7.0一直没有露面。直到2001 年，Visual Studio.NET的第一个BETA版问世的时候，所有人都呆了——这是Visual Basic吗？And语句变成了BitAnd，数组只能从0下标开始，而且连Dim语句的意义都变了，几乎所有的窗体控件都变了，Long变成了 Integer而Integer变成了Short，Variant不见了，Static不能用了……简直是翻天覆地，人们已经无暇关注这个版本有什么改进，转而担心我怎么才能接受这个本本了。其实Visual Basic. NET完全是为了.NET Framework这一全新的平台而设计的，Visual Basic. NET的设计者一开始没有掌握好新平台和旧语言的平衡。到了BETA2中，很多东西回归了6.0，如BitAnd又变回了And，数组的定义语句也变回了原有的意义，Static也回到了Visual Basic中。但是BETA1惊人的变化让所有的VB开发者怕了，他们觉得这种语言被改的千疮百孔，有些人干脆转去研究传说中的新语言C#。但是 Visual Basic. NET渡过几个BETA版本之后还是找到了正确的定位。Visual Basic. NET有对CLR最完善的支持，同时尽量保留着BASIC易懂的语法风格和易用性。这个版本新增加的功能已经数不清，最重要的几个是：

1、? 继承。至此，Visual Basic完成了向面向对象转变的道路。

2、? 共享成员。

3、? Try…Catch结构化异常处理。

4、? Delegate和Interface。

5、? 名称空间。

6、? 对自由线程的支持。

特别的是，Visual Basic. NET大大减少了Visual Basic语言的关键字，如GoSub、PSet等等。原先的Visual Basic有多达120个关键字，这给写程序带来了很大的不便，现在经过精简，Visual Basic脱下了这个沉重的包袱。

Visual Basic. NET现在是一门现代的、强壮的、面向对象的、简单的可视化开发语言。强大的语言功能吸引了很多开发者。历史是在不断重演的，Visual Basic. NET如今的处境和Visual Basic 4.0很相似，由于兼容性变差，人气也降低了。同时由于依附于.NET Framework，程序发布造成了一定的困难。现在国内使用Visual Basic. NET的人相对于Visual Basic 6.0来讲显得很少。但是凭借Visual Basic. NET强大的语言功能和MS的支持，Visual Basic. NET一定会显出它的光辉来。

2003-稳中求变的新版本
Visual Basic. NET 2003是一个相当稳重的版本，改变很少，但对小处有很多改进。首先Visual Basic 6.0升级向导做了很大改进，这给从老版本痛苦升级的人带来了更多一些的希望。其次在IDE方面，Visual Basic. NET 2003修正了许多错误，还让事件处理恢复了6.0的开发体验。语言方面只有两项改进：

1、? 在For、For Each语句中声明循环变量。

2、? 增加了数学移位运算符<<和>>。

在这个比较成熟稳定的新版本下，许多Visual Basic的爱好和开始重新了解Visual Basic. NET，社区里面也渐渐热闹起来。但是，有些使用C#的开发者坚持认为Visual Basic. NET是垃圾，尽管Visual Basic. NET拥有比C#更多的功能和更好的IDE。这说明不了解Visual Basic. NET成为它普及的最大障碍。

2005-完美主义的Visual Basic，能否再现辉煌？
为了让Visual Basic有最佳的开发体验，Visual Basic 2005的设计者绞尽了脑汁。这次Visual Basic 2005光语言上的改进就足以让Visual Basic的开发人员高兴一阵子。大家可以去看看我那篇介绍Visual Basic 2005新增功能的贴子。挑重要的列在下边：

1、? 泛型

2、? 运算符重载

3、? Partial Type

4、? 窗体的默认实例（让你用VB6的语法使用窗体）

5、? 语法的多种改进

6、? My关键字

现在用Visual Basic 2005只要一行代码就可以读写注册表、访问文件、读写串口、获取应用程序信息…… 用Visual Basic 2005完全可以称作享受开发。而泛型、运算符重载等功能又可以让Visual Basic的开发人员深入.NET Framework的全部功能，开发出最优秀的应用程序。

Visual Basic 2005预示着Visual Basic光明的前景，所有Visual Basic的爱好者和使用者都和我一起等待这个新版本吧。
C++编程语言历史＝＝＝＝＝＝＝＝
C++是从C语言发展而来的，而C语言的历史可以追溯到1969年。 在1969年，美国贝尔实验室的Ken Thompson为DEC PDP-7计算机设计了一个操作系统软件，这就是最早的UNIX。接着，他又根据剑桥大学的Martin Richards设计的BCPL语言为UNIX设计了一种便于编写系统软件的语言，命名为B。B语言是一种无类型的语言，直接对机器字操作，这一点和后来的C语言有很大不同。作为系统软件编程语言的第一个应用，Ken Thompson使用B语言重写了其自身的解释程序。 1972—1973年间，同在贝尔实验室的Denis Ritchie改造了B语言，为其添加了数据类型的概念，并将原来的解释程序改写为可以在直接生成机器代码的编译程序，然后将其命名为C。1973 年，Ken Thompson小组在PDP-11机上用C重新改写了UNIX的内核。与此同时，C语言的编译程序也被移植到IBM 360/370、Honeywell 11以时VAX-11/780等多种计算机上，迅速成为应用最广泛的系统程序设计语言。然而，C语言也存在一些缺陷，例如类型检查机制相对较弱、缺少支持代码重用的语言结构等，造成用C语言开发大程序比较困难。为了克服C语言存在的缺点，贝乐实验室的Bjarne Stroustrup博士及其同事开始对C语言进行改进和扩充，将“类”的概念引入了C语言，构成了最早的C++语言（1983）。后来，Stroustrup和他的同事们又为C++引进了运算符重载、引用、虚函数等许多特性，并使之更加精炼，于1989后推出了AT&T C++ 2.0版。随后美国国家标准化协会ANSI(American National Standard Instiute)和国际标准化组织ISO(International Standards Organization)一起进行了标准化工作，并于1998年正式发布了C++语言的国际标准ISO/IEC:98-14882。各软件商推出的 C++编译器都支持该标准，并有不同程序的拓展。 C++支持面向对象的程序设计方法，特别适合于中型和大型的软件开发项目，从开发时间、费用到软件的重用性、可扩充性、可维护性和可靠性等方面，C++均具有很大的优越性。同时，C++又是C语言的一个超集，这就使得许多C代码不经修改就可被C++编译通过。
JAVA编程语言历史＝＝＝＝＝＝＝＝＝

Java，是一种可以编写跨平台应用软件的面向对象的程序设计语言，由Sun（太阳微电子，Sun Microsystems）公司的James Gosling等人于1990年代初开发。它最初被命名为Oak，作为一种小家用电器的编程语言，来解决诸如电视机、电话、闹钟、烤面包机等家用电器的控制和通讯问题。由于这些智能化家电的市场需求没有预期的高，Sun放弃了该项计划。就在Oak几近夭折之时，随着Internet的发展，Sun看到了 Oak在计算机网络上的广阔应用前景，于是改造了Oak，在1995年5月以"Java"的名称正式发布了。Java伴随着Internet的迅猛发展而发展，逐渐成为重要的Internet编程语言。

Java编程语言的风格十分接近C++语言。Java继承了C++语言面向对象技术的核心，舍弃了C++语言中的指针（以引用取代）、运算符重载、多重继承（以接口取代）等成分，增加了自动垃圾收集功能用于回收不再被引用的对象所占据的内存空间。在J2SE1.5版本中Java又引入了泛型编程、类型安全的枚举、不定长参数和自动装/拆箱等语言特性。

Java不同于一般的编译执行计算机语言和解释执行计算机语言。它首先将源代码编译成字节码，然后依赖各种不同平台上的虚拟机来解释执行字节码，从而实现了“一次编译、到处执行”的跨平台特性。不过，这同时也在一定程度上降低了Java程序的运行效率。

Sun公司对Java编程语言的解释是：Java编程语言是个简单、面向对象、分布式、解释性、健壮、安全与系统无关、可移植、高性能、多线程和动态的语言。

Java平台是基于Java语言的平台。这样的平台目前非常流行，因此微软公司推出了与之竞争的.NET平台以及模仿Java的C#语言。

目前Java提供以下三个版本：

J2ME（Java 2 Platform, Micro Edition）：微型版的Java平台
J2SE（Java 2 Platform, Standard Edition）：标准版的Java平台
J2EE（Java 2 Platform, Enterprise Edition）：企业版的Java平台

Java的历史：

1995年5月23日，Java语言诞生
1996年1月，第一个JDK-JDK1.0诞生
1996年4月，10个最主要的操作系统供应商申明将在其产品中嵌入JAVA技术
1996年9月，约8.3万个网页应用了JAVA技术来制作
1997年2月18日，JDK1.1发布
1997年4月2日，JavaOne会议召开，参与者逾一万人，创当时全球同类会议规模之纪录
1997年9月，JavaDeveloperConnection社区成员超过十万
1998年2月，JDK1.1被下载超过2,000,000次
1998年12月8日，JAVA2企业平台J2EE发布
1999年6月，SUN公司发布Java的三个版本：标准版、企业版和微型版（J2SE、J2EE、J2ME）
2000年5月8日，JDK1.3发布
2000年5月29日，JDK1.4发布
2001年6月5日，NOKIA宣布，到2003年将出售1亿部支持Java的手机
2001年9月24日，J2EE1.3发布
2002年2月26日，J2SE1.4发布，自此Java的计算能力有了大幅提升
2004年9月30日18:00PM，J2SE1.5发布，是Java语言的发展史上的又一里程碑事件。为了表示这个版本的重要性，J2SE1.5更名为J2SE5.0

2. 1、程序设计语言经历了 、 、 三个主要发展阶段。

计算机程序设计语言的发展，经历了从机器语言、汇编语言到高级语言的历程。

第一代机器语言

机器语言是由二进制 0、1 代码指令构成，不同的 CPU 具有不同的指令系统。机器语言程序难编写、难修改、难维护，需要用户直接对存储空间进行分配，编程效率极低。这种语言已经被渐渐淘汰了。

第二代汇编语言

汇编语言指令是机器指令的符号化，与机器指令存在着直接的对应关系，所以汇编语言同样存在着难学难用、容易出错、维护困难等缺点。但是汇编语言也有自己的优点：可直接访问系统接口，汇编程序翻译成的机器语言程序的效率高。

第三代高级语言

高级语言是面向用户的、基本上独立于计算机种类和结构的语言。其最大的优点是：形式上接近于算术语言和自然语言，概念上接近于人们通常使用的概念。高级语言的一个命令可以代替几条、几十条甚至几百条汇编语言的指令。

因此，高级语言易学易用，通用性强，应用广泛。高级语言种类繁多，可以从应用特点和对客观系统的描述两个方面对其进一步分类。

(2)程序设计的发展历史扩展阅读：

程序设计语言的特性：程序设计语言具有心理工程及技术等特性。

1、心理特性：歧义性、简洁性、局部性、顺序性、传统性。

2、工程特性：可移植性，开发工具的可利用性，软件的可重用性、可维护性。

3、技术特性：支持结构化构造的语言有利于减少程序环路的复杂性，使程序易测试、易维护。

3. 程序设计语言的发展历程与走向

最先是C语言，然后是C+、C++，最新的是C++++，也就是C#

4. 简述计算机程序设计语言的发展历程。

在过去的几十年间，大量的程序设计语言被发明、被取代、被修改或组合在一起。尽管人们多次试图创造一种通用的程序设计语言，却没有一次尝试是成功的。

之所以有那么多种不同的编程语言存在的原因是，编写程序的初衷其实也各不相同；新手与老手之间技术的差距非常大，而有许多语言并对新手来说太难学；还有，不同程序之间的运行成本各不相同。

有许多用于特殊用途的语言，只在特殊情况下使用。例如，PHP专门用来显示网页；Perl更适合文本处理；C语言被广泛用于操作系统和编译器的开发。

高级程序设计语言的出现使得计算机程序设计语言不再过度地依赖某种特定的机器或环境。这是因为高级语言在不同的平台上会被编译成不同的机器语言，而不是直接被机器执行。最早出现的编程语言之一FORTRAN的一个主要目标，就是实现平台独立。

(4)程序设计的发展历史扩展阅读：

如果所使用的翻译的机制是将所要翻译的程序代码作为一个整体翻译，并之后运行内部格式，那么这个翻译过程就称为编译。

因此，一个编译器是一个将可阅读的程序文本作为输入的数据，然后输出可执行文件。所输出的可执行文件可以是机器语言，由计算机的中央处理器直接运行，或者是某种模拟器的二进制代码。

如果程序代码是在运行时才即时翻译，那么这种翻译机制就被称作解译。经解译的程序运行速度往往比编译的程序慢，但往往更具灵活性，因为它们能够与执行环境互相作用。

5. 高级程序设计语言的发展历史

由于抄机器语言和汇编语言都离不开具体的机器指令系统，用他们编程时要求程序员必须熟悉所用计算机的硬件特性，经过多年的研究，后来推出了第一个高级语言"FORTRAN”。然后就开始了面向过程语言的前期发展，后来又不断推出了BASIC、PASCAL、C……又随着人们思想的发展，面向对象的语言开始出现，C++、JAVA、C#……现在面向对象已成为软件编程的一种趋势。

6. 计算机程序设计语言的发展历史

在过去的几十年间，大量的程序设计语言被发明、被取代、被修改或组版合在一起。尽管人们多权次试图创造一种通用的程序设计语言，却没有一次尝试是成功的。之所以有那么多种不同的编程语言存在的原因是，编写程序的初衷其实也各不相同；新手与老手之间技术的差距非常大，而有许多语言并对新手来说太难学；还有，不同程序之间的运行成本（runtime cost）各不相同。
有许多用于特殊用途的语言，只在特殊情况下使用。例如，PHP专门用来显示网页；Perl更适合文本处理；C语言被广泛用于操作系统和编译器的开发（所谓的系统编程）。
高级程序设计语言（也称高级语言）的出现使得计算机程序设计语言不再过度地倚赖某种特定的机器或环境。这是因为高级语言在不同的平台上会被编译成不同的机器语言，而不是直接被机器执行。最早出现的编程语言之一FORTRAN的一个主要目标，就是实现平台独立。

7. 程序设计理论的发展历程

70年代中期以后，程序设计理论朝多方向发展。第一，对程序设计的范型进行研究。最版主要的程序设权计范型有：逻辑式程序设计，函数式程序设计，面向对象的程序设计。第二，软件生产自动化研究。这种研究的主要目的是希望能像工业生产自动化那样，使程序设计的某些过程实现自动化，从而提高软件生产率，保证程序正确性。这方面研究的主要成果是形式化软件开发方法，其目标是为使用者提供一整套思维方法和描述、开发手段，如规范描述的原则、程序开发的一般过程、描述语言等等，使开发者能利用数学概念和表示方法恰当合理地构造形式规范，根据开发过程的框架及设计原则进行规范描述和系统化的设计精化，并使用证明的概念对规范的性质和设计步骤进行分析和验证。第三，发展新应用领域中的程序设计理论与方法，例如并行程序设计，实时程序设计，混杂系统的程序设计等等。

8. 程序设计方法学的发展历史

1950年代—1960年代初，手工艺式的程序设计方法，高德纳把程序称为艺术品。
1960年代末—1970年代初，出现软件危机：一方面需要大量的软件系统，如操作系统、数据库管理系统； 另一方面，软件研制周期长，可靠性差，维护困难。编程的重点：希望编写出的程序结构清晰、易阅读、易修改、易验证，即得到好结构的程序。
1968年，北大西洋公约组织（NATO）在西德召开了第一次软件工程会议，分析了危机的局面，研究了问题的根源，第一次提出了用工程学的办法解决软件研制和生产的问题，本次会议可以算做是软件发展史上的一个重要的里程碑。
1969年，国际信息处理协会（IFIP）成立了“程序设计方法学工作组”，专门研究程序设计方法学，程序设计从手工艺式向工程化的方法迈进。 1968 年，结构化程序设计方法的研究。Dijkstra 提出了“GOTO是有害的”，希望通过程序的静态结构的良好性保证程序的动态运行的正确性。
1969 年，Wirth 提出采用“ 自顶向下逐步求精、分而治之” 的原则进行大型程序的设计。其基本思想是：从欲求解的原问题出发，运用科学抽象的方法，把它分解成若干相对独立的小问题，依次细化，直至各个小问题获得解决为止。 1967年，Floyd 提出用“ 断言法” 证明框图程序的正确性。
1969年，Hoare 在Floyd 的基础上，定义了一个小语言和一个逻辑系统。此逻辑系统含有程序公理和推导规则，目的在于证明程序的部分正确性，这就是著名的Hoare逻辑。他的工作为公理学语义的研究奠定了基础。
1973年，Hoare和Wirth把PASCAL语言的大部分公理化。
1975年，一个基于公理和推导规则的自动验证系统首次出现。
1979年，出现了用公理化思想定义的程序设计语言Euclid。
1976年，Dijkstra提出了最弱前置谓词和谓词转换器的概念，用于进行程序的正确性证明和程序的形式化推导。
1980年，D.Gries综合了以谓词演算为基础的证明系统，称之为“程序设计科学”。首次把程序设计从经验、技术升华为科学。
1974年，人们利用模态逻辑验证并行程序的正确性。
关于程序正确性证明的争论：
怀疑和反对派,理由：首先，形式证明太复杂，谁能够保证证明本身没有错误呢！其次，程序写好后再证明其正确性，相当于“ 马后炮” ，即错误已经铸成，证明何能补救？
折中的方案：编写程序，边考虑证明。即程序设计与正确性证明同时并行考虑。 利用Dijkstra 的谓词转换器及其演算规则集合，可以推导出正确的程序。
利用程序变化构造正确的程序。它对程序应用一连串的保护正确性的变换规则，最终得到可执行的程序。程序变换是1970年代以来，“程序设计方法学” 研究的重要方面，是程序设计自动化很有希望的途径之一。递归程序变换是这一时期的最有意义的成果。 如Burstall 和Darlington 的递归程序变换系统等。
逻辑程序设计和函数程序设计代表一种新的研究方向。Prolog是以谓词逻辑的子集（Hoare 子句）为基础的一种形式系统。Prolog 的执行过程就是执行逻辑上消解算法的过程。 抽象数据类型是程序设计方法学中一种极为重要的方法。人们把它誉为程序设计方法学发展史上的一个重要的里程碑。

9. 简述计算机编程语言发展历史

fortran、algol、cobol、lisp(和其各种scheme方言)、ada、pascal、basic、smalltalk等等，还有许多，找本关于计算科学的历史内书看看就知道了，容或到wikipedia去查相关目录。fortran主要用于科学计算，现有的程序库是大多是用其编写的；C的发明借鉴了algol的内容；过去商务计算大都用cobol，因为cobol和英语很接近；lisp多用于人工智能领域，当然用来描述算法也是很好的，其它的就不多说了，自己查查吧。

10. 电脑编程的发展历程

BASIC语言自其问世经历了以下四个阶段：
第一阶段：（1964年～70年代初） 1964年BASIC语言问世。
第二阶段：（1975年～80年代中） 微机上固化的BASIC
第三阶段：（80年代中～90年代初） 结构化BASIC语言。
第四阶段：（1991年以来） Visual BASIC
BASIC是种易学易用的高级语言,非常适合初学者学习运用。常用的编译软件有True BASIC,Turbo BASIC Quick BASIC,Visual BASIC,CAREALIZER,GFA BASIC,POWER BASIC,等等......
1991年，微软推出了Visual Basic1.0版。这在当时引起了很大的轰动。许多专家把VB的出现当做是软件开发史上的一个具有划时代意义的事件。其实，以我们现在的目光来看，VB10的功能实在是太弱了。但在当时，它是第一个“可视”的编程软件。这使得程序员欣喜之极，都尝试在VB的平台上进行软件创作。微软也不失时机地在四年内接连推出VB20，VB30，40三个版本。并且从VB3开始，微软将ACCESS的数据库驱动集成到了VB中，这使得VB的数据库编程能力大大提高。从VB4开始，VB也引入了面向对象的程序设计思想。VB功能强大，学习简单。而且，VB还引入了“控件：的概念，使得大量已经编好的VB程序可以被我们直接拿来使用，如今，VB已经有了6.0版。

通过几年的发展，它已成为一种真真专业化的开发语言和环境。用户认为可用Visual Basic快速创建Windows程序，在现在还可以编写企业水平的客户/服务器程序及强大的数据库应用程序，Visual Basic新版中还有更多可用功能。
另外，最流行和实用的C语言，C++等都有发展的前景，而且也是最近几年人们探索的领域。