基于集合与序列的Ada可复用部件及应用

分析了集合与序列部件的基本特征，对基于集合与序列的Ａｄａ可复用部件的开发和正确性进行了介绍和讨论。     

开发等式比较SQL查询语句的一种模型推理方法

尝试将模型推理引入一类典型的SQL查询语句（等式比较SQL查询语句）的开发过程中;以便使这类SQL查询语句的开发过程有章可循,减少盲目的直觉推理尝试,保证SQL查询语句的正确性。提出了一种固定形式的一阶谓词逻辑表达式,描述了这种一阶谓词逻辑表达式与等式比较SQL查询语句的对应关系;总结了开发过程的三个步骤;形成了一种开发等式比较SQL查询语句的模型推理方法;并且按照由简单到复杂的顺序给出了两个应用实例。     

利用循环不变式理解和开发程序

本文论述了循环不变式及其开发技术和程序设计的联系，并通过实例说明循环不变式在理解和开发程序中的巨大作用。     

基于Multi-Agent的装备保障决策支持系统

现代战争条件下,装备综合保障目标和约束的复杂度急剧增加,采用传统方法所建立的问题模型往往求解困难,而且不易于理解和维护.提出了一个基于Multi-Agent的装备保障决策支持系统,可实现复杂保障问题的规约、求解、组合、划分、反馈和动态控制,并给出了一个应用该系统进行保障规划问题求解的实例.系统采用基于Agent构件的分布式体系结构,高层Agent可由低层Agent组装而成.系统顶层使用了7类Agent,其中Decision-Maker和Solver进一步采用了基于Multi-Agent的A-Team框架来实现保障任务控制和问题求解,有效地提高了问题求解的效率和可靠性.     

基于软构件技术的OA系统的设计与实现

实现办公自动化是提高办公质量和效率,促进政务公开的一个重要手段。但是由于企业或单位的办公实际环境和需求千差万别,使得当前很多办公自动化系统存在开发周期过长、重复投资、可适应性和可维护性差等问题,无法真正满足用户需求。详细说明了基于构件的OA系统的正交结构模型,并阐述了基于构件的OA系统的实现方法。基于构件的OA系统具有敏捷性,能够随着办公业务的变化随时调整,以满足不同政府、企业的不同需求。同时它还具有良好的可扩展性、可维护性和可重用性。     

PAR平台从规约出发的算法推导与自动生成

简要介绍PAR方法及其支撑平台,使用PAR方法及其平台从规约出发形式化推导并生成了两个典型的算法程序。PAR方法及其平台使用一阶谓词逻辑表示功能规约,分划与递推来进行算法形式推导,各种转换系统来自动生成算法程序。这显著地提高了算法程序的正确性和开发效率,也有助于深刻地理解算法设计思想。     

基于构件开发与传统面向对象开发之比较

基于构件的软件开发（CBSD）是一种新的软件开发方法,构件技术是它的核心。构件技术以面向对象技术为基础,并很好地发展了面向对象技术。使用基于构件软件开发可以设计出质量好、可靠性高、可重用性好、可维护性好的软件。现在有很多应用软件都是采用基于构件的开发方法。文中概述了构件及CBSD方法的系列核心概念,比较了基于构件软件开发和面向对象软件开发（OOD）的异同。     

基于构件开发与传统面向对象开发之比较

基于构件的软件开发(CBSD)是一种新的软件开发方法,构件技术是它的核心。构件技术以面向对象技术为基础,并很好地发展了面向对象技术。使用基于构件软件开发可以设计出质量好、可靠性高、可重用性好、可维护性好的软件。现在有很多应用软件都是采用基于构件的开发方法。文中概述了构件及CBSD方法的系列核心概念,比较了基于构件软件开发和面向对象软件开发(OOD)的异同。     

泛型编程扩展及其JAVA实现

本文对泛型编程的核心思想和技术特征进行了较为深入的分析,介绍了泛型编程在语言实现上的现状与不足,着重论述了作者针对这些不足做出的改进工作,即对类型参数及其约束机制进行扩展以支持通用、高效的算法和数据结构的设计,并以Java语言作为实施例,详细介绍了如何通过现有对象技术来实现比较完整的泛型编程,是现有面向对象语类泛型编程的首例。