Computer Science ›› 2017, Vol. 44 ›› Issue (3): 202-208.doi: 10.11896/j.issn.1002-137X.2017.03.043
Previous Articles Next Articles
HE Hai-yang, LI Qiang, YU Xiang and HAN Xiang-yu
[1] RAJLICH V.Software Evolution and Maintenance[C]∥on Future of Software Engineering:ACM,2014:133-144. [2] ZHANG H,ZHANG L,XU Q,et al.A formalized architecture-centric evolution process for component-based software system[C]∥IEEE Intelligent Control and Automation.2014:3461-3466. [3] XU J,XIAO G,ZHANG Y M,et al.Research on Component Be- havior Fragment Extraction and Composition Based on Logical Reasoning[J].Computer Science,2012,39(5):120-123.(in Chinese) 徐俊,肖刚,张元鸣,等.基于逻辑推理的构件行为片段提取与重组研究[J].计算机科学,2012,39(5):120-123. [4] SHEN L M,YANG H F,MA C,et al.Software Behavior Detection Method Based on Hierarchical Relation Analysis[J].Journal of Chinese Computer Systems,2014,35(9):1945-1955.(in Chinese) 申利民,杨慧锋,马川,等.基于层次关系分析的一种软件行为检测方法[J].小型微型计算机系统,2014,35(9):1949-1955. [5] PIERARD A,SUMII E.A higher-order distributed calculuswith name creation[C]∥IEEE Symposium on Logic in Compu-ter Science.2012:531-540. [6] JEFFREY A,RATHKE J.Contextuale quivalence for higher-order picalculus revisited[J].LMCS,2005,1:1-4. [7] WANG D,CHANG J S,ZHAO W B.Verification Model for Trust- worthiness of Interaction between Software Components with Picaculus[J].Journal of Frontiers of Computer Science and Technology,2012,6(5):419-429.(in Chinese) 王丹,常建生,赵文兵.使用Pi演算的构件交互可信性验证模型[J].计算机科学与探索,2012,6(5):419-429. [8] CHEN Z,ZHANG J,MIAO H,et al.A Formal Modeling For Component Behaviors Based on Event Track[Z].2010,3-116. [9] WEI W,TONG L.Component Behavior Modeling and Relativity Analysis[C]∥International Conference on Intelligent Computing and Cognitive Informatics.2010:218-222. [10] ZHENG F,HU H,JIAN L.Applying a Component BehaviorModel to MVC Pattern[C]∥International Conference for Young Computer Scientists,ICYCS 2008.Hunan,China, 2008:1106-1111. [11] HUACHENG Q I,RONG M,ZHANG G.A Behavior-DrivenModel of Component Interaction Adaptation[J].Computer Engineering & Applications,2009,5(21):156-159. [12] MA L,WU H G,WU G Q.Visualization of software behavior-oriented requirements model[J].Application Research of Computers,2015,32(8):2406-2409.(in Chinese) 马丽,吴怀广,毋国庆.面向软件行为的需求模型可视化研究[J].计算机应用研究,2015,32(8):2406-2409. [13] MA L,WU G Q,HUANG B,et al.Visualization Method of BDL Model to UML State Diagram[J].Computer Science,2015,42(7):38-43.(in Chinese) 马丽,毋国庆,黄勃,等.BDL模型到UML状态图的可视化方法研究[J].计算机科学,2015,42(7):38-43. |
No related articles found! |
|