论文论著 | [1] 吕嘉, 应晶, 吴明晖, 蒋涛,横切侵入性和横切不变性, 计算机研究与发展, 45(8), 2008: 1408-1416. [2] Jia Lv, Jing Ying, Minghui Wu and Jin CangHong, Crosscutting invariant and an efficient checking algorithm using program slicing, SIGPLAN Not., 43(2), 2008: 12-20. [3] Jia Lv, Jing Ying, Minghui Wu, Tao Jiang, Fanwei Zhu. Verifying Aspect-Oriented Programs Using Open Temporal Logic, SSIRI2009, IEEE Computer Society ISBN 978-0-7695-3758-0 . [4] 蒋涛,应晶,吴明晖,吕嘉. 一种面向特征增量的软件产品线分析方法[J]. 浙江大学学报, 43(12), 2009:2142-2148. [5] Fan-Wei Zhu, Ming-Hui Wu, Jia Lv and Jing Yin, A Novel Semantic Discovery Method Using Transaction Requirements in Database Reverse Engineering, ICIE, 2009: 561-564. [6] Minghui Wu, Fanwei Zhu, Jia Lv, Tao Jiang and Jing Ying, Improve Semantic Web Services Discovery through Similarity Search in Metric Space. TASE, 2009: 297-298. [7] Jia Lv, Minghui Wu, Multiple Behavior Contracts for JavaScript.iTAP, 2012. [8] Minghui Wu, Jia Lv, Designing JavaScript Objects by Type Extension. International Review on Computers and Software,2013. |
