朱文球 杨路明 孙军梅 缪淮扣 彭国星 贾峰 肖小克 满君丰 曹春丽 胡纯蓉 李长云

现代分布式软件 Object-Z 本科教育 面向服务的体系结构 软件工程 ZEVES 算法设计 软件体系结构风格 行为可信 行为子类型 形式化 证明责任 面向对象 无限隐Markov模型 教学改革 行为分析 双语教学 态势预测 形式验证 教学模式 课程体系

湖南工业大学计算机与通信学院 湖南工业大学商学院 杭州师范学院信息工程学院 上海大学计算机工程与科学学院 中南大学信息科学与工程学院