摘要：函数式程序设计语言的重要特点之一是多态类型（Ｐｏｌｙｍｏｒｐｈｉｃｔｙｐｅｓ）。它有很强的功能，是所有面向对象的程序设计语言实现多态性的重要机制之一。它的实现与基本数据类型和其它复合类型大不相同。本文给出实现多态类型的重要数据结构，通过剖析ＳＭＬ函数式程序设计语言编译程序中的类型推导过程，揭示了多态类型的基本特征及其实现技术。

摘要：提出了一种通过对设计模式进行精化,从Z规约开发并行程序的方法.该方法对Z语言进行了并行扩充,从Z功能规约出发,通过使用扩展的设计模式逐步精化得到并行的设计规约,再通过保持语义的转换,得到可最后转换为并行代码的抽象并行程序.通过实例对这一方法进行了详细的描述.

摘要：设计模式形式规范描述的研究对于设计模式的广泛重用具有重要的意义。以设计模式的模型规范描(DPs)3(Three-model Specification)述方法为基础,提出了一种设计模式的混合规范描述模型。该模型采用图示化的手段描述的静态结构,采用图示化和时态逻辑方法相结DPs合的手段描述动态行为中各参与者行为操作的语义,克服了一般图示化方法对进行完整描述需借助自然语言的补充从而DPs(participants)DPs引起的二义性问题,比较精确、完整地描述了的静态结构和动态行为。

摘要：本文提出了在单处理机系统上模拟实现多处理系统中并行活动的基本理论与技术，并阐述了如何获得该系统下的一些重要性能参数，最后，利用面向对象程序设计方法（ＯＯＰ方法）给出了该模拟系统的高层设计框架。

摘要：用形式化方法开发软件是提高软件可靠性和生产效率的革命性途径,是实现软件自动化的关键。文章针对B方法,介绍了其产生的历史背景,分析了其程序规约机理,并结合实例给出了B方法中抽象机的具体运用,对该方法的特点进行了评述。

摘要：并行程序的可编程性是并行计算的难点之一 ,使用传统的方法对非数值问题进行并行求解则更加困难 .通过对设计模式概念的扩展 ,定义了算法模式与结构模式 ,以此为基础提出了一种基于设计模式的三阶段并行程序设计方法 ,并通过算法模式库与结构模式库实现对该方法的系统支持 .该方法不仅可用于一般的数值问题求解 ,而且在处理复杂的非数值问题时与传统方法相比要简单得多 .

摘要：分枝限界算法是一种求解组合优化问题的一般性方法，并行化是提高算法性能的有效手段。文章使用［５］中提出的算法模式和结构模式的概念和思想设计并实现了一个并行分枝限界算法的产生器。该产生器通过提供并行分枝限界算法的抽象框架，将它应用于要求解的问题，可以得到问题的并行分枝限界算法。

摘要：1.引言演绎综合是形式化开发算法(程序)的重要方法之一,用这种方法开发算法或程序不仅使人信服所得的算法(程序)确实能够完成给定的任务,而且通过揭示导致最后算法(程序)的设计决策来清楚表达算法(程序)怎样完成给定任务。改变开发过程中的设计决策和适当控制约束条件和决策的时机,我们能得到求解同类问题的一个算法族。

摘要：面向对象的程序设计给出了一种新的思考方式和一种与结构化程序设计有较大不同的新的程序设计方法学.本文论述了面向对象的程序设计语言 C++中两个与虚拟有关的特性,并给出了相应的实例.

摘要：本文给出了求解函数依赖最小覆盖集算法在计算机上的具体实现，并把它应用到关系数据库模式求解中去，成功地开发了关系数据库模式生成算法，向数据库设计自动化的具体实现迈进了一大步．