Computer Science ›› 2018, Vol. 45 ›› Issue (11A): 494-496.
• Software Engineering & Database Technology • Previous Articles Next Articles
LIU Kai1, LIANG Xin2, ZHANG Jun-ping3
CLC Number:
[1]宋太亮.设备综合保障实施指南[M].北京:国防工业出版社,2006. [2]赵盼.软件维护性综合评估技术[D].石家庄:军械工程学院,2003. [3]齐有忠,高军,黄勇.通用武器设备供应系统设计中的硬、软系统方法整合研究[J].军械工程学院学报,2003,15(4):42-47. [4]龚强,胡运权.论软系统方法与城市综合功能GIS建设[J].学术交流,2002(5):110-114. [5]中国国防科学技术报告:嵌入式软件可靠性仿真测试与验证技术的研究[R].北航可靠工程研究所,2000. [6]叶飞.软件供应保障技术与方法研究[D].石家庄:军械工程学院,2004. [7]孙凌宇,刘国买.项目风险分析中的软系统方法[J].职业圈:现代软科学,2006(2):82-84. [8]孙昌爱,金茂忠,刘超.软件体系结构研究综述[J].软件学报,2002,13(7):1228-1237. [9]李坤.面向领域的软件体系结构复用与演化[D].武汉:华中科技大学,2007. |
[1] | JIANG Hui-min, JIANG Zhe-yuan. Reference Model and Development Methodology for Enterprise Cloud Service Architecture [J]. Computer Science, 2021, 48(2): 13-22. |
[2] | ZHONG Lin-hui, FU Li-juan, YE Hai-tao, QI Jie, XU Jing. Study on Reverse Engineering Generation Method of Software Evolution History [J]. Computer Science, 2020, 47(11A): 549-556. |
[3] | NI You-cong, LI Song, YE Peng and DU Xin. Random Search Rule Based Performance Evolutionary Optimization Method at Software Architecture Level [J]. Computer Science, 2017, 44(11): 156-163. |
[4] | WANG Xun and WANG Yi-chen. Research Progress on Error Propagation Model in Software System [J]. Computer Science, 2016, 43(6): 1-9. |
[5] | XIE Zhong-wen, MING Li, LIN Ying, QIN Jiang-long, MO Qi and LI Tong. Consistency Analysis of Software Dynamic Evolution Based on Petri Net [J]. Computer Science, 2016, 43(11): 234-241. |
[6] | SU Shi-xiong and QI Jin-ping. Adaptive Software Architecture Framework Model [J]. Computer Science, 2015, 42(Z11): 486-489. |
[7] | CHEN Xiang-dong. Research on Architecture Reconfiguration of Dynamic Self-adaptive Software [J]. Computer Science, 2015, 42(6): 185-188. |
[8] | DU Xin, WANG Chun-yan, NI You-cong, YE Peng and XIAO Ru-liang. Rule-based Performance Optimization Model at Software Architecture Level [J]. Computer Science, 2015, 42(10): 189-192. |
[9] | XIE Zhong-wen,LI Xiao-yan,LI Tong,DAI Fei,YU Qian and ZHANG Xuan. Approach of Transformation from Requirements Models to Software Architecture Models [J]. Computer Science, 2014, 41(5): 196-203. |
[10] | . Validation Environment of Software Architecture Based on OCL [J]. Computer Science, 2012, 39(Z11): 409-414. |
[11] | . SMC/ADL:An Architecture Description Language for Hierarchical Component-based System [J]. Computer Science, 2012, 39(7): 127-131. |
[12] | XU Xian-liang,ZHANG Feng-ming,CHU Wen-kui. Safety-centered Architecture Design Method for IMA Software [J]. Computer Science, 2012, 39(3): 128-130. |
[13] | . Research on Embedded Software Dynamic Reconfigurable Technology Based on Mode [J]. Computer Science, 2012, 39(2): 179-182. |
[14] | . Formal Description Approach for Pointcut Designator at Software Architecture Level [J]. Computer Science, 2012, 39(1): 124-129. |
[15] | REN Hong-min,LIU Jin. Research on Software Architecture Consistency Analysis Based on π Calculus [J]. Computer Science, 2011, 38(4): 196-198. |
|