搜索到 篇“ 软件形式化 “的相关文章

相关作者

王新苏
作品数：3被引量：3H指数：1
供职机构：中国科学技术大学计算机科学与技术学院
研究主题：形式化方法 RUP 软件形式化 形式化语言 形式化规范
钱春花
作品数：34被引量：55H指数：3
供职机构：苏州农业职业技术学院
研究主题：物联网技术 校企合作 互联网 系统设计 校园文化
李明楚
作品数：94被引量：221H指数：7
供职机构：大连理工大学
研究主题：网格 启发式算法 NP-难解 网格计算 智能手机
吕建
作品数：411被引量：1,924H指数：24
供职机构：南京大学
研究主题：移动AGENT 面向对象 软件开发 INTERNET 软件体系结构
肖蕾
作品数：31被引量：51H指数：5
供职机构：厦门理工学院
研究主题：抓取 日志 运行环境 应用程序 测试用例优先级