基于排序形式化规格说明的软构件匹配

基于排序形式化规格说明的软构件匹配是检索可重用构件的有效方法,在软件复用和库检索中,有助于确定一个构件是否可以取代另一个构件或一个构件如何通过修改以满足另一个构件的要求.利用基于排序形式化规格说明来描述软构件的行为,并在构件和方法层次上给出多种不同类型的基于排序形式化规格说明软构件匹配的定义,及其在构件检索中的应用.     

基于miniProject的软件工程教学研究

针对软件工程课程教学实践性强的性质,提出一套基于miniProject的实践教学方法,将软件工程中的软件生命周期管理、关键软件过程融入项目的实践中,用一套虚拟团队的组织规范引导学生开发项目,使得学生在实践中掌握和理解软件工程的相关概念,并自觉执行一套标准的软件过程。     

基于体系结构的软件分析设计过程模型

引入软件体系结构技术，将软件分析设计过程细分为需求分析、体系结构设计、系统设计3个阶段，并提出了基于体系结构的软件分析设计过程(SADPBA)模型，该模型是一种采用迭代增量方法将功能设计空间映射到结构设计空间，再由结构设计空间映射到系统设计空间的过程．应用函数理论对模型进行了严格的数学定义和形式化描述，确保设计结果满足完备性、一致性和正确可追踪要求．在扩展设计空间建立了需求规范与体系结构、系统设计间的可追踪机制，并建立了基于体系结构的软件分析设计开发环境模型．与传统软件分析设计过程相比，SADPBA模型有严格的理论基础和工程原则，解决了软件系统从需求到实现的平缓过渡问题，提高了软件分析设计的质量和效率．     

自省的动态软件体系结构描述与实现

软件系统的体系结构对于软件开发具有重要的意义，然而现有软件体系结构描述语言及其支撑系统在可追溯性和动态性两个方面尚有不足，利用自省计算的原理和技术，提出一种将体系结构具体化为系统实现中可见可控的实体，并在其基础上构建系统的新途径．这样，软件体系结构的抽象描述和具体实现都基于统一的模型，从而可以保证可追溯性；而通过自省设施亦可达成对软件体系结构动态行为的有效支持和控制。遵循这个途径，给出了一种面向图的软件体系机构描述和实现的具体框架及其一种基于edNCE图法形式模型，并在World Wide Web的环境下实现了一个支撑系统原型。     

插件式GIS的开发

提出插件式 GIS 软件开发方案,把 GIS 软件开发分为宿主系统开发和功能插件开发两部分,每一部分都基于 COM 规范进行开发．通过插件连接器使得宿主系统具有标准的接口,功能插件通过安装可插入到宿主系统,实现功能模块的“即插即用”．论文介绍了插件式 GIS 实现方案、插件连接器开发、宿主系统标准接口的生成以及插件的开发,最后通过实例演示了具体的开发过程．     

DASPS:一个分散式多代理软件过程系统

代理机制在各个领域得到了广泛的应用,由于它的一些内在特点,代理机制在以过程为中心的软加工成环境中的应用已引起了学术界和工业界的极大兴趣．提出了一种合成式的多代理软件过程建模及实现的方法——分散式多代理软件过程系统(DASP),并对其体系结构及工作机制进行了介绍．     

FP方法在电力部门远程图像监控系统开发中的应用

运用软件工程思想对“电力部门远程图像监控系统”项目启动阶段的软件需求分析和项目计划进行设计。采用FP（功能点）方法计算此项目的功能点,以此来度量项目的工作量。完成了项目软件需求说明书和项目计划书。并以此对系统软件进行设计和开发。     

基于环境的软件正确性形式化描述

软件的运行依赖于环境,在考察软件正确性时需要考虑环境的因素。软件在开发和设计过程中,其正确性是一个逐渐改进的过程,也就是说,通过不断地修改,软件越来越接近于正确。为了刻画软件的这种动态正确性并考虑环境的因素,本文将以三分之二互模拟为基础,利用网极限的观点,建立软件动态正确性的形式化描述。首先建立三分之二互模拟的无限演化理论,给出三分之二极限互模拟的定义。其次建立三分之二互模拟极限,这个极限在一定程度上反映软件规范是其实现的极限形式。最后证明三分之二互模拟极限与三分之二互模拟的相容性等性质。     

借助绘制函数图像探讨直观性教学原则

在数学教学中,采用临时手工绘制既费时又没有好的效果.运用多媒体进行教学时,教师如果事先把图形绘制好,讲授时直接展示可节省时间,但无绘图过程而缺乏真实感.有了数学软件Mathematica后,可以很好地解决这些多年来让数学教师棘手的问题.本文借助数学软件Mathematica,通过对各种形式函数的图像绘制,得到常见曲线及曲面的绘制方法,并以此为例说明如何在相关课程中实现教学的直观性原则.     

计算机软件可靠性模式设计

该文介绍、整理和分析了各类 用的软件可靠性分析模型（Ｒｅｌｉａｂｉｌｉｔｙ Ｍｏｄｅｌｓ）,周时也提出和阐述了作者研制的一套计算机软件可靠性辅助设计软件ＣＭＳＲＭ（Ｃｏｍｐｒｔｉｒ Ｍｅｄｉａｔｅｄ Ｓｏｆｔｗａｒｅ ＲｅｌｉａｂｉｌｉｔｙＭｏｄｌｉｎｇ）的设计与实现思想。ＣＭＳＲＭ可以用于有效地分析软件的可靠性模型ＣＭＳＲＭ是一个涵盖目前各灯现有之可靠性模型的分析工具,同时具备自动化或手工操作