面向对象的软件重用系统—OOSCS的研制

在对面积对象方法的重用机制进行了分析研究的基础上,提出了一种基于构件库的软件重用方法,并介绍了其原型系统－面向对象的软件合成系统。ＯＯＳＣＳ是一个基于可重用构件库的软件开发支持系统。     

基于对象和重用的原型方法与原型工具系统ORPTOOL

在面向对象、快速原型、可重用等软件开发方法的基础上，吸取了Ａｄａ语言的某些特点，提出了一种新的软件开发方法－－基于对象和重用的原型方法（ＯＲＰＭ）。文中叙述了ＯＲＰＭ的开发过程及支持ＯＲＰＭ的原型工具系统的设计与实现。     

OOPA──面向对象支持的原型化开发方法

从基本概念，图形工具和开发模型三个方面介绍了一种计算机软件开发方法——面向对象支持的原型化开发方法ＯＯＰＡ（Ｏｂｊｅｃｔ－ＯｒｉｅｎｔｅｄＰｒｏｔｏｔｙｐｉｎｇＡｐｐｒｏａｃｈ），试图提供面向对象与原型法相结合进行软件开发的具体的方法论．     

微机生产过程监控系统应用软件的实现

介绍利用内存驻留技术，在单任务的ＭＳ－ＤＯＳ环境下，开发出具有有限多任务功能的应用软件，解决了微机生产过程监控系统软件开发的一个难题。     

OOPA—面现对象支持的原型化开发方法

从基本概念，图形工具和开发模型三个方面介绍了一种计算机软件开发方法－面向对象支持的原型化开发方法ＯＯＰＡ（Ｏｂｊｅｃｔ－ＯｒｉｅｎｔｅｄＰｒｏｔｏｔｙｐｉｎｇＡｐｐｒｏａｃｈ）试图提供面向对象与原型法相结合进行软件开发的具体的方法论。     

基于FOXPRO的软件开发环境

回顾了软件开发技术的发展过程，探讨了程序自动生成的可行性，并介绍了一个由笔者开发的实用的软件开发环境ＦＯＸＰＧ．     

基于FOXPRO的软件开发环境

回顾了软件开发技术的发展过程，探讨了程序自动生成的可行性，并介绍了一个同上笔者开发的实用的软件开发环境ＦＯＸＰＧ。     

岩土工程数值分析实用软件系统的研制

介绍一岩土工程数值分析系统，该系统以有限元法为主，辅以边界元法与极限平衡法．实现了对边坡、坝体、地下洞室、建筑、桥梁和地基等结构的数值分析．其中在计算方法方面实现了对无拉应力、节理、锚杆等特殊单元的模拟以及有限元数据的后处理功能．在软件开发方面，成功地实现了ＦＯＲＴＲＡＮ５．Ｏ环境下的菜单技术．     

汉字FOXBASE＋2.10驱动菜单的改进及实现算法

根据汉字ＦＯＸＢＡＳＥ＋２．１０的基本功能，对各种屏幕驱动菜单－亮条菜单，上托菜单及下拉菜单的不足之处做了改进，给出了算法，理论及实用均表明，所实现的程序菜单驱动时间短，屏幕效果好，使用方便，对使用ＦＯＸＢＡＳＥ＋进行软件开发具有一定的价值。     

《织物结构与设计》多媒体CAI课件的设计与制作

简要介绍了多媒体技术及其著作工具,并以《织物结构与设计》课程为例介绍了ＣＡＩ课件的开发技术与和Ｔ ＯＯＬＢＯＯＫ软件开发纺织ＣＡＩ课件的过程及技巧 。     

面向测试的主动对象开发方法

针对主动对象这样一种常见的应用程序形式 ,提出了一种面向测试的开发框架 ,以缩短软件开发周期和提高软件质量。该框架选择 Statechart形式可视语言为基础 ,通过适当的限制和修改后作为主动对象的行为规约和测试建模的语言 ,同时针对这种行为规范提出程序实现建议和测试用例生成方法 ,并以具体实例说明了这一开发过程 ,以及实现的一个测试用例自动生成工具 ,以支持这一开发框架的应用。试验结果表明该框架易于理解和使用 ,在工具软件的辅助下有利用于缩短主动对象软件开发周期 ,改进软件质量。     

A problem solving framework for group decision support system

1　ＩＮＴＲＯＤＵＣＴＩＯＮＴｈｅｐｒｅｓｅｎｔｇｒｏｕｐｄｅｃｉｓｉｏｎｓｕｐｐｏｒｔｓｙｓｔｅｍ(ＧＤＳＳ)ｄｅｖｅｌｏｐｍｅｎｔｉｓｇｅｎｅｒａｌｌｙｂａｓｅｄｏｎＳｐｒａ ｇｕｅ′ｓｔｈｒｅｅ ｃｏｍｐｏｎｅｎｔｓｍｏｄｅｌｗｈｉｃｈｃｏｎｓｉｓｔｓｏ     

一个支持软件定义模拟的原型开发框架研究

1　软件开发方法论软件系统的开发存在着定义层 (软件需求描述、分析及软件定义的形成 )与实现层 (算法、数据结构的实现与代码生成 )之间的断层 [1] . Yeh[2 ] 指出 ,软件开发中存在双重压迫 :一是大型系统的问题定义方法 ,二是复杂系统的维护问题 .由此迫切需要引入新的方法论来指导软件系统开发 ,使软件生产率有较大的改进 ,打破开发瓶颈 .综合考虑 ,软件的开发问题实际是如何描述功能需求的问题[3] .引入一种定义方法 ,通过构造方法获取软件系统的功能模型 ,使整个开发演变为基于定义的增量开发过程 ,通过在此高层定义上的连续加工形成…     

基于万维网服务的网络软件模型

分布处理、应用协同和应用集成一直是网络软件开发过程中较为困难的问题。在万维网服务技术架构基础上，提出了一种网络软件模型，它定义了一个可以支持万维网服务协议和规范的本地软件开发模型(LS-SDM)，然后利用现有的万维网服务定义的协议和规范连接LS-SDM，构成一个具有分布处理、应用协同、应用定制能力的网络软件开发模型，这样，可以利用已有的万维网服务技术解决网络软件的分布处理、协同和集成问题。     

集成电路虚拟制造系统

结合集成电路虚拟制造系统的设计,给出集成电路虚拟制造的系统结构,讨论了系统设计中的两个关键问题,既开放式集成框架软件的七发和集成电路制造系统的建模,在开放式集成框架的支持下,把各种异质仿真软件集成起来,得到支持面向任务的可控工艺流设计和产品可制造性分析能力,另一方面,通过制造系统建模技术,得到制造系统模型,该模型要支持生产过程的优化调度,并在调度结果基础上产生实际的生产控制过程,以集成电路的计算机集成制造系统为依托完成实际的产品制造。     

基于SSH框架的构件组装技术研究与应用

构件技术是支持软件复用的核心技术,构件组装技术是构件技术研究的重点与难点。分析了构件组装技术与分类,提出了基于SSH框架的构件组装模型,最后将这一模型应用到集中支付管理系统的开发中,实践表明这种构件组装模型能提高构件组装效率,提高软件开发质量。     

基于Petri网的多Agent系统设计与实现

以面向对象Petri网OPN为语义基础,从软件体系结构的角度,建立了一种直观的多Agent系统模型MASM,可以形象地描述Agent的内部结构和动态行为。为了缩小形式化模型与系统实现之间的差距,基于MASM设计了一个多Agent系统开发工具箱MASDT,提供了多Agent系统的基本实现框架。利用MASM对智能加油站系统进行建模和分析,并用MASDT开发了智能加油站系统原型,证实了所提出的一系列理论和方法对于实际系统开发具有一定的指导意义。     

UML图转有色Petri网图文法

为解决由于UML（Unified Modeling Language）缺少精准的语义表达,使其在系统建模过程中不能给出形式化的验证和分析的问题,提出了UML模型转Petri网模型的图文法,利用Petri网的分析验证技术,实现了对UML模型的正确性验证。在设计阶段即发现系统的缺陷,从而减少软件开发后期发现设计的错误而带来的损失,提高系统的正确性和安全性。实验表明了该转换算法的有效性。     

基于TOULMIN模型的协商研讨系统的设计与实现

为缩小形式化模型与系统实现之间的差距,提供一种科学有效的决策方式,提出了基于Toulmin模型的协商研讨支持系统.经过对系统功能需求的分析,构建系统体系框架,指出主要功能模块,并对各个功能模块进行了分析与设计,在软硬件环境的支持下开发并实现了基于Toulmin模型的协商研讨支持系统,最后在该协商研讨平台进行了实例演示分析.     

面向嵌入式驱动软件开发的设备仿真技术研究

分析了传统嵌入式驱动软件开发模式的不足，提出了一种基于仿真设备的软硬件协同开发模式。详细论述了设备仿真技术的具体设计与实现，结合应用实例证明了该技术能较有效地缩短嵌入式驱动软件开发周期。