位置：立项数据库 > 立项详情页
程序规范的形成理论和技术
  • 项目名称：程序规范的形成理论和技术
  • 项目类别：重点项目
  • 批准号：69433031
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：李未
  • 依托单位：北京航空航天大学
  • 批准年度：1994
李未的项目
软件生产自动化中的新理论和新方法研究
期刊论文 28
互联网网络行为的物理学测量和分析研究
期刊论文 2 会议论文 4
开放计算的验证和优化
　国家科技基础条件平台门户应用系统
期刊论文 10
　海量信息的协同性和可生存性的理论与实践研究
期刊论文 4
基于Internet网的智能信息服务系统原型的研究
开放逻辑及认识进程研究
开放计算与开放逻辑——亚洲软件基础研讨会2002
面向移动计算设备的蜂窝数据通讯技术
期刊论文 2
高速网络环境下典型示范系统及其关键技术
期刊论文 4
移动IP无缝切换技术研究
期刊论文 11 会议论文 9
亚洲程序设计语言与系统研讨会
类型理论及类型语言研究