马力 孙公达 刘福杰 车向泉 邓延军 何晓宇 郑文可 石磊 吴安军 张强 陈静玉

形式描述 前台 面向对象 MBean GDMO 框架设计 管理应用模块 EC IO自动机 持续改进 面向对象设计 管理对象 组通信系统 扩展虚拟同步 网络环境 电信管理网 板极支持包 数据管理 设计模式 电子秤 管理信息系统 软件度量 通信协仪 数据控件 嵌入式系统 串行通信控制器 软件开发过程 组件对象模式 POS系统 形式验证

西安电子科技大学 西安电子科技大学软件工程研究所 西安电子科技大学软件所 西安电子科技大学计算机科学与技术学院