摘要：程序设计语言与操作系统引入抽象概念使程序员可以忽略实现细节。支撑抽象的主要目的不只是提高实现效率,而且也提供必要的保护以避免违背抽象。由于对效率的狂热追求,第二个目的被忽视了。种种迹象表明,近来一些声称为简单而有效的设计是通过把代码生成与适当的保护这两者的复杂问题推卸给编译程序来达到效率的。软件设计与硬件设计的共同特点是其复杂性,这是通过通常的测试与模拟所控制不了的。硬件设计可以采用那些类似于程序设计中所使用的证明技术,从而利用程序设计方法学的研究成果。

摘要：异常处理是现代程序设计语言的一个重要特征,它为检测和恢复软件系统在运行时的错误、构建系统的容错处理提供了强有力的支持。本文分析了FORTRAN 2000的异常处理机制,并提出一种扩充方案,引入用户定义异常和异常处理区的概念,改进了异常的传播机制,从而使FORTRAN编程更好地实现普通代码和异常处理代码的分离,提高了程序的可读性和可维护性。

摘要：本章描述OCCAM中的过程.OCCAM的过程定义用于定义进程的名字.考虑下例:PROC increment(INT x)x:=x+1本例把incrcmcnt定义为进程x:=x+1的名字.过程名字后圆括号中指定过程的形式参数.在本例中,x是类型为INT的形式参数.过程increment的用法如下例所示:

摘要：用在设计阶段可以收集到的3个规模度量分析类规模对面向对象度量与易维护性之间关联关系的混和效果.为得到尽可能通用的结论,在127个C++系统和113个Java系统上分析类规模的混和效果.首先,对每个面向对象度量,在单个系统上计算代表由类规模造成的关联扭曲的间接效果和它的方差.然后,利用统计的元分析方法计算这些系统上的平均间接效果并判断它是否显著地区别于零.实验结果表明,不论使用哪个类规模度量进行分析,类规模对面向对象度量与易维护性之间关联关系的混和效果通常是存在的.因此,验证面向对象度量与易维护性之间关系的实验研究应将类规模视为一个混和变量.

摘要：一、一般情况 TRI-Ada是由美国政府、学术界、产业界三方联合召开的、一年一度的学术大会。TRI-Ada’96于1996年12月3日-7日在美国东部费城召开。这次大会的主题是:“有纪律的Ada软件开发”(DisciplinedSoftware Development in Ada)。大会程序委员会主席***说:选定这个主题是因为整个世界都在关心着可靠而安全的程序设计。当年推动设计Ada语言的这个目标已经被其它语言所接受,商业界和工业界象政府一样,面临着软件的复杂性、可维护性和可靠性的类似问题。出席这次大会的有来自世界各国(大部分是美国)的Ada同行约600人。安排有大会特邀报告、技术报告和分会场报告。大会的三个特邀报告是:

摘要：针对目前程序切片方法较单一,且其模块性和程序语言适应性较差,提出一种新型的形式化程序切片方法—基于模块单子语义的切片方法.通过设计切片单子转换器,切片这一类计算被抽象成独立于具体语言的切片单子转换器,它可模块化地加载到实际程序中,得到相应的模块单子切片算法.这种模块化的抽象机制使得单子切片算法具有较强的模块性和语言适应性.还给出切片单子转换器的若干性质,并证明模块单子切片算法的正确性和终止性,同时研究单子切片算法与基于图可达性切片算法间的联系.

摘要：本文在简单讨论面向对象方法的基本机制的基础上,比较分析了FORTRAN 2000与C^(++)语言对面向对象机制的支持,涉及对象、继承、多态性、操作以及可访问性控制等多个方面。

摘要：ＡＭＬ语言吸取了Ａｄａ９５ 基本原理和思想，引进它的基本数据类型、语句等设施，对其作更高层次的抽象和扩充．用３ 种有相同名字不同类型的程序包从不同的侧面描述给定模块的模型，提高了系统的完整性和一致性；同时运用二级并发模型和限制设施，详述了系统的并发性和不确定性的描述问题．

摘要：本文首先分析了Ａｄａ８３对面向对象的程序设计的支持特征。

摘要：异常处理是现代程序设计语言提供的用来提高软件健壮性的一种机制。由于在 C^(++)的函数界面中并不要求声明该函数所能传播出的异常的类型,所以要想提高系统的健壮性,必须清楚在程序的执行过程中可能引发的异常、异常的传播路径等。然而在大型系统中,要想确定这些信息是非常困难的。本文针对 C^(++)的异常处理机制,首先提出了一个描述 C^(++)异常结构信息的模型,并把该模型应用于递归函数中。然后,描述了一个基于该模型的分析C^(++)程序异常结构信息的工具 CETool。该工具能提供所有显式引发异常的有关信息,为系统中异常处理结构的改进和程序的结构测试提供有价值的信息。最后给出了该工具的实现方法和应用实例。