金伟信 龚松杰 段本钦 赵国平 张云华 叶宏武

统一建摸语言 安全性分析 变异算子 对象约束语言 语义 计算量分析 Web服务 动态服务组合 规格变异 软件测试 本体 会议密钥分配

浙江纺织服装技术学院 浙江杭州 总参谋部第61研究所 总参谋部军事代表局 浙江工商职业技术学院信息工程分院 解放军理工大学通信工程学院 宁波城市职业技术学院 浙江理工大学