用于描述软件体系结构的算子集的性质和运算被引量：4

The Properties and Operators of a Software Architecture Operator Set

下载PDF

导出

摘要文章深入地阐述了用于描述软件体系结构的算子集的基本性质和结合运算,推导了关于算子性质的若干推论。 This paper describes the properties and op er ators of a Software Architecture operator set deeply,and finally deduces some corollaries on an operator set.

作者刘海青李晖郑鹏

机构地区武汉大学计算机学院

出处《计算机工程与应用》 CSCD 北大核心 2003年第17期87-88,共2页 Computer Engineering and Applications

基金武汉大学青年科学基金

关键词软件体系结构算子结合运算 Software Architecture,Operators,com bined operators

分类号 TP31 [自动化与计算机技术—计算机软件与理论]

引文网络
相关文献

参考文献7

1刘海青,李晖.一种描述软件体系结构的算子[J].计算机工程与应用,2002,38(17):73-74. 被引量：6
2Daniel I A Cohen.Introduction To Computer Theory[M].John Wiley & Sons Inc, 1986.
3Martin D D.Fundamentals of Theoretical Computer Science[M]Academic Press, 1983.
4Kurt M.Fundamentals of the Computing Sciences[M]Prentice-Hall Inc, 1978.
5Niklans.Algorithms+Data Structures=Progranm[M].Prentice-Hall Inc, 1976.
6Zohar M.Mathematical Theory of Computafion[M].McGraw-Hill Inc, 1974.
7William Ford,William Topp.Data Structures with C+[M] Prentice Hall, 1996.

共引文献5

1刘海青,胡祥.描述软件体系结构的算子集的性质研究[J].武汉大学学报（工学版）,2006,39(6):43-45.
2姬伟,吴信才,曹春香.国土资源数据中心动态目录树研究[J].测绘通报,2012(2):74-76. 被引量：8
3刘海青,李晖,郑鹏.软件体系结构算子及其分析与分解[J].武汉大学学报（工学版）,2002,35(6):77-80. 被引量：3
4刘海青,李晖,郑鹏.用于描述软件体系结构的算子集的链接运算[J].计算机工程与应用,2003,39(16):105-106. 被引量：2
5李晖,庄芸.软件体系结构的数学论域[J].武汉大学学报（工学版）,2003,36(4):107-110. 被引量：3

同被引文献11

1庄芸李晖.软件体系结构的数学描述.计算机应用研究,2005,22(2):492-493.
2BROY M. Towards a formal foundation of the specification and descriiption language SDL[ J]. Formal Aspects of Computing, 1991,3 (1) :21-57.
3HAREL D. Statecharts: a visul formalism for complex systems [ J ]. Science of Computer Programming,1987,8(5) :231-274.
4van der BEECK M. h comparison of state charts variants[J]. Formal Techniques in Real Time and Fault-Tolerant Systems, 1994,5 (7) : 128-148.
5BROY M. Toward a mathematical foundation of software engineering methods[ J]. IEEE Trans on Software Engineering, 2001,27 ( 1 ) :41-57.
6李晖庄芸.软件体系结构层次模型.计算机应用研究,2003,20(4):181-182.
7刘海青,李晖.一种描述软件体系结构的算子[J].计算机工程与应用,2002,38(17):73-74. 被引量：6
8刘海青,李晖,郑鹏.软件体系结构算子及其分析与分解[J].武汉大学学报（工学版）,2002,35(6):77-80. 被引量：3
9袁梅冷,黄烟波,黄家林,翁艳彬.J2EE应用模型中MVC软件体系结构的研究与应用[J].计算机应用研究,2003,20(3):147-149. 被引量：60
10刘海青,李晖,郑鹏.用于描述软件体系结构的算子集的链接运算[J].计算机工程与应用,2003,39(16):105-106. 被引量：2

引证文献4

1LI Hui CHEN Shihong.Recursive Decomposition of Software Process[J].Wuhan University Journal of Natural Sciences,2009,14(2):143-147. 被引量：1
2李晖,陈世鸿.软件进程计算结构分析[J].计算机应用研究,2009,26(5):1733-1735.
3李晖,陈世鸿.软件进程图形表示算法[J].小型微型计算机系统,2009,30(5):863-867.
4李晖,庄芸.软件体系结构的数学论域[J].武汉大学学报（工学版）,2003,36(4):107-110. 被引量：3

二级引证文献3

1庄芸.软件进程分解的理论分析[J].武汉化工学院学报,2005,27(1):91-93.
2李晖,陈世鸿.软件进程计算结构分析[J].计算机应用研究,2009,26(5):1733-1735.
3庄芸,李晖.软件进程分解方法模式[J].武汉工程大学学报,2010,32(11):91-93. 被引量：1

1刘海青,胡祥.描述软件体系结构的算子集的性质研究[J].武汉大学学报（工学版）,2006,39(6):43-45.
2吕孟军,郭琪.RBFNN and rapid realization by DSP[J].电子测量技术,2008,31(1):153-155. 被引量：1
3刘海青,李晖,郑鹏.用于描述软件体系结构的算子集的链接运算[J].计算机工程与应用,2003,39(16):105-106. 被引量：2
4刘淑艳,史迎春,蔡小庆.信息系统中存在的安全隐患与防护策略分析[J].计算机光盘软件与应用,2013,16(10):96-97.
5黄友锐.基于模糊推理的自整定PID控制器[J].微计算机信息,2003,19(4):11-12. 被引量：4
6王艳华,蒋加伏.数据仓库技术[J].交通与计算机,1999,17(3):40-43. 被引量：6
7屠惠远.交叉算子的性质分析[J].武汉大学学报（理学版）,2005,51(S2):22-24. 被引量：2
8韩秀玲,王行愚.IPsec中密钥交换协议认证过程的研究及协议的改进[J].计算机工程与应用,2002,38(18):29-32. 被引量：9
9陈庆枝,郭文忠.国民经济第三产业发展的GEP演化建模与预测[J].中原工学院学报,2009,20(3):4-7.
10Steve Krig.PCI Express的先进特性[J].集成电路应用,2004,21(8):6-8.

计算机工程与应用

2003年第17期

浏览历史

内容加载中请稍等...

用于描述软件体系结构的算子集的性质和运算被引量：4

参考文献7

共引文献5

同被引文献11

引证文献4

二级引证文献3

相关作者

相关机构

相关主题

浏览历史

用于描述软件体系结构的算子集的性质和运算 被引量：4

参考文献7

共引文献5

同被引文献11

引证文献4

二级引证文献3

相关作者

相关机构

相关主题

浏览历史

用于描述软件体系结构的算子集的性质和运算被引量：4