| [1] |
周波,曾一,陈恒鑫,刘慧君,杨燕宁. Web服务组合匹配框架研究[J]. 计算机工程, 2017, 43(1): 98-104. |
| [2] |
曾一, 刘青香, 王翠钦, 洪豪. 带OCL约束的多态路径测试线索生成方法[J]. 计算机工程, 2013, 39(8): 92-96,102. |
| [3] |
陈振庆. 基于时序描述逻辑的UML顺序图形式化方法[J]. 计算机工程, 2013, 39(3): 36-40. |
| [4] |
曾一, 丁娜, 邹明. 带OCL的活动图多态性测试用例生成方法[J]. 计算机工程, 2012, 38(10): 34-37. |
| [5] |
闵丽娟, 卢捍华, 王亚石. 智能开关照明控制系统中的上位机软件设计[J]. 计算机工程, 2011, 37(22): 290-292. |
| [6] |
张炜钟, 王智学, 赵文. 基于SysML的可执行体系结构框架[J]. 计算机工程, 2011, 37(22): 39-41. |
| [7] |
杨鹤标, 李云平. 基于UML活动图的功能测试场景生成方法[J]. 计算机工程, 2011, 37(21): 55-57. |
| [8] |
梁盟磊, 王小平, 薛小平, 李刚. 基于TLA的UML模型形式化验证[J]. 计算机工程, 2011, 37(2): 72-74. |
| [9] |
袁柯, 宋顺林, 姜自雷. 基于MDA与UML扩展的安全软件开发方法[J]. 计算机工程, 2011, 37(15): 110-112. |
| [10] |
陈振庆. 基于描述逻辑的带依赖属性UML类图[J]. 计算机工程, 2011, 37(15): 49-51. |
| [11] |
陈振庆, 罗兰花. 基于动态描述逻辑的UML状态图形式化方法[J]. 计算机工程, 2011, 37(13): 55-57,60. |
| [12] |
王涛, 金英, 张晶. 基于安全模式的软件安全设计方法[J]. 计算机工程, 2011, 37(12): 59-61. |
| [13] |
周 杰;宋克柱;曹 平;程伊敏. 高精度地震采集系统中的主控软件设计[J]. 计算机工程, 2010, 36(4): 229-232. |
| [14] |
王小龙;李 明. 基于SWRL元模型的本体公理建模方法[J]. 计算机工程, 2010, 36(2): 53-55. |
| [15] |
于斯文, 艾骏, 张译芙. 基于Agent的软件测试数据生成框架[J]. 计算机工程, 2010, 36(19): 44-46. |