课题基金 / 基金详情

网络计算环境的程序设计理论及关键技术

批准号：
90612009
项目类别：
重大研究计划
资助金额：
28.0 万元
负责人：
王戟
依托单位：
中国人民解放军国防科技大学
学科分类：
软件理论、软件工程与服务
结题年份：
2008
批准年份：
2006
项目状态：
已结题
项目参与者：
王戟、朱鸿、黄春、单黎君、沈锐、陈振邦、马晓东、张茜、王树凤
关键词：
网络计算环境程序设计方法学程序设计语言..

项目摘要

结项摘要

王戟的其他基金

相似基金

相关文献

中文摘要
针对网络计算环境及其软件生产的特点，包括分布、环境动态、自组织和自适应等，特别是Internet资源所具有的成长性、自治性、异构性等特点，在现有的各种主流的网络计算框架研究的基础上，结合面向Agent程序设计和面向服务计算，研究适应于网络计算环境应用开发的新型程序设计范型，包括以Caste为中心的网络计算环境的程序元模型和程序模型，面向网络计算环境的程序设计语言、语义和推理系统，新型程序设计语言的
英文摘要
开放环境下安全攸关系统建模和验证理论与方法
实时系统的软件可靠性测试与验证
实时容错协议的形式化技术
面向UML的形式化测试技术
国内基金
海外基金