|
[1]赵洋;徐晓刚;张功萱;张容;.可信软件代码中程序标注的使用及类型验证[J]武汉大学学报(信息科学版).2010,(05)
|
|
[2]赵洋,黄春浩,吕波,潘金贵.询问-回答模式下层次式程序表示模型的构建方法[J]计算机工程与应用.2003,(28)
|
|
[3]蔡志旻,赵洋,潘捷,潘金贵.基于询问-回答模式的对象控制模型的实现[J]计算机工程.2003,(02)
|
|
[4]罗杰,贾志勇,赵洋,姜峰,谢俊元.基于第三方的移动Agent安全模型[J]计算机工程.2003,(15)
|
|
[5]吕波,赵洋,蔡志旻,潘金贵.基于EPOM的扩展程序参考模型[J]计算机工程.2003,(17)
|
|
[6]黄春浩,赵洋,蔡志旻,潘金贵.程序静态分析中的双重模型策略[J]计算机应用研究.2003,(10)
|
|
[7]丁炎炎,赵洋,蔡志旻,潘金贵.程序复杂度度量系统pgrmetrics的设计与实现[J]计算机应用研究.2004,(01)
|
|
[8]潘捷,蔡志旻,赵洋,潘金贵.一个统一的异构对象持久化框架[J]计算机工程.2004,(18)
|
|
[9]赵洋,蔡志旻,潘金贵.基于EPOM的程序可视化表示系统的设计与实现[J]计算机工程.2002,(07)
|
|
更多
|