|
1
|
基于可视化编程环境的软件测试 |
金义富
|
《华南理工大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
|
2002 |
8
|
|
|
2
|
CDDL:动态描述逻辑的不确定性扩展 |
吴涛
金义富
|
《计算机工程与科学》
CSCD
北大核心
|
2011 |
3
|
|
|
3
|
两层模式的PB应用向三层结构迁移的若干问题研究 |
金义富
|
《计算机工程》
CAS
CSCD
北大核心
|
2002 |
6
|
|
|
4
|
基于界面状态因果图的测试用例生成 |
金义富
杨学伟
陈传毅
|
《计算机工程与应用》
CSCD
北大核心
|
2003 |
0 |
|
|
5
|
P2P蠕虫遏制方法的研究与建模 |
洪伟铭
金义富
|
《计算机工程》
CAS
CSCD
北大核心
|
2011 |
0 |
|
|
6
|
基于HTTP的点对点数据链路协议BACnet/HTTP分析 |
梁莉
|
《湛江海洋大学学报》
|
2006 |
2
|
|
|
7
|
一种将CORBA应用封装为Web Services的方法 |
刘劲武
|
《重庆工学院学报》
|
2006 |
1
|
|
|
8
|
CORBA与Web Services的交互方法 |
刘劲武
|
《西安石油大学学报(自然科学版)》
CAS
|
2006 |
0 |
|
|
9
|
基于SRP-6协议的Web Services安全通信 |
刘劲武
陈峰
|
《重庆工学院学报》
|
2007 |
0 |
|