切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
一种自动的软件体系结构规约重写方法及工具支持
一种自动的软件体系结构规约重写方法及工具支持
来源 :江西师范大学学报:自然科学版 | 被引量 : 0次 | 上传用户:lszh123321
【摘 要】
:
在软件体系结构层次实施重构,能更好地提高软件的易维护性.该文提出了一种体系结构规约重写的策略描述方法,将体系结构重构转换为接口重构和实现体重构两部分,给出了接口规约重写
【作 者】
:
钟林辉
徐静
郑焱
叶茂盛
乐兵
【机 构】
:
江西师范大学计算机信息与工程学院,江西师范大学文学院
【出 处】
:
江西师范大学学报:自然科学版
【发表日期】
:
2008年2期
【关键词】
:
软件体系结构
规约重写
软件重构
software architecture specification rewrite software refactorin
【基金项目】
:
国家自然科学基金(60403015),江西省教育厅科技项目(2005[83]),江西师大博士启动基金资助项目.
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在软件体系结构层次实施重构,能更好地提高软件的易维护性.该文提出了一种体系结构规约重写的策略描述方法,将体系结构重构转换为接口重构和实现体重构两部分,给出了接口规约重写的基本操作,以及实现体规约重写的操作,并用策略描述语言对这些规则进行了描述和代码实现.
其他文献
白石水库工程建设中坝体及坝基防渗处理探讨
白石水库始建于1964年12月,1966年5月完工,经多次加固扩建后达现有规模。水库建成运行后为当地工农业生产和人民群众生活发挥了较大的经济效益和社会效益。但因历史的原因和投
期刊
水库工程
坝体防渗
坝基防渗
处理技术
无线传感器网络的多跳分簇路由算法建模与实现
该文从节点能量、数据延迟和链路负载等方面,分析了无线自组网中PEGASIS和ECMR这两种典型的路由算法各自的优缺点,提出了一种分布式的高效节能的多跳分簇算法.通过实验证明,该算
期刊
无线传感器网络
PEGASIS
ECMR
分簇
wireless sensor networks PEGASIS ECMR cluster
基于交叉相位调制波长转换的实验研究
对色散位移光纤中交叉相位调制效应(XPM)导致连续波产生频移进行了实验研究,并用光纤光栅滤波实现了波长转换.结果表明基于色散位移光纤中交叉相位调制效应的波长转换具有宽的
期刊
波长转换
交叉相位调制
光纤光栅
wavelength conversion XPM fiber grating
其他学术论文