[1]李伟 李长云.软件体系结构求精研究[J].计算机技术与发展,2008,(09):79-82.
　LI Wei,LI Chang-yun.Research on Software Architecture Refinement[J].,2008,(09):79-82.
点击复制

软件体系结构求精研究()
分享到：

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:
期数:
2008年09期
页码:
79-82
栏目:
智能、算法、系统工程
出版日期:
1900-01-01

文章信息/Info

Title:
Research on Software Architecture Refinement
文章编号:
1673-629X（2008）09-0079-04
作者:
李伟 李长云
湖南工业大学计算机与通信学院
Author(s):
LI Wei;  LI Chang-yun
College of Computer and Communication, Hunan University of Technology
关键词:
软件体系结构; 求精; 模型检测
Keywords:
software architecture ;  refinement ;  model checking
分类号:
TP311
文献标志码:
A
摘要:
为了保证软件质量，提高软件可靠性、可重用性和可维护性，软件体系结构这一概念自提出以来就得到广泛关注，成为软件工程的一项重要研究领域。软件体系结构求精作为体系结构从抽象到具体的形式化方法，连接了体系结构分析到具体实现之间的鸿沟，从而有效地保证了软件体系结构的层次性和可跟踪性。良好的软件体系结构求精方法使得软件开发自动化．加速软件产品的交付过程，降低软件成本，以及提高软件质量。针对体系结构求精研究的主要内容，较系统地阐述了几种体系结构求精分类方法，并对求精检测的相关内容作了介绍，最后是对体系结构求精以后工作的
Abstract:
In order to. improve the quality, reuse and maintenance of software, software architecture gradually becomes an important research field of software engine since it was presented. As a formal methocl from abstraction to concretion, architecture refinement

相似文献/References:

[1]郭广义 李代平 梅小虎.Z语言与软件体系结构风格的形式化[J].计算机技术与发展,2009,(05):140.
　GUO Guang-yi,LI Dai-ping,MEI Xiao-hu.Z Language and Formalization of Software Architecture Style[J].,2009,(09):140.
[2]丁静 韩强.随机Petri网性能计算软件关键技术的研究[J].计算机技术与发展,2009,(11):57.
　DING Jing,HAN Qiang.Study of Visualized Performance Computation Software Models for Stochastic Petri Net[J].,2009,(09):57.
[3]崔文凯 卢再奇.ATR信息处理的软件体系结构[J].计算机技术与发展,2009,(01):46.
　CUI Wen-kai,LU Zai-qi.Software Architecture of ATR Information Processing[J].,2009,(09):46.
[4]何频捷 李伟 李玉龙 李长云.软件体系结构中接口连接规则研究[J].计算机技术与发展,2008,(08):121.
　HE Pin-jie,LI Wei,LI Yu-long,et al.Research on Interface Connecting Rule in Software Architecture[J].,2008,(09):121.
[5]李玉龙 李长云.软件动态演化技术[J].计算机技术与发展,2008,(09):83.
　LI Yu-long,LI Chang-yun.Dynamic Evolution Technology of Software[J].,2008,(09):83.
[6]王一宾 刘奎 汪洋.软件体系结构研究与实践[J].计算机技术与发展,2007,(09):142.
　WANG Yi-bin,LIU Kui,WANG Yang.Research and Practice of Software Architecture[J].,2007,(09):142.
[7]方木云 戴小平.生物软件和种植生产的初步研究[J].计算机技术与发展,2007,(02):35.
　FANG Mu-yun,DAI Xiao-ping.A Rudimentary Study on Biology Software and Plant Development[J].,2007,(09):35.
[8]刘妮娜 周枫.基于用例和Z的一种软件体系结构建模的方法[J].计算机技术与发展,2012,(02):37.
　LIU Ni-na,ZHOU Feng.A Modeling Method of Software Architecture Based on Use Case and Z Specification[J].,2012,(09):37.
[9]赵会群 申宁.Web服务组合编辑器的设计与实现[J].计算机技术与发展,2012,(12):153.
　ZHAO Hui-qun,SHEN Ning.Design and Implementation of Web Services Composition Editor[J].,2012,(09):153.
[10]曾东海,陈国华.基于MVC模式的三维几何画板的设计[J].计算机技术与发展,2013,(12):240.
　ZENG Dong-hai[],CHEN Guo-hua[].Design of 3D Geometer's Sketchpad Based on MVC Mode[J].,2013,(09):240.

备注/Memo

备注/Memo:
国家自然科学基金资助项目（60773110）;湖南省教育厅优秀青年项目（06B023）;湖南省学位与研究生研究课题（06B28）;湖南工业大学博士基金资助项目李伟（1983-），女．河南沁阳人，硕士研究生，研究方向为软件体系结构；李长云，博士．教授，顶上生导师，主要研究方向为软件体系结构、软件自动化
更新日期/Last Update: 1900-01-01