搜索到 篇“ 软件规约 “的相关文章

相关作者

金芝
作品数：166被引量：1,223H指数：17
供职机构：北京大学信息科学技术学院高可信软件技术教育部重点实验室
研究主题：物联网 软件系统 环境本体 软件工程 存储介质
李智
作品数：28被引量：45H指数：4
供职机构：广西师范大学
研究主题：CASE 人机交互 用户需求 计算机辅助软件工程 信息物理融合系统
李未
作品数：175被引量：430H指数：11
供职机构：北京航空航天大学计算机学院
研究主题：人工智能 移动IP 移动IPV6 逻辑系统 超协调逻辑
薛锦云
作品数：136被引量：555H指数：13
供职机构：江西师范大学
研究主题：PAR方法 程序设计 形式化方法 循环不变式 PAR
怀进鹏
作品数：333被引量：1,856H指数：28
供职机构：中国科学院
研究主题：虚拟机 WEB服务 网格环境 数据库 网格