Computer Science ›› 2014, Vol. 41 ›› Issue (5): 190-195.doi: 10.11896/j.issn.1002-137X.2014.05.040
Previous Articles Next Articles
WU Xin-xing,HU Guo-sheng and CHEN Yi-xiang
| [1] Jeng J J,Cheng B H C．Specification Matching for Software Reuse:A Foundation[C]∥Proceedings of the ACM SIGSOFT Symposium on Software Reusability．Seattle,Washington,USA,1995:97-105 [2] 王志坚,费玉奎,娄渊清．软件构件技术及其应用[M]．北京:科学出版社,2005 [3] 张正,左春,王裕国,等．基于语义的领域构件接口名称匹配方法[J]．通信学报,2007,28(5):73-79 [4] Zaremski A M,Wing J M．Specification Mathcing of Software Components[C]∥ACM Transactions on Software Engineering and Methodology．1997,6:333-369 [5] Zaremski A M．Signature and Specification Mathching[D]．Carnegie Mellon University,1996 [6] Arbab F．Coordination for Component Composition[J]．Elec-tronic Notes in Theoretical Computer Science,2006,160:15-40 [7] He J F,Li X S,Liu Z M．Component-Based Software Engineering[C]∥Proceedings of ICTAC’ 2005．2005:70-95 [8] He J F,Li X S,Liu Z M．A Theory of Reactive Components[J]．Electronic Notes in Theoretical Computer Science,2006,160:173-195 [9] Ke W,Li X S,Liu Z M,et al．rCOS:A Formal Model-driven Engineering Method for Component-based Software[J]．Frontiers of Computer Science,2012,6(1):17-39 [10] Abdellatif T,Bensalem S,Combaz J,et al．Rigorous design of robot software:A formal component-based approach[J]．Robotics and Autonomous Systems,2012,60(12):1563-1578 [11] Farhad A,Peter C O．Formal Aspects of Component Software:8th International Symposium,FACS 2011,Oslo,Norway,September 14-16,2011,Revised Selected Papers[M]．Berlin,Heidelberg:Springer,2012 [12] Chen Z B,Liu Z M,Ravn A P,et al．Refinement and verification in component-based model-driven design[J]．Science of Compu-ter Programming,2009,74(4):168-196 [13] Zhan N J,Kang E Y,Liu Z M．Component Publications andCompositions[J]．Lecture Notes in Computer Science,2010,5713:238-257 [14] Lei B,Liu Z M,Morisset C,et al．State Based Robustness Testing for Components[J]．Electronic Notes in Theoretical Computer Science,2010,260(1):173-188 [15] 雷斌,王林章,卜磊,等．基于状态机模型的构件健壮性测试[J]．软件学报,2010,21(5):930-941 [16] 岳慧敏．基于语义描述的构件检索技术研究[D]．青岛:中国海洋大学,2012 [17] 周龙．基于相似度计算的构件匹配[D]．昆明:云南大学,2012 [18] Cheng B H C,Jeng J J．Reusing Analogous Components[J]．IEEE Transactions on Knowledge and Data Engineering,1997,9(2):341-349 [19] 马亮,孙家．基于规约匹配的构件检索[J]．小型微型计算机系统,2002,23(10):1153-1157 [20] 李文敬,元昌安,廖伟志．基于本体相似度的构件查询算法研究[J]．计算机工程与科学,2010,32(8):154-160 [21] 吴新星．基于语言的软件可信性度量理论及其应用[D]．上海:华东师范大学,2011 [22] Hoare C A R．Let’s Make Models(Abstract)[C]∥Proc．CONCUR′90,Lecture Notes in Computer Science．1990,458:32 [23] Hailperin T．Probability Logic[J]．Notre Dame Journal of Formal Logic,1984,25(3):198-212 [24] 王国俊,王伟．逻辑度量空间[J]．数学学报,2001,44(1):159-168 |
| No related articles found! |
|
||
Home