形式化方法Designware及其规约精化机理

介绍了一种新的支持算法设计自动化的形式化方法Designware,详细分析了其理论基础及规约精化机理,阐述了其半自动算法设计支撑系统,并结合一个开发实例展示了Designware的具体使用,给出了Designware的两个实际应用项目,最后对Designware进行了评述.     

迭代算子及其在可重用软件研究中的应用

迭代算子在循环控制机制抽象和可重用软件研究中有十分重要的作用，已有１０多年研究历史，然而，至今对什么是迭代算子尚无确切和统一的定义，严重影响了对这一概念的理解，也阻碍了它的广泛应用，本文在分析研究现有各种迭代算子概念局限性的基础上，将迭代算子定义为包含于组合数据类型内部的抽象数据类型，得到了一种通用迭代算子模式，并给出了分立迭代算子和集成迭代算子的概念和模式，最后以实例说明了它们在可重用软件开发中的作用和使用方法.     

接口技术课虚拟实验环境的设计与实现

利用软件技术构建硬件虚拟实验环境 (VEE)是提高计算机硬件教学及实验效率、降低实验成本的一条有效途径。本文以接口技术课CAI为例 ,首先介绍了VEE的概念及特征 ,总结出VEE的一些开发原则及开发策略。并最终以接口技术CAI课件的形式部分实现了VEE环境 ,通过实践证明了VEE技术在CAI领域中的有效性和实用性     

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

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

一种形式化开发非递归算法的方法*

提出了一种简单、统一的形式化开发非递归算法的方法.该方法直接面向非递归算法,在形式化方法PAR的指导下,使用循环不变式的开发新策略,在得到求解递归问题的循环不变式的同时,能直接得到易读、高效且可靠的非递归算法,并通过一个具体实例进行了阐述.对使用形式化方法及循环不变式开发新策略开发非递归算法的方法作了较深入的实践和探讨.     

一种从Z规约到并行程序的精化方法

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

遗传算法机理的研究及应用

在介绍遗传算法的基本理论及主要特点的基础上，针对遗传算法的设计机理和步骤，从设计遗传算法的基本原则、设计遗传算法的基本步骤、常用的编码表示方案、适应性的度量、选择策略及控制参数的选取等诸方面进行了阐述和分析，并结合计算机布局问题，提出了一个基于模拟退火算法的混合遗传算法，结合实例进行了计算机仿真，验证了该算法的有效性。     

使用SPEC#开发高可靠性的物流信息系统

结合形式化软件开发方法和面向对象的方法学,使用SPEC#开发物流信息管理系统,利用该语言中的前置条件、后置条件、对象不变式等形式化机制显著地提高了软件的可读性,可靠性和可维护性。系统地总结了分析、设计和编码阶段的经验和问题,提出了应用SPEC#进行契约式程序设计的一组原则和建议,并分析了该语言存在的不足和改进策略。     

形式化开发Hanoi塔问题非递归算法

使用形式化方法PAR及循环不变式开发新策略,开发了Hanoi塔问题非递归算法,并对其进行了形式化地正确性证明。本文直接面向非递归算法,在得到求解Hanoi塔问题的循环不变式的同时,直接得到易读、高效且可靠的非递归算法。对使用形式化方法及循环不变式开发新策略开发非递归算法作了较深入的实践和探讨。     

算法及其时间复杂度可同步形式化推导的方法

对在长期的算法研究中提出的PAR方法和PAR平台引入时间谓词加以扩展,不仅可以形式化推导出顺序查找和二分查找问题的算法程序,而且这两个问题关于时间复杂度的递归方程式也可同步且自然地推导得到.这为开发并验证高效率的算法开辟了一条新途径.