位置：立项数据库 > 立项详情页
网络计算环境的程序设计理论及关键技术
  • 项目名称：网络计算环境的程序设计理论及关键技术
  • 项目类别：重大研究计划
  • 批准号：90612009
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：王戟
  • 依托单位：中国人民解放军国防科学技术大学
  • 批准年度：2006
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 10
  • 0
  • 0
  • 0
  • 0
期刊论文
面向服务软件体系结构的接口模型
A Programming Language Approach to Internet-Based Virtual Computing Environment
并发反应式系统的组合模型检验与组合精化检验
基于Game理论的μ-演算公理化
融合描述文档结构和参引特征的Web服务发现
利用复杂网络分析方法研究基因本体隐藏结构信息（英文）
Demand-Driven Memory Leak Detection Based on Flow- and Context-Sensitive Pointer Analysis
一种软件部署冲突检测及其自动调整算法
基于减少语义标注偏差的语义Web服务发现（英文）
关于角色的表示研究
王戟的项目
第1届CUE会议
实时系统的软件可靠性测试与验证
期刊论文 55 会议论文 52 获奖 1 著作 2
实时容错协议的形式化技术
期刊论文 5
面向UML的形式化测试技术
可信信息物理融合软件的分析与验证
期刊论文 3
　高安全等级操作系统设计验证的关键技术
期刊论文 6
软件工程学
期刊论文 25 会议论文 10
混成系统设计演算
第19届软件工程自动化国际会议
"第10届高质量软件国际会议"国际合作交流