掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
中文会议
>
工业技术
>
自动化技术与计算机技术
>
2003'全国软件与应用学术会议
2003'全国软件与应用学术会议
召开年:
2003
召开地:
北京
出版时间:
2003-11-01
主办单位:
中国计算机学会
会议文集:
软件技术进展2003'全国软件与应用学术会议(NASAC)论文集
会议论文
热门论文
全部论文
相关中文期刊
计算机辅助绘图.设计与制造:英文版
计算机应用
测试技术学报
计算机与现代化
软件导刊
互联网周刊
电脑高手
物联网技术
电子竞技
中国自动识别技术
更多>>
相关外文期刊
Network world
Business 2.0
Information Week
Computational Intelligence Magazine, IEEE
SIGCSE bulletin
Scientific Computing & Instrumentation
Operating systems review
IEEE transactions on systems, man and cybernetics. Part C
International journal of knowledge discovery in bioinformatics
Journal of the Association for Information Systems
更多>>
相关中文会议
第十一届全国多媒体技术学术会议
2010年大学计算机课程报告论坛
第四届全国数字娱乐与艺术会议(DEA’2009)
中国钨工业回顾与展望研讨会
OA’2011办公自动化国际学术研讨会
2010(第三届)全国网络与信息安全学术会议
第二届信息安全漏洞分析与风险评估大会
第八届MES(制造执行系统)开发与应用专题研讨会
'2008系统仿真技术及应用学术会议
第四届图像图形技术与应用学术会议
更多>>
相关外文会议
Web Services, Formal Methods, and Behavioral Types
2013 IEEE Symposium on Advances in Type-2 Fuzzy Logic Systems
Frontier and innovation in future computing and communications
Passive and active millimeter-wave imaging XVI
2015 IEEE 17th International Conference on High Performance Computing and Communications, 2015 IEEE 7th International Symposium on Cyberspace Safety and Security, 2015 IEEE 12th International Conference on Embedded Software and Systems
International Conference on Medical Image Computing and Computer-Assisted Intervention(MICCAI 2004) pt.1; 20040926-29; Saint-Malo(FR)
Principles and practice of multi-agent systems
Quantum information and computation IX
2013 IEEE International Workshop on Performance Evaluation of Tracking and Surveillance
Graph-Theoretic Concepts in Computer Science
更多>>
热门会议
2015第十届全国体育科学大会
2019年中国城市规划年会
2018中国城市规划年会
中国工程热物理学会2014年年会
第三届世界灾害护理大会
第30届中国气象学会年会
2017年中国地球科学联合学术年会(CGU2017)
中华医学会第十八次全国儿科学术会议
2006中国科协年会
2011年第二十八届中国气象学会年会
更多>>
最新会议
2005中国首届国际铜板带研讨会
全国小儿病毒性肝炎学术会议
模糊系统及其应用成果学术交流会
中国金属学会高温合金中微量元素的控制及其作用鉴定会
中国有色金属学会冶金设备学术委员会第一届年会
2003年全国理论计算机科学学术年会
2015年齐鲁高教论坛
中国石油学会油品应用技术交流会
中国化工学会第一届流体流动传热传质及燃烧技术会
中国金属学会第四界炭素材料年会
更多>>
全选(
0
)
清除
导出
共
127
条结果
1.
基于工作流的软件过程自动化支持平台研究
严伟
;
陈英
;
张明
;
李佳
;
孙剑
《2003'全国软件与应用学术会议》
|
2003年
摘要:
有组织、有流程是软件大规模生产模式的基本特点,软件过程越来越受到软件开发组织的重视.软件过程自动化工具为软件开发组织对软件过程进行建模、定义、分析和实施提供了强大的支持.文章介绍了软件过程自动化工具平台的体系结构,分析了软件过程工具和其它软件工程工具的关系,研究了软件过程工具涉及的理论,并讨论了这些工具在软件过程的改进和实施所起到的重要作用.
软件过程;
工作流;
软件开发;
过程自动化;
过程工具;
过程改进;
2.
基于工程方法的教学软件开发模式
胡庆春
;
黄勇
《2003'全国软件与应用学术会议》
|
2003年
摘要:
本文以"软件工程"方法为基础,着重讨论"教学软件应由谁来开发?"这个问题,根据教学软件的特点分析软件的开发过程,提出了教学软件开发模式的基本思想和四种类型,并以数字化资料管理系统(软件资源库)开发为例,阐述开发模式的应用,试图能提高教学软件(尤其是大型的、复杂的教学软件)的开发效率,并能保证质量.
教学软件;
软件工程;
软件过程;
软件开发;
3.
CMM过程支持系统中对过程改变多策略支持的研究
胡昊
;
林向宇
;
杨玫
;
吕建
《2003'全国软件与应用学术会议》
|
2003年
摘要:
实践证明,企业在实施CMM时,过程改进这样的宏观目标是通过从微观上成功地完成项目来实现的.因此,自动实施CMM的过程支持系统应该具有灵活的支持过程动态改变的能力,以利于适应多变的项目环境,而过程改变的情况比较复杂,单一策略的采用既增加了模型的复杂性,又不利于系统充分利用已有的底层支持技术.鉴于此,本文介绍了一种多策略过程动态改变支持机制.该机制可用于基于CMM的过程支持系统工程中,有效提高基于CMM的过程管理系统在过程改变支撑方面的灵活性和实用性.
过程支持系统;
能力成熟度模型;
过程模型;
过程改进;
过程改变;
软件工程;
4.
CMMI发展的新方向——贯标机制研究
唐云岚
;
李希平
;
李孟军
《2003'全国软件与应用学术会议》
|
2003年
摘要:
通过对CMMI发展历程的分析,在总结现有研究成果的基础上,指出CMMI的发展即将进入一个新的阶段——机制的形成阶段.并结合CMMI自身特点,提出了CMMI贯标机制的概念,为CMMI的发展指明了方向.最后对CMMI贯标机制作了简要地介绍.
贯标机制;
软件工程;
能力成熟度模型集成;
过程改进;
5.
基于CMMI不对称信息下最优激励合同研究
李孟军
;
唐云岚
《2003'全国软件与应用学术会议》
|
2003年
摘要:
在结合我国软件水平实际的基础上提出了一种推行CMMI的新模式,借鉴状态空间模型化方法对基于CMMI的信息不对称情况下最优激励合同进行了分析,并建立了一个简单的模型.
最优激励合同;
状态空间模型;
不对称信息;
软件开发;
过程改进;
能力成熟度模型集成;
6.
基于切片技术的Web回归测试
许蕾
;
蒋冀翔
;
陈振强
;
徐宝文
《2003'全国软件与应用学术会议》
|
2003年
摘要:
Web应用开发速度比较快、用户需求变动比较多的特点使得回归测试尤为重要.由于不断变化的需求导致应用不同版本的产生,而每一个被调整的内容往往最容易隐含错误,因而需要对每一个版本都进行测试,这使得回归测试的任务特别繁重.为了快速、有效地进行回归测试,本文采用切片技术来简化内容,即首先深入分析了Web应用的结构特点、各种可能的变动及其产生的影响;然后给出了基于切片技术的Web应用回归测试方法,即根据前向、后向搜索算法得到Web应用变动的依赖集并构造相应的测试用例集,并通过实例说明其效果;最后是对未来工作的展望.
回归测试;
互联网;
切片技术;
软件测试;
7.
使用BIT技术构造可自测试构件
黄瑶
;
高仲仪
;
刘冬懿
《2003'全国软件与应用学术会议》
|
2003年
摘要:
本文主要讨论了使用BIT技术构造可自测试构件的实现方法.文中首先给出了BIT、可自测试构件、软件可测试性等定义,在此基础上阐述了使用BIT技术构造可自测试构件的四种方法,并对这些方法进行分析和比较.最后,讨论了使用BIT技术构造可自测试构件的应用前景.
软件测试;
内嵌式测试;
自测试构件;
BIT技术;
软件构件;
8.
分布式实时系统形式化测试研究中的一些问题思考
叶俊民
;
赵恒
;
王振宇
《2003'全国软件与应用学术会议》
|
2003年
摘要:
基于软件体系结构(Software Architecture,SA)的形式化测试提高了软件产品的质量,是软件工程领域研究中的一项重要内容.分布式实时系统(Distributed Time-Real System,DRTS)的测试是软件测试中的一个热点和难点问题.分析了国内外相关研究的动态,针对分布式实时系统,从SA形式化测试的目的和基本策略、分布式实时系统的测试特征、描述语言及其操作语义、测试覆盖准则、测试用例生成策略与现状、测试过程、测试工具的开发和测试充分性等方面说明了基于软件体系结构的分布式实时系统的形式化测试中存在的问题,并分析了产生这些问题的原因,这一工作为进一步的研究打下了基础.
体系结构;
分布式实时系统;
形式化测试;
软件测试;
9.
UML在油田信息化领域建模中的应用
王友净
;
谢庆义
;
谢晓霖
;
赵阳
《2003'全国软件与应用学术会议》
|
2003年
摘要:
随着我国加入WTO,中国石油企业将会面临更大的机遇和挑战.信息化建设是提高企业核心竞争力的必然选择.本文运用UML建模语言,采用面向对象的方法,对"信息化油田"建设应用系统中的采油队生产信息系统进行了详细的分析.在胜利油田进行了实践,取得了良好的效益,这对石油行业的信息化建设有很好的借鉴和推动作用.
油田信息化;
UML建模;
软件过程;
软件工程;
应用系统;
10.
关于车牌识别系统自动化软件测试的探讨
陶培基
;
林炜
《2003'全国软件与应用学术会议》
|
2003年
摘要:
本文介绍了一个车牌识别系统的结构和项目开发的实际情况.针对开发的特点,分别从脚本测试、性能测试方面对系统的自动化测试进行设计和实现.通过自动化的软件测试,满足了实际开发的要求,保证了车牌识别系统的质量.文章最后对自动化软件测试进行探讨,提出了创新的观点.
车牌识别;
软件测试;
脚本测试;
自动化测试;
11.
度量模型构造中主度量分析器PMA的设计
黄璜
;
周欣
;
刘吟
;
孙家骕
《2003'全国软件与应用学术会议》
|
2003年
摘要:
度量属性的共线性将影响度量模型的准确性.我们利用主度量分析技术来标识互相正交的度量维,从而将众多的度量属性按照线性关系进行划分,从而在一定程度上规避共线性的影响,提高模型的可信度.模型构造系统OOSMMCS中的主度量分析器PMA将主成分分析技术和度量技术相结合,可以为模型构造活动提供支持.
软件度量;
主成分分析;
度量模型;
主度量分析器;
12.
利用工作流管理系统实现软件测量
付丽娜
《2003'全国软件与应用学术会议》
|
2003年
摘要:
本文尝试利用目前流行的工作流管理系统作为平台,开发流程化的测量工具——测量工作流.本文阐述了测量对于软件项目成功的重要意义,以及利用工作流管理系统实现软件测量的优越性和可行性.本文以软件项目中的重要信息需求——编码进度为例,介绍了如何利用测量工作流实现软件测量过程中的计划、执行、评价、建立和维护测量资源活动.
软件测量;
工作流管理系统;
测量程序;
测量结构;
13.
一种基于测距的重构技术
刘建宾
;
朱学军
;
李满玲
;
郝克刚
《2003'全国软件与应用学术会议》
|
2003年
摘要:
重构是对软件的内部结构所作的一种改变,这种改变在可观察行为(Observable behavior)不变的条件下使软件更容易理解,而且修改更廉价.在实际中重构得不到预期的应用,最主要的障碍之一是要耗费太多的时间和精力去寻找需要重构的位置以及选择适当的重构方法.为克服这种障碍,本文提出了一种基于测距(Distance measurement)的重构技术.文中首先阐述了测距理论,然后论证了该理论在重构中的应用,最后构建了相应的CASE工具的系统框架.
测距理论;
软件重构;
软件工程;
面向对象;
代码重构;
14.
一种可变测试集的通信协议一致性测试方法
吕欣岩
;
赵保华
;
屈玉贵
《2003'全国软件与应用学术会议》
|
2003年
摘要:
目前常用的通信协议一致性测试的测试方法是首先对协议规范建模,然后通过模型生成测试集,最后执行测试集.这种方法存在执行效率不高和实际测试范围可能被缩小的问题,为此本文提出一种可变测试集的方法,以提高测试集的执行效率,同时从与协议实现无关的角度扩大协议的实际测试范围.
一致性测试;
可变测试集;
通信软件;
软件测试;
通信协议;
测试方法;
15.
多Agent部分有序计划的最优线性化方法
李颖
;
金芝
《2003'全国软件与应用学术会议》
|
2003年
摘要:
多Agent系统中由于拥有多个执行者,所以可以并发执行计划中的动作.充分发挥多Agent系统的并发性,以提高计划的执行效率,是多Agent计划的研究目的之一.部分有序计划方法是一种常用的计划方法.对于多Agent的部分有序计划而言,充分发挥多Agent的并行性将不仅取决于如何生成部分有序计划,同时也取决于如何对部分有序计划进行线性化.针对给定的多Agent的部分有序计划,本文给出了一种可以找到最优计划执行实例的线性化方法.
部分有序计划;
线性化;
Agent系统;
软件工程;
并行性;
16.
一个支持机群系统中并行DM算法的数据管理中间件
吴绍春
;
吴耿锋
;
班桦
《2003'全国软件与应用学术会议》
|
2003年
摘要:
利用高性能机群系统实现并行数据挖掘算法,需要强大的底层数据管理支持,包括数据的存储、数据在机群中的划分和分布策略、数据的读写及传送等.文章从数据挖掘算法的特性出发,论述了一个支持机群系统中并行数据挖掘算法的数据管理中间件的设计思想和实现技术.
中间件;
机群系统;
数据挖掘;
并行计算;
数据分布;
17.
Win2k大规模稀疏内存分配研究
王雨
;
傅鹤岗
;
王富强
《2003'全国软件与应用学术会议》
|
2003年
摘要:
从Win2k内存体系结构入手,着重阐述Win2k中虚拟内存的分配情况,并在此基础上以Win2k内存堆栈为模板,结合SEH,提出了分配大规模稀疏内存的有效方法.
虚拟内存;
内存堆栈;
操作系统;
内存分配;
Win2000;
18.
网络用户远程监视系统的设计与实现
曲波
;
吴兆芝
《2003'全国软件与应用学术会议》
|
2003年
摘要:
文章阐述了网络用户远程监视系统的设计与实现.该系统记录了网络用户访问敏感不良网址的重要信息,包括访问时间、源IP、目标IP及IP包数据等,为网络安全部门对计算机网络的安全管理提供了重要依据.
计算机网络;
网址;
远程监视;
安全管理;
网络用户;
19.
一种自适应最短路线的选路方法
郭景峰
;
侯爽
;
王金慧
《2003'全国软件与应用学术会议》
|
2003年
摘要:
最短路线问题是智能交通系统(ITS)的路线导航子系统的关键技术之一.作为其思想核心的选路方式也逐渐成为研究热点.本文对众多最短路线的选路方式划分为三类,并在此基础上提出一种全自适应最短路线的选路策略(FASPRS),解决在随机且时间依赖的交通网络中如何自适应选择时间最短路线的问题.
最短路线;
选路策略;
智能交通系统;
20.
协同OA的技术实现模型
董晶
《2003'全国软件与应用学术会议》
|
2003年
摘要:
本文分析协同OA的应用层次和特点,阐述了协同OA的技术实现基础,并从数据集成、业务过程管理、应用集成等几个方面对其技术实现模型进行了介绍.最后,以典型实例阐述了实现过程.
信息集成;
业务过程管理;
应用集成;
办公自动化;
电子政务;
协同技术;
21.
信息门户网站的设计与实现
施伟萍
;
施巍巍
《2003'全国软件与应用学术会议》
|
2003年
摘要:
Internet技术的飞速发展为人们带来了巨大挑战和无限商机,而建立在其上的网站正无以伦比地发挥着互联网络的巨大威力.在南京联通,我们已投入运营了信息门户网站服务,并在此基础上开展了网络游戏等多种增值服务项目,获得了很多网站建设的宝贵经验.本文介绍了门户网站建设项目的规划、设计和实现,以及我们提供网站服务的经验和一些有趣的发现,说明了门户网站以及网站增值业务的发展潜力.最后,结合实际对网站建设和相关增值业务的发展提出了几点建议.
电子商务;
门户网站;
网络游戏;
互联网;
22.
基于Web Services的税务信息一体化技术研究
栗伟建
《2003'全国软件与应用学术会议》
|
2003年
摘要:
Web Services是一种面向服务的体系结构,其突出优点是能在现有的各种平台的基础上构筑一个通用的与平台、语言无关的技术层.为整合税务系统现有的各项应用,实现税务信息系统一体化,本文介绍了基于Web Services的集成框架在税务系统的设计与实施,并针对网络服务质量(QoS)的几个重要参数,分析了web services基础构架的性能.同时重点研究了为增加税务信息一体化系统系统性能,在SOAP消息在进行网络传输前,实施消息压缩的问题.因为SOAP消息是文本类型的,所以在传输SOAP消息时可以对其进行压缩,从而减小传输时间,提高系统性能.实践表明:不管是在SOAP序列化之前还是在序列化之后进行SOAP消息的压缩,都能减小传输信息包的大小和缩短响应时间.
网络服务质量;
消息压缩;
序列化;
税务信息化;
电子政务;
23.
一种基于高效多密门限体制的安全通信平台
李彦江
;
马传贵
;
高峰修
《2003'全国软件与应用学术会议》
|
2003年
摘要:
随着电子商务在互连网上的迅猛发现,通信平台的安全性愈来愈显得重要.本文利用可公开验证的多密共享技术,对非同步分布式网络系统中的n个服务器,设计了一种可以抵抗至多t(t>0)个自适敌手攻击的多密秘密共享体制方案,同时设计了一种防止管理者P<,d>欺骗的方案.多密门限共享体制可以构筑用以电子投票、电子印章、签订合同契约及电子拍卖等领域的安全通信平台.在电子商务中,密钥的管理对通信各方有着重大意义.而在本文设计的安全通信平台上进行密钥的分发、恢复及更新时,执行效率较基于单密门限体制的安全通信平台有显著提高,同时安全性也得到进一步增强.
分布式系统;
安全通信平台;
电子商务;
多密门限体制;
24.
一种支持程序理解的扩展表示方法
陆波
;
赵合计
《2003'全国软件与应用学术会议》
|
2003年
摘要:
本文介绍了程序理解的相关概念,讨论了程序理解所面对的问题及其原因,然后介绍了能够解决这些问题的新的编程方法—文字编程;给出了一个简短的文字程序示例来展示文字编程方法对程序理解的支持;最后提出了针对文字程序提高理解效率的一种扩展方法.
程序理解;
文字编程;
软件工程;
扩展方法;
25.
针对DSM系统扩展OpenMP指导命令
黄春
;
杨学军
《2003'全国软件与应用学术会议》
|
2003年
摘要:
障碍同步和归约是OpenMP程序中经常使用的全局操作.为了提高分布共享存储(DSM)系统上OpenMP程序性能,我们提出并实现了两个新的并行构件barrier(0)和allreduction,对OpenMP API进行了扩展.测试表明,新的指导命令能够很好地改善DSM系统上OpenMP程序性能.同时,由于新的构件在指导命令一级定义,程序设计者可以方便地利用它们来优化程序.
指导命令;
障碍同步;
归约;
并行构件;
共享存储系统;
程序设计;
26.
Eucp中间代码文件解析的设计及实现
魏志广
;
沈西挺
《2003'全国软件与应用学术会议》
|
2003年
摘要:
本文以Eucp编译系统为研究对象.为实现对缺少源文件的Eucp系统的维护,实施中间代码文件反编译,本文主要讨论Eucp编译系统中的中间代码文件解析的实现原理、结构及其功能.
中间代码文件;
反编译技术;
解析程序;
软件工程;
编译系统;
27.
开放式互操作框架的设计与实现
吴翔
;
黄罡
;
郑子瞻
;
王千祥
;
梅宏
《2003'全国软件与应用学术会议》
|
2003年
摘要:
本文在分析现有主流互操作技术的基础上,提出了一种支持多协议的开放互操作框架,其核心思想在于将构件化的思想引入互操作框架的设计以及协议的实现.在严格确立应用与互操作框架边界的前提下,将互操作技术的主要功能封装为相对松散的构件,互操作框架负责组装并管理这些构件,互操作协议的定制与扩展就是通过该框架增加、删除、替换相关构件.以一个产品化的J2EE应用服务器PKUAS为实验平台,论文实现了该互操作框架以及一组主流的互操作协议,最后,给出了该实现的性能测试结果.
中间件;
构件;
互操作框架;
通信协议;
软件工程;
28.
Target软件体系结构模式研究
高旭涛
;
刘超
《2003'全国软件与应用学术会议》
|
2003年
摘要:
随着软件开发涉及到的技术越来越多,结构越来越复杂,如何在软件工具中将各个不同构件和源程序有效地组织起来也显得越来越重要了.本文所研究的Target软件体系结构模式描述了一种基于Ant技术,灵活高效,结构清晰的软件设计模式.它是一种通用的测试软件体系结构,既可以作为测试软件开发的基础,也可以为其它类似的开发提供切实可行的参考.
软件开发;
软件测试;
体系结构模式;
29.
基于MVC模式的交互式分类规则发现模型
杨立
;
左春
;
王裕国
《2003'全国软件与应用学术会议》
|
2003年
摘要:
本文提出了一个基于模型-视图-控制(MVC)设计模式的交互式决策树分类模型,决策树分类系统从一个给定的数据集中以决策树的形式建立分类模型,在实际应用当中,考虑到算法的多样性以及约束、领域知识的应用,这应该是一个具有高度柔性的过程.MVC模式可以帮助我们构建可重用的软件组件,进而构建柔性和可扩展的分类系统.首先分析了各种决策树分类算法,提出了模型的关键交互特性作为一个分类模型未来可能改变和扩展的部分.然后基于分析结果提出了交互式的分类模型-ICM,并描述了用户使用该模型的交互过程.使用经验证明使用MVC设计模式可以很容易构建一个交互式的柔性分类系统.
分类规则;
交互界面;
决策树;
数据挖掘;
发现模型;
30.
基于模式的设计重现与重构
黄鹤远
;
曹健
;
张申生
;
段永红
《2003'全国软件与应用学术会议》
|
2003年
摘要:
设计模式和重构技术是当前面向对象领域的两大热点.模式作为重构的有效目标,与后者有着紧密的联系.在正向工程方面,应用设计模式的作用已经为人们所熟知,而通过重现系统中的设计模式来进行程序理解和逆向工程也是一种有效的手段.重构技术的研究大多着眼于较小的粒度,缺乏有组织地大规模应用重构技术的有效手段.本文首先从结构和行为方面建立了一套刻画设计模式特征的基本元素,然后在此基础上分别阐述了如何实现基于模式进行设计重现,以及如何支持基于模式的重构.
设计模式;
设计重现;
软件工程;
重构技术;
31.
模型检查中的自动机方法
沈浩
;
孙永强
《2003'全国软件与应用学术会议》
|
2003年
摘要:
本文首先介绍自动机识别有限词和无限词两种情况,然后结合模型检查方法,把自动机作为规范自动机与模型自动机,使用自动机识别语言的包含问题技巧来解决模型检查问题,这里强调的是Vardi与Wolper提出的方法和Tableau方法.
自动机;
模型检查;
时态逻辑;
线性命题;
32.
微内核软件体系结构设计与实践
张少林
《2003'全国软件与应用学术会议》
|
2003年
摘要:
软件体系结构已成为大型软件系统开发的重要环节,本文在分析、总结国内外软件体系结构研究成果的基础上,结合社会保险信息系统的开发实例,论述了微内核软件体系结构的基本思想,并阐述了微内核软件体系结构设计与实现过程.
软件体系结构;
社会保险信息系统;
软件构件;
软件工艺;
微内核构件;
应用软件;
33.
空间Web服务的体系、特征和发展初步研究
李治洪
;
盛焕烨
;
李明禄
《2003'全国软件与应用学术会议》
|
2003年
摘要:
地理空间信息共享是当前地球空间科学和计算机科学新兴的研究领域之一,"Web服务"作为一种新兴的基于Web的分布式计算技术应用于地理空间信息的共享和互操作是必然趋势."空间Web服务"是建立在Web服务之上的一种分布式空间应用框架.本文就空间Web服务的基本概念、特征、内容体系以及发展等进行初步系统的分析和研究.
地理信息系统;
空间信息;
互联网;
地理信息服务;
分布式计算;
34.
基于递阶过程模式动态复用的软件项目过程控制
曹健
;
张申生
;
李明禄
《2003'全国软件与应用学术会议》
|
2003年
摘要:
软件开发过程的质量与软件本身的质量有直接联系.软件开发过程中得到了成功验证的方法或者操作的序列可以用过程模式来表示.通过对过程模式的复用能够保证软件开发过程的规范性.由于各个项目都是独特的,因此不存在一个统一的过程模式适合于所有的项目.本文提出了递阶过程模式动态复用的思想,并针对基于事件的过程模型详细讨论了递阶过程模式动态复合涉及的各项关键技术.在此基础上,提出了基于软件产品结构的自动过程模式复用方法.文中还讨论了实现该技术的系统结构.通过本文提出的递阶过程模式复用技术,解决了过程规范性和项目独特性的矛盾.
过程控制;
递阶过程模式;
动态复用;
软件开发;
35.
基于XML和Java的WebGIS体系结构
祝翠玲
;
王强
;
蒋志方
《2003'全国软件与应用学术会议》
|
2003年
摘要:
地理信息系统与Internet/Intranet结合形成的互联网地理信息系统(WebGIS)是目前地理信息系统发展的一个重要方向.XML语言作为新一代的Web语言,在地理信息领域应用中,实现了对地理信息的规范化和结构化描述,提供了一种数据转换和空间数据互操作的有力工具.而Java不仅是一个功能强大的网络开发工具,也是使用XML的优秀平台.文章在分析了当今的WebGIS开发技术后,论述了XML和Java在WebGIS开发中的技术优势,提出了基于XML和Java技术的WebGIS构架设计.
体系结构;
地理信息系统;
互联网;
Java语言;
XML语言;
36.
基于delphi的MTS/COM+分布式多层系统开发
刘波
;
陈泽琳
《2003'全国软件与应用学术会议》
|
2003年
摘要:
本文介绍了利用delphi开发的MTS/COM+作为中间执行企业逻辑的多层软件系统,以及分析了这种模型的优点.文章介绍了MTS/COM+的基本概念,介绍了一个MTS/COM+分布式多层系统的大概框架,同时给出了基于delphi的MTS/COM+分布式多层系统技术实现.
多层系统;
需要事务;
支持事务;
中介软件;
应用程序;
37.
基于构件的软件性能模型及性能管理工具的研究
冯杰
;
赵文耘
;
张志
《2003'全国软件与应用学术会议》
|
2003年
摘要:
本文论述了在基于构件的软件开发中,如何建立软件的性能模型,并提出了一个支持性能模型的性能管理工具以及基于构件的软件系统的性能管理过程.
性能模型;
性能评估;
性能过程;
软件开发;
构件;
性能管理;
38.
基于黑板模型的软件构件接口设计
黄晓宇
;
李磊
《2003'全国软件与应用学术会议》
|
2003年
摘要:
智能化是软件系统发展的趋势,从面向Agent的软件工程的角度出发,对黑板模型进行了扩充,在此基础上提出了一种软件构件接口的设计方法及实现,并以一个开发实例说明了其应用.
黑板模型;
合同网协议;
软件构件;
接口设计;
软件开发;
人工智能;
39.
UML动作语义研究
高鹏
;
罗燕京
《2003'全国软件与应用学术会议》
|
2003年
摘要:
动作语义是UML一个新的组成部分,是精确说明模型动态行为的基础.具备精确动作说明的UML模型可进行模型级验证和执行,符合模型驱动软件开发的要求.本文综述UML动作语义的基础和内容,提出了一种可视化动作说明语言UML-VASL的设计原型,并对动作说明的应用模式进行了阐述.
UML;
动作语义;
模型驱动;
软件开发;
建模语言;
40.
基于构件的解释型神经网络学习模型
刘悦
;
张博锋
;
吴耿锋
《2003'全国软件与应用学术会议》
|
2003年
摘要:
神经网络的泛化能力和"黑盒性"是神经网络机器学习研究的两个重要问题.本文提出了一种解释型神经网络学习模型,试图发挥神经网络集成带来的神经网络泛化能力的提高.同时,我们提出了驾驭解释和人机交互的方法,希望能够在神经网络学习过程中充分发挥人的智能,从而提高整个系统的智能度;并且同步解释和可视化学习和推理的过程和结果,提高神经网络集成的透明性.该模型采用基于构件的软件开发方法实现,以解释型神经网络学习架构为组装蓝图,以可复用软件构件为组装模块,支持组装式软件的复用,大大提高了软件生产效率和质量.该系统作为智能地震预报专家系统的机器学习模块,在一定程度上解决了知识获取瓶颈问题.
神经网络;
机器学习;
软件复用;
学习模型;
构件技术;
软件开发;
41.
一个简化CORBA应用编程的模型
曹旻
;
吴耿锋
;
陈怡
《2003'全国软件与应用学术会议》
|
2003年
摘要:
本文提出一种能简化CORBA应用编程的模型,称为OrbGOP.OrbGOP提供了开发CORBA应用的高层抽象,使开发者摆脱了底层编程细节;它还有助于描述CORBA应用的软件体系结构.OrbGOP基于面向图形编程模型并将该模型的应用扩展到CORBA环境,将分布式应用的配置描述为一张逻辑图,并从组成应用的组件编程中分离出来,为描述CORBA应用的软件体系结构和简化CORBA应用的编程提供了更有力的支持.
中间件;
软件开发;
体系结构;
面向图形;
组件计算;
编程模型;
42.
基于XML的搜索引擎技术的研究与设计
史艳
;
李伟生
《2003'全国软件与应用学术会议》
|
2003年
摘要:
随着XML应用的发展,利用XML发布网上信息已经逐渐成为一种趋势,基于XML的搜索引擎技术逐渐成为人们研究和关注的焦点.本文介绍了当前XML搜索引擎的发展现状以及相关技术,并且提出了一个简单的XML搜索引擎的设计模型,给出了主要的数据结构和算法.
搜索引擎;
XML语言;
数据结构;
索引技术;
查询算法;
43.
异构数据集成系统中的查询语言研究
黄海
;
李冠宇
;
张俊
;
谢益武
《2003'全国软件与应用学术会议》
|
2003年
摘要:
在网络与通信技术迅速发展的今天,网络上存在着大量的,分布的,动态的异构数据源,要从这些异构数据源中准确及时地提取出用户所需要的数据,异构数据集成系统中的查询语言必须能够准确完整地表达用户的企图,并且不能对用户要求过高.目前,此方面的研究正成为一个热点.本文介绍现有的各类查询语言及其数据模型,分析其支持技术,比较其优缺点,希望以此为基础提出一种适用于异构数据集成系统的查询语言模型.
异构数据集成系统;
数据模型;
查询语言;
44.
基于WEB的快速信息抽取技术的研究和实现
高英
;
郭荷清
《2003'全国软件与应用学术会议》
|
2003年
摘要:
面对互联网中浩瀚的信息,固然可以通过一些现成的搜索引擎去搜索,得到的却仍然是一大堆的信息,未必都是想找的,而且,也没有分类.另外,还存在一种"看不见的网"也就是因特网上存在的,被称为"暗藏网"(the hidden web)的网上数据库系统,搜索引擎的"网络爬虫"抓不到这些网页.这就意味着需要一种独立的工具从这些网页中收集数据.本系统实现了准确而高效的找到所需要的信息.
信息抽取;
互联网;
抽取规划;
数据库;
数据结构;
45.
XML文档到关系数据库的转换
朱国魂
;
沙惠平
《2003'全国软件与应用学术会议》
|
2003年
摘要:
本文介绍了一个把XML文档转换成数据库工具的实现方法:通过对XML文件的词法分析、语法分析和语义处理,将其转换成关系结构,根据映射的关系输出标准的SQL语句,通过调用数据库的接口函数实现对其操作.文中还详细讨论了DTD文档的处理方法.
对象视图;
关系数据库;
文本文件;
软换工具;
软件工具;
文档处理;
46.
从UML图导出Petri网模型的方法研究
张昭理
;
胡金柱
《2003'全国软件与应用学术会议》
|
2003年
摘要:
UML已成为被广泛应用的建模工具.Petri网是严格定义的数学对象,借助数学开发的Petri网分析方法和技术既可以用于静态的结构分析,又可以用于动态的行为分析.对象Petri网(OPN)能够为系统设计者提供严格正式的语义框架对UML模型的结构,行为和性能进行分析和评价.本文通过一个实例研究了从UML图导出对象Petri网模型(OPMs)的方法.
UML;
Petri网;
建模语言;
软件工程;
协作图;
状态图;
47.
基于向量空间模型的网络信息过滤方法
吴庆涛
;
邵志清
《2003'全国软件与应用学术会议》
|
2003年
摘要:
信息过滤是解决网络内容安全的重要方法,其研究涉及源信息采集、信息内容处理和信息匹配算法等内容.本文通过对信息过滤一般过程的分析,提出了基于向量空间模型的网络信息过滤方法.在源信息采集方面,建立了网络信息捕获构架,基于协议分析实现网络数据的提取;信息内容处理方面,采用设立切分标志进行文本信息的预处理,在此基础上,基于向量空间模型实现文档的结构化表示;在信息匹配算法方面,通过计算文档向量之间的相似度,实现网络信息的有效过滤.
信息过滤;
网络数据捕获;
向量空间模型;
网络安全;
48.
用于英语词法分析的知识描述与处理
郭永辉
;
吴保民
;
王炳锡
《2003'全国软件与应用学术会议》
|
2003年
摘要:
本文提出了一个基于规则的词法分析模型,介绍了其所要求的语言学知识及其表示,给出了处理这些语言学知识的算法.该词法分析模型不仅具有自学习功能,而且最大限度地从语义角度进行词汇级词语组合.应用于MatLink英汉机器翻译系统的实践表明,该模型能够降低句法分析的复杂性,提高自然语言处理的正确率与分析效率.
自然语言处理;
机器翻译;
词法分析;
知识描述;
计算语言学;
49.
COGNOS对CUBE的安全控制与CUBE权限的自动倒入
许志庚
;
陈军
《2003'全国软件与应用学术会议》
|
2003年
摘要:
本文详细叙述了COGNOS对CUBE的安全控制机理,并以实例叙述了在B/S模式下,如何进行有关设置以控制哪些用户可以访问CUBE,哪些用户可以访问CUBE中的某些数据.在CUBE与用户类较多的情况下,采用普通方法对CUBE权限进行设置显得极为烦琐,本文通过DELPHI编程,利用COGNOS的宏命令,实现CUBE权限的自动倒入,解决了手工操作之苦,也减少了维护工作量.
安全控制;
权限设置;
人工智能;
CUBE模型;
程序设计;
50.
一种基于多Agent技术的内容分发网络(CDN)模型
胡海清
;
付鹤岗
;
朱庆生
《2003'全国软件与应用学术会议》
|
2003年
摘要:
CDN(Content Delivery Network-内容分发网络)技术是近年来兴起并迅速发展起来的解决响应速度、提高服务质量的互联网上的应用.Agent技术是人工智能及分布式计算研究的热点.本文深入研究了CDN系统应用特点,巧妙的利用Agent技术建立起了一种实用性较强的CDN系统模型,并在项目实践中取得了成功.
内容分发网络;
人工智能;
软件Agent;
互联网;
多媒体技术;
51.
Kingbase ES研发中的配置管理研究
王良
;
王彤
《2003'全国软件与应用学术会议》
|
2003年
摘要:
通过对软件配置管理作为企业基础设施的分析,认为配置管理为软件生产提供物流和信息交流平台,它将软件开发各小组组织在一起,它将软件生存周期各个过程联系起来.归纳总结了大型数据库管理系统开发中影响软件配置管理的因素,提出在Kingbase ES项目中配置的组织结构、配置活动、配置过程内容,并分析了配置工具对配置管理的作用,最后总结了配置的基本原则.
配置管理;
配置过程;
软件开发;
数据库;
组织结构;
52.
一种软件系统抽象:基于承诺的系统
郑小明
《2003'全国软件与应用学术会议》
|
2003年
摘要:
基于agent的系统开发是近年来出现的一种分析设计复杂,分布式软件系统的技术.由于对agent的定义不同,目前存在多种方法,本文分析这些方法存在的不足,并在这些工作的基础上,提出一种新的系统抽象技术;基于承诺的系统开发方法.在这篇文章中,我们介绍基于承诺的系统的概念,论证其正确性与优越性,并初步给出基于承诺系统内部承诺与外部承诺运行的一些机制.
agent理论;
承诺;
软件系统;
抽象模型;
53.
CMM在软件过程管理、改进与评估中的理念
唐云廷
《2003'全国软件与应用学术会议》
|
2003年
摘要:
本文简单介绍了CMM(软件能力成熟度模型,Capability Maturity Model)的理念,将CMM的一些核心的概念融于实际生活之中指导项目成功,就必须改善整个软件组织开发软件的能力.
过程模式;
软件开发;
过程管理;
过程改进;
能力成熟度模型;
54.
软件质量管理关键过程域的度量
常鸿
;
晏海华
;
钱红兵
《2003'全国软件与应用学术会议》
|
2003年
摘要:
GQM(Goal-Question-Metric)模型是一种面向目标的定义度量的方法,在软件度量中被广泛采用.本文利用GQM方法,对CMM四级中的关键过程域"软件质量管理"过程域进行了研究,给出了三个度量目标并介绍了各度量目标下的问题和度量.
软件过程度量;
质量管理;
软件工程;
过程改进;
能力成熟度模型;
55.
一种改进的面向对象软件变化影响分析方法
周欣
;
黄璜
;
孙家骕
《2003'全国软件与应用学术会议》
|
2003年
摘要:
面向对象软件维护需要变化影响分析技术的支持.已有的分析方法侧重于分析被影响的实体,而忽略了影响的类型,因此,维护人员难以准确全面地了解变化影响.本文提出了一种改进的面向对象软件变化影响分析方法,该方法能够在变化执行之前分析其可能直接或间接影响的实体及影响的具体类型,为维护提供更有效的支持.
软件变化;
影响分析;
面向对象;
软件维护;
56.
基于度量的软件项目过程优化控制研究
徐如志
;
钱乐秋
;
张敬周
;
赵文耘
《2003'全国软件与应用学术会议》
|
2003年
摘要:
本文给出一个软件过程度量的过程模型,描述并分析了基于度量的软件过程跟踪和控制策略,在此基础上,结合实施CMM的软件工程实践,提出一个软件项目过程控制优化模型,并设计一个动态规划的软件项目过程控制优化算法.当项目的实际过程偏离计划轨道时,管理者可以利用本文给出的软件项目过程优化控制方法,基于项目的历史过程数据,迅速做出最佳的控制决策.上述方法集成于一家大型软件企业的项目管理系统的统计数据显示,本文给出的软件项目过程控制优化模型及算法,可有效地改善软件项目的过程控制能力,显著提高软件项目的成功率.
过程数据库;
过程控制;
软件开发;
过程度量;
57.
SPUML过程定义方法与原型系统的探讨
袁兆山
;
王珏
;
张国宁
;
李宏芒
;
李心科
《2003'全国软件与应用学术会议》
|
2003年
摘要:
作为软件过程技术研究的一个重要方面,软件过程定义有着其特殊的意义.以UML为基础,对UML进行扩展,使之能够更好地适应软件工程定义的需要,提出了SPUML作为软件过程定义的新方法,并且给出SPUML的语义模型以及相应的表示法.设计并实现了支持以上理论模型的原型系统Process Assistant.这个系统包括CMM Scheme库、过程定义、过程发布、过程监控等部分,结合了SPUML过程定义方法,为软件开发组织在进行过程定义时遇到的问题的解决提出了有效的途径.
软件过程;
过程定义;
原型系统;
软件工程;
58.
基于标准的适应性软件过程改进方法及其支持环境
吴明晖
;
应晶
;
黄晟盛
;
叶敏娇
《2003'全国软件与应用学术会议》
|
2003年
摘要:
软件的质量和生产效率很大程度上依赖于软件过程.在分析和集成CMM/CMMI、ISO/IEC 15504、Bootstrap和ISO 9001等相关软件过程评估和改进方法和标准的基础上,提出了一种基于标准的适应性软件过程改进方法MBASPI,并介绍了它的支持环境MBASPI/E的主要组成部分.通过大粒度的过程重用,运用软件过程建模语言来构造实际开发中的统一过程模型,并以此为载体,结合领域知识,通过过程模型的执行使得软件开发组织遵循一定的过程标准,从而自然地达到更高的能力成熟度,实现过程的连续改进.
过程改进;
建模语言;
工程环境;
软件质量;
软件工程;
59.
数据仓库项目的成本收益分析
陈军
;
许志庚
《2003'全国软件与应用学术会议》
|
2003年
摘要:
对数据仓库项目进行成本收益分析一直是让企业头疼的一个难题,而从成本预算、人员配备、项目风险等因素考虑,分析计算数据仓库项目的成本与收益是项目建设中必不可少的一环.本文分别从固定成本、风险成本、人力成本等方面阐述了数据仓库成本分析的主要内容,并介绍了如何分析数据仓库项目的有形收益和无形收益.
数据仓库;
项目管理;
成本收益分析;
60.
A UML-based Risk Analysis Approachfor Software Testing
《2003'全国软件与应用学术会议》
|
2003年
61.
UML建模及Together实现
肖逸军
;
肖文洁
;
黎明
《2003'全国软件与应用学术会议》
|
2003年
摘要:
文章首先介绍了UML建模的特点.紧接着,本文介绍了使用Together进行UML建模的特点.文章最后结合一个给定的实例,描述了如何使用Together进行UML建模.
UML;
软件工程;
设计模式;
建模语言;
建模工具;
62.
基于过程评估和基线测试的软件过程改进研究
罗兵
;
张卫红
;
陈英武
《2003'全国软件与应用学术会议》
|
2003年
摘要:
在软件企业的过程改进中,初始的过程评估能够得到开发组织的定性数据,这也成为SEI的IDEAL改进模型指导组织过程改进的起点,然而,仅有这些定性数据还不足以计划、控制改进过程.本文提出了结合过程评估和基线测试的方法,通过综合定性、定量数据,使管理人员和过程改进人员能够更全面的获得相关的过程信息,并利用所取得的信息对改进过程分析和监控,从而促进软件过程的改进.
过程评估;
基线测试;
过程改进;
IDEAL模型;
软件开发;
63.
UML2.0的发展历程及特征
徐小平
;
董威
;
齐治昌
《2003'全国软件与应用学术会议》
|
2003年
摘要:
目前UML已经得到了学术界和工业界的广泛认可和使用.随着软件技术的发展,UML 1.x系列版本不断暴露出一些不足之处.不久前颁布的UML 2.0对先前版本进行了修订,是UML发展进程中的一个巨大飞跃.本文简要回顾了UML的产生及发展历程,分析了UML 1.x的缺陷,着重介绍了UML 2.0的4层元模型分层结构、对基于构件的软件开发和模型驱动体系的支持等特征.
UML;
模型驱动体系;
建模语言;
软件开发;
分层结构;
64.
基于混沌模型的软件开发框架(CBFSD)
陈羡
;
吴明晖
;
应晶
《2003'全国软件与应用学术会议》
|
2003年
摘要:
在当今的软件开发过程中,我们需要考虑的重点是如何将软件项目的组织调度和具体代码的编写联系在一起.软件开发的混沌模型对此给出了理论性的描述.本文将混沌模型的理论思想引入软件体系结构的研究中,提出新的软件开发框架CBFSD,将软件开发过程划分为任务层、代码层和构件层三个层面,而构件层体系结构的建立是整个框架的核心问题.在此框架中,我们采用体现混沌开发策略——最重要问题优先的开发策略和开发环境,使其更适合于设计和开发复杂的软件系统.
混沌模型;
构件层;
软件开发;
体系结构;
65.
一个Web服务事务处理模型:结构、算法和事务补偿
唐飞龙
;
李明禄
;
曹健
《2003'全国软件与应用学术会议》
|
2003年
摘要:
事务处理是Web服务能否用于电子商务的关键技术之一.Web服务事务处理技术必须提供协调短时操作和长时间的商业活动的能力.本文提出了一个能够同时处理原子事务和聚合事务的事务处理模型,研究了其协调算法、状态转换及恢复机制.聚合事务允许候选者独立提交,并使用补偿事务来撤销已提交的子事务,使得该模型可以较好地适应Web服务环境下对长事务的处理要求.补偿事务的产生和执行过程对用户透明.
Web服务;
原子事务;
聚合事务;
补偿事务;
事务处理;
电子商务;
66.
基于Web Services的青鸟电子政务支撑平台
邓海清
;
张世琨
;
王立福
《2003'全国软件与应用学术会议》
|
2003年
摘要:
解决电子政务应用软件开发效率和质量已成为政府信息化工程的当务之急,青鸟电子政务支撑平台正是为了有效地提高电子政务应用软件的开发效率和软件质量而开发的一个软件平台,它提供了一系列工具和运行时组件,为电子政务应用系统的开发、部署和运行提供支撑.青鸟电子政务支撑平台基于Web Services技术,充分利用Web Services组件化、松散耦合、自描述、自包含等特点,达到了平台无关、易扩展、高度复用、高度开放等目标,满足了电子政务的相应需求.本文首先对Web Services技术进行了描述,然后详细介绍了基于Web Services技术的青鸟电子政务支撑平台,并分析了该平台的若干特性,最后我们给出了它的应用实例.
电子政务;
工作流管理;
中间件;
Web服务;
应用软件;
软件开发;
67.
GIS Web服务的研究
安杨
;
赵波
《2003'全国软件与应用学术会议》
|
2003年
摘要:
传统的GIS系统由于其封闭的体系结构,缺少互操作、重用性和灵活性,已经不适合现在分布式异构的网络环境.Web服务的兴起为解决传统的GIS问题提供了一个新的方向.本文从Web服务入手探讨GIS Web服务的理论和关键技术,并提出分布式GIS Web服务的体系结构,以及利用元数据对GIS Web服务进行管理.
Web服务;
组件;
元数据;
地理信息系统;
体系结构;
组件技术;
68.
网格中的个人信息化
金亮
;
童维勤
;
黄薇
;
宗宇伟
《2003'全国软件与应用学术会议》
|
2003年
摘要:
当前网格是以特殊背景为主的专业化网格,用户明确知识网格中有哪些服务,怎么使用这些服务.然而,随着网格的不断发展,网格中服务的膨胀将是不可避免的趋势.如何让用户能够快速的找到适合的服务,将是未来网格使用过程中急需解决的关键问题.本文使用PIPE方法学,对网格服务信息空间进行建模,并根据用户的需求预处理(预筛选)网格中的服务,从而达到网格服务个人信息化的目的.同时,在个人信息化基础上,本文探讨了网格中虚拟组织的建设,并给出了相关的定义,以及动态生成的过程描述.
个人信息化;
虚拟组织;
网格;
部分计值;
69.
基于消息总线体系结构的分布式工作流建模与仿真
易君
《2003'全国软件与应用学术会议》
|
2003年
摘要:
本文提出了一种基于消息总线的协同式工作流建模系统体系结构,这种协作的建模方式能适应复杂业务流程的建模需要.为了保证模型的正确性,采用形式化语言来描述工作流模型,并提出了一种基于形式化推导规则的建模方法.最后为了逼真准确的模拟实际的分布式工作流运行环境,本文提出了一个基于消息总线的工作流仿真系统体系结构.
消息总线;
工作流;
建模方法;
软件总线;
体系结构;
仿真系统;
70.
服务网格及其应用技术的研究
唐飞龙
;
李明禄
;
曹健
《2003'全国软件与应用学术会议》
|
2003年
摘要:
网格资源的极端异构性以及来自电子商务领域不断增长的需求导致了服务网格的产生和发展,其标准和规范是开放网格服务体系结构(OGSA).本文分析了OGSA的思想、标准接口和关键技术,设计了一个基于OGSA的交通信息查询系统框架,研究了服务网格中服务的发现、创建、调用和生命期管理.最后,我们提出了一个用于服务网格的安全解决方案.
服务网格;
网格计算;
体系结构;
标准接口;
安全机制;
71.
C++中Namespace概念的逆向分析——构件化程序设计支持
樊平
;
刘超
《2003'全国软件与应用学术会议》
|
2003年
摘要:
本文主要论述了C++引入名字空间后在接口封装手段上的变化,这类变化为构件化的程序设计提供了基础支持.基于对这些变化的理解,本文简要介绍了新的提取出程序的逻辑和物理结构的逆向分析工具.同时为了辅助软件的设计开发人员充分利用这些程序结构信息对原来的实现进行再工程,本文给出了衡量程序构件化程度的评价标准和指导再工程的一些基本方法.
名字空间;
构件化;
程序设计;
C语言;
接口封装;
逆向分析;
72.
基于移动代理的对等网系统
任爱华
;
孙云峰
;
任发科
《2003'全国软件与应用学术会议》
|
2003年
摘要:
对等网(P2P)是互联网应用研究的新方向,它为互联网的多种应用提供了新的理念.但现有的P2P系统都存在共享粒度过大,对新应用可扩展性差等局限.移动代理(Mobile Agent)具有良好的自主性和移动性,为上述局限提供了很好的解决方案.本文提出了一种基于Mobile Agent的P2P系统——JXTAglets,为利用互联网上的计算资源提供了简单的编程模型和健壮的基础架构.
对等网;
移动代理;
资源共享;
互联网;
73.
基于Gatekeeper的重定向网关的研究与实现
王斌
;
吕卫锋
《2003'全国软件与应用学术会议》
|
2003年
摘要:
本文通过对H.323协议控制信令和连接建立过程的分析,对基于Gatekeeper的重定向网关的体系结构进行了研究,并实现了重定向网关与H.323终端之间的无缝连接.通过此重定向网关,H.323终端能够很好的接入其他多媒体会议系统,进行音视频数据和控制信息的互通.
重定向网关;
视频会议;
体系结构;
通信协议;
多媒体通信;
74.
面向活动的信息系统建模和分析
易利军
;
金芝
《2003'全国软件与应用学术会议》
|
2003年
摘要:
本文在基于本体的信息系统需求获取的基础上,提出一种从应用描述出发的信息系统活动建模和分析技术,主要思想是,从通过由领域本体捕获的应用系统的关于活动和资源的描述出发,自动构建出用Petri网表示的过程模型,并利用Petri网的基本性质,分析该过程模型的合理性.
过程模型;
软件工程;
信息系统;
需求获取;
Petri网;
领域本体;
75.
λ演算与微处理器形式验证
陈钢
《2003'全国软件与应用学术会议》
|
2003年
摘要:
现代集成电路设计不但是一项软件工程,而且是一项证明工程.不断增长的集成电路复杂性迫使各芯片公司引入形式化方法进行芯片正确性证明.在这些证明工程中,以λ演算为基础的证明系统起着不可忽视的作用.本文将综述这些证明系统在微处理器形式验证中的应用情况.
λ演算;
类型理论;
形式验证;
硬件设计;
微处理器;
集成电路;
76.
软件配置管理中的过程柔性配置技术
牟玉洁
;
张申生
;
曹健
;
张晓光
《2003'全国软件与应用学术会议》
|
2003年
摘要:
软件配置管理是软件过程中的重要因素,包括软件产品的柔性配置管理和软件过程的柔性配置管理两部分,而当前配置管理系统对后者支持不足.本文分析软件配置管理的现状和特点,提出通过可重用过程元件及其装配技术实现软件过程柔性配置.文中着重讨论过程元件定义,过程元件装配以及软件产品与生产过程集成配置技术.结尾部分给出了按照本文思想建立的软件过程管理系统框架和运行实例.
软件配置管理;
过程管理;
软件开发;
过程配置;
77.
支持过程改进的软件度量技术
邢大红
;
刘宗田
;
李心科
;
许东
;
朱斌
《2003'全国软件与应用学术会议》
|
2003年
摘要:
随着软件工程研究和实践的深入,引入CMM提高软件企业过程能力是软件企业提高软件质量的最佳途径之一已成共识.定量化的软件度量可以为过程的评估和改进提供依据.鉴于目前我国软件企业在软件生产过程很少实施度量活动的现状,本文在GQM(Goal-Question-Metric)度量模型的基础上,提出了细化改进的GQAM(Guestion-Attribute-Metric)模型,解决了软件过程度量过于抽象,且难以实施的问题.目前产品度量没有统一有效的指标体系,本文特别给出了我们研究和改进的过程产品度量指标,并阐述了度量实施技术,良好定义的度量的应用,为管理者有效地预测和控制软件项目过程提供了依据.
过程改进;
软件度量;
软件工程;
过程管理;
78.
UML中衍型的精确定义与分析
蒋严冰
;
邵维忠
;
张路
;
麻志毅
《2003'全国软件与应用学术会议》
|
2003年
摘要:
UML规范对于衍型这种扩展机制描述的不够清晰和严格,常被用户和研究者误用,并且也无法很好地支持可扩展的建模工具的开发.本文精确地定义UML中的衍型以及衍型之间的关系,在此基础上定义衍型与元模型之间的转化并提出运用衍型的指导规则,使得UML衍型的使用者能够更深入地理解这种扩展机制,并为支持衍型的建模工具的开发提供可靠的理论基础.
UML;
衍型;
形式化;
语法;
语义;
建模语言;
软件工程;
79.
基于度量的软件过程改进
邬惠峰
;
应晶
;
吴明晖
《2003'全国软件与应用学术会议》
|
2003年
摘要:
在软件开发中引入过程思想在一定程度上解决了"软件危机"问题,软件质量取决于开发和维护它的过程质量,因此为了提高软件质量必须改进开发和维护它的过程.软件测量是软件过程改进的前提.测量所得信息为管理者提供了监测和控制过程执行的依据.度量是软件测量的基础,它严格定义了测量的内容和过程,使用度量可以保证测量的准确性和可靠性,因此度量信息是过程改进能否成功的关键.
软件过程;
软件测量;
软件度量;
过程改进;
软件开发;
80.
基于TCP/IP协议栈的操作系统鉴别技术
田野
;
赵保华
《2003'全国软件与应用学术会议》
|
2003年
摘要:
每一种具有网络功能的操作系统都要实现TCP/IP协议.根据不同的操作系统实现TCP/IP协议的不同细节,我们可以获取关于该操作系统类别的信息.本文概括介绍了当前主要的操作系统鉴别技术,并对某些鉴别机制提出了改进或扩充.
操作系统;
通信协议;
鉴别技术;
81.
TIBS应用框架的概念设计
肖玲燕
;
胡文蕙
;
王立福
《2003'全国软件与应用学术会议》
|
2003年
摘要:
框架是一种大粒度的系统级可复用资源,它着重于设计复用.本文结合电信综合营业系统(Telecommunication Integrated Business System,TIBS)框架的概念设计,给出了一个基于构件技术的电信综合营业系统的框架结构,并讨论了相关的集成机制.
软件复用;
构件框架;
电信综合营业系统;
应用软件;
软件框架;
82.
面向模型检验的UML状态机语义
周颖
;
郑国梁
;
李宣东
《2003'全国软件与应用学术会议》
|
2003年
摘要:
UML状态机(SM)是UML中用来对系统各种元素的离散行为建模的图.它丰富的表示符号提供了强大的描述机制,但也降低了其结构的模块性,提高了对其分析验证的难度.模型检验是自动检验有限状态并发系统的技术.通过模型检验SM描述的不同系统元素的行为是否满足某些性质,能尽早发现设计中的错误.为了将模型检验技术应用于SM的验证,本文用kripke结构定义SM的操作语义.与已有的SM语义定义不同,本文考虑到了SM中包含的不确定因素,用kripke结构描述系统所有可能的演化轨迹.通过检验从SM翻译得到的kripke结构达到模型检验SM的目的.
UML;
操作语义;
Kripke结构;
模型检验;
建模语言;
状态机;
软件工程;
83.
基于JMX的网络管理系统
许博义
;
方兰
;
孔桂兰
《2003'全国软件与应用学术会议》
|
2003年
摘要:
本文简单介绍了JMX规范,在此基础上,讨论了使用JMX体系结构建立网络管理程序的一般方法,最后结合JMX规范和实现方法,分析基于JMX网络管理系统的优势.
网络管理;
JMX规范;
智能代理;
84.
基于WEB服务的动态电子商务体系架构
韩华军
;
叶少珍
《2003'全国软件与应用学术会议》
|
2003年
摘要:
简要介绍了web服务技术,提出了基于web服务的动态电子商务体系结构.这种体系结构以web服务作为系统基本组件,适合于构造分布式,开放的,动态的电子商务集成系统,能有效解决电子商务中的动态集成问题和商务应用互操作问题.
电子商务;
体系结构;
动态集成;
互联网;
85.
支持管理在线构件的构件基本描述模型
潘颖
;
刘洋
;
谢冰
;
杨芙清
《2003'全国软件与应用学术会议》
|
2003年
摘要:
在构件管理中,构件描述起着非常重要的作用随着构件技术的发展和网络技术的发展,在线服务构件日益增多,为了支持对在线构件的管理,急需一种能描述在线构件和离线构件的基本模型.本文提出了一种支持管理在线构件的构件基本描述模型(BCDM).该模型以BIDM为基础,扩展了其结构,增加了管理在线服务构件所需的必要特性的描述,可以有效地支持对在线构件的描述与管理,并为构件库之间的互操作奠定了基础.
构件库;
描述模型;
在线服务构件;
构件管理;
软件工程;
86.
特定领域软件框架的提取方法研究
吴毅坚
;
赵文耘
《2003'全国软件与应用学术会议》
|
2003年
摘要:
本文通过对软件开发集成和硬件生产的类比,提出了一种通过分析传统业务流程、建立简单应用框架并从简单的框架泛化为领域通用软件框架的思路和设计方法.该方法采用诸如识别核心业务流程和周边业务流程、简化和规范化传统业务流程以及从功能单一的应用框架进行领域扩展等过程,从设计简单而有效的软件框架入手,通过具体的应用提取该领域的软件框架.文章最后简要介绍了该方法应用于简单事业财务会计领域的软件设计,并对今后该应用软件框架向领域扩展进行了探讨.
软件框架;
领域工程;
软件开发;
软件复用;
提取方法;
87.
复合构件的组装方式及性质研究
费玉奎
;
王志坚
;
艾萍
《2003'全国软件与应用学术会议》
|
2003年
摘要:
构件组装是CBSD技术中的核心.技术以Petri理论为基础,从微观角度出发,对构件组装方式及所生成的复合构件所具有的性质进行了研究.指出组装操作具备完全行为不变性和完全状态不变性,给出了判定复合构件可靠性的方法.
Petri网;
复合构件;
可靠性;
软件开发;
组装方式;
88.
领域软件构件柔性组装基础研究
艾萍
;
王志坚
《2003'全国软件与应用学术会议》
|
2003年
摘要:
特定领域的计算机应用系统已经成为该领域业务系统的重要组成部分.但是,将当前软件构件研究成果直接应用于特定领域还很困难,原因是针对领域应用特点而进行的构件组装研究还不够充分.在对概念构件、领域构件、应用框架、构件的行为、构件的柔性及柔性组装等基本概念进行深入分析与明确定义的基础上,阐明了领域构件的柔性组装的技术基础.
软件构件;
柔性组装;
领域构件;
软件开发;
89.
一个基于构件的非线性软件开发模型
彭玉军
;
陈家骏
《2003'全国软件与应用学术会议》
|
2003年
摘要:
本文提出了一个基于构件的非线性软件开发模型框架.分析了该模型相关的知识和技术背景,并详细介绍了模型相关的概念和定义,给出了软件开发的线性与非线性的划分.结合人力资源与构件库,借用有关的数学工具建立了该模型的核心,拟合矩.通过拟合矩,把开发流在构件库中联结起来,并把开发流分为外部开发流和内部开发流,体现了该模型的非线性.利用变换的概念,模型保证了构件库和拟合矩的动态性.此模型较好地实现了软件开发各阶段的一致性,能够对覆盖企业范围的统一开发过程进行控制和管理.
软件工程;
构件技术;
软件复用;
软件开发模型;
90.
基于复用的软件开发过程和方法研究
张英俊
;
王莉
;
余雪丽
《2003'全国软件与应用学术会议》
|
2003年
摘要:
为了提高软件的开发效率和质量,本文从软件复用的概念和发展入手,结合软件体系结构的思想和研究成果,介绍了一些基于复用的软件开发方法和过程.
软件复用;
体系结构;
CBSD;
ABC;
软件开发;
构件组装;
91.
企业信息资源管理平台构件化开发技术研究
王福刚
;
徐如志
;
梁志海
;
周毅
《2003'全国软件与应用学术会议》
|
2003年
摘要:
针对企业对多种异构信息资源的综合管理需求,本文以开放应用构件框架为基础,为系统应用创建可扩展的系统刻面并提供时代码自动生成机制的支持,同时结合分布式面向对象技术,实现规模化开发和灵活实施的集群部署机制.这种应用解决机制,可有效提高系统的开发效率和软件复用度,降低系统扩展应用对系统本身稳定性带来的冲击,提高企业对复合资源管理的综合能力和信息挖掘能力.
集群部署;
企业应用集成;
软件开发;
构件框架;
面向对象技术;
92.
构件化企业客户资源分析器模型
贾泂
;
陈建明
;
陈中育
《2003'全国软件与应用学术会议》
|
2003年
摘要:
在详细介绍构件技术的基础上,提出了一个基于构件技术适合于各种不同领域的企业应用软件开发的开发模型,并加以讨论,最后描述了构件化企业资源分析系统的实现.
企业客户资源分析器;
软件开发模型;
构件技术;
应用软件;
93.
面向多视点的需求不一致优先级的合成
牟克典
;
金芝
;
陆汝钤
《2003'全国软件与应用学术会议》
|
2003年
摘要:
设定需求优先级对于具有有限资源的软件项目来说具有重要意义.对于适合大型复杂系统开发的多视点方法来说,在各个视点中,不同的分析人员、领域知识、开发策略,特别是不同的利益观和风险评估分析原则,可能导致视点之间重叠需求优先级设置方面的不一致性.基于不同的优先级设定方法,在本文中我们分别讨论了视点合成中相应不一致性的管理策略.具体地,对于优先级别规模比较简单的情形,我们采用具有超协调特性的准布尔多值逻辑来表示需求的优先级,在视点合成中对不一致性采用容忍策略;另一方面,对于基于需求的价值、费用和风险的相对精确度量来设定优先级的情形,我们采用平均策略来确定重叠需求的价值、费用和风险,在视点合成中重新设定需求的优先级,从而解决需求优先级方面的不一致性.
需求工程;
需求优先级;
不一致性;
软件开发;
视点合成;
94.
支持软件生命周期的集成化需求信息模型
蒋丹东
;
曹健
;
张申生
《2003'全国软件与应用学术会议》
|
2003年
摘要:
在现代软件开发中,需求分析是软件生命周期的初始阶段,但又始终贯穿其中,处于特别重要的地位.同时,对于软件工程中的知识表达与集成的研究也开始受到更多关注.因此,本文提出一个新的思路,将本体论引入到需求工程领域中来.在本文中,首先阐述了需求阶段的特点,以及本体论的作用,给出了本体及需求本体的定义.然后,分析了支持软件生命周期的集成化需求信息模型的构成,列举了需求本体的核心词汇.在此基础上,构造了软件系统的需求模型,进行了形式化分析.最后,详细讨论了需求追踪模型,并给出一个模型的实例.
需求信息模型;
需求本体;
需求追踪;
软件生命周期;
软件开发;
形式化分析;
95.
一种支持用户界面自动生成的需求描述
夏冰冰
;
卢雷
《2003'全国软件与应用学术会议》
|
2003年
摘要:
利用面向对象软件工程方法表达用户界面需求一直没有完善的解决方案,从这一问题出发,本文给出了一种支持用户界面自动生成的需求描述,扩展了UML中的用例模型,结合面向对象方法和数据流图等手段,在需求分析阶段利用复合用例图,使用户可以对于界面的需求进行描述,支持具体的用户界面的自动生成.
复合用例;
用户界面;
自动生成;
需求描述;
软件工程;
面向对象技术;
96.
基于本体的动态信息收集Agent
李建清
;
刘升平
;
林作铨
《2003'全国软件与应用学术会议》
|
2003年
摘要:
本文设计并实现了一个基于本体的动态信息收集Agent系统,该系统基于本体知识对文档进行领域本体分类和规范用户的检索请求,对信息收集的结果进行主题相关的链接分析,抽取出信息源组织结构知识,并根据获取的知识控制系统搜索策略,能够有效地处理动态信息收集.
信息检索;
知识本体;
信息收集;
软件Agent;
97.
中文计算语言学信息中心的实现
李芳
;
盛焕烨
;
张冬茉
;
姚天妨
;
徐飞玉
《2003'全国软件与应用学术会议》
|
2003年
摘要:
本文首先介绍了中文计算语言学虚拟信息中心研究的背景和目的,然后详细叙述了其实现的方法.主要特点是利用基于WEB数据库技术来实现虚拟的信息集中管理,通过互连网实现分布式存取;提供了计算语言学领域基于不同实体的信息查询方法,实现信息、资源的共享;自动超连接的实现,提供给用户一个基于领域的全面,相关的信息视图.
计算语言学;
数据库;
虚拟信息中心;
互联网;
信息查询;
98.
中小型软件企业知识管理的初探
刘宽宏
;
殷人昆
《2003'全国软件与应用学术会议》
|
2003年
摘要:
越来越多的软件企业认识到员工的知识是企业最有价值的资产,企业的核心竞争力也由此体现.文章首先分析了我国中小型软件企业实施知识管理的必要性,并提出了一个适用于中小型软件企业的知识管理体系;然后说明了知识管理与CMM的关系,并给出了知识管理与软件过程管理的结合模型;最后介绍了一个软件企业知识管理系统的模型框架及其系统架构.
CMM;
知识管理;
过程管理;
软件企业;
能力成熟度模型;
99.
软件开发中风险分析技术的研究与应用
李云辉
;
吴超英
;
刘又诚
《2003'全国软件与应用学术会议》
|
2003年
摘要:
软件风险分析是风险管理中的重要一环.本文以贯穿项目开发生命周期全过程的风险管理为背景,介绍了风险分析的一般工作流程,重点讨论风险分析中的主要活动,包括风险项的分析、风险分类、风险项属性评估以及风险优先级评估.在讨论风险项属性的同时对传统的风险计算公式提出了改进,增强了其对复杂风险的处理能力.在讨论风险分析活动的同时还介绍和分析了可用于其中的多种方法、技术和工具.最后,给出了一个基于WEB的风险管理应用模型并分析了其中的风险分析部分的实现.
风险管理;
风险分析;
软件开发;
100.
面向软件过程的成本管理系统
陈洪涛
;
曹健
;
张申生
《2003'全国软件与应用学术会议》
|
2003年
摘要:
基于工作流管理系统、使用作业成本法(Activity Based Costing)提出建立面向软件过程的成本管理系统的方法.介绍了作业成本法的原理、方法,提出以框架活动作为作业成本法与软件过程管理结合点的观点,建立了系统的概念数据模型,并提供了将其用于软件成本估算的样表.
成本管理;
软件过程;
作业成本法;
软件开发;
工作流;
上一页
1
2
下一页
意见反馈
回到顶部
回到首页