我的机构馆
退出
数字图书馆首页
CNKI首页
浏览器下载
帮助
当前位置:
数字出版物超市 >>
国家级科研项目
>>
协同设计大型应用软件体系结构及形式化机理研究
协同设计大型应用软件体系结构及形式化机理研究
项目基本信息
[信息不全或有误,联系"中国知网"]
【项目名称】
协同设计大型应用软件体系结构及形式化机理研究
【项目编号】
2004CB719406
【项目目标】
【项目关键词】
大型应用软件 现代设计 交互性能 页面 换出 编程方法 协同设计 形式化 产生式 精化 使用特征 Linux 特征模型 存储管理 基于特征 组件 机理研究 启动延迟 关系说 当前产生式 桌面系统 交互式应用 复用软件 领域分析 Unix 复杂软件系统 信息系统 自动机模型 状态转换 Linux?
【项目承办单位】
清华大学;
【项目负责人】
孙家广;
【项目来源】
国家重点基础研究发展计划(973计划)项目
【涉及学科】
计算机软件及计算机应用
【科研经费】
0
【所属大项目】
现代设计大型应用软件的共性基础
【项目参与研究人员】
【项目参与研究机构】
【项目成果摘要】
【发布单位】
科学技术部
【发布时间】
2004-03-02
【申请截止时间】
2004-04-29
【立项时间】
【完成时间】
【申请条件】
【联系方式】
【项目信息来源】
http://www.973.gov.cn/ReadItem.aspx?itemid=488
加载本项目科研成果产出报表....
加载本项目科研成果....
加载项目负责人以往科研成果....
加载同类科研项目成果比较....
加载本项目科研成果引证文献....
加载学术文献....
加载所属大项目下的其它项目....
加载相关研究人员....
加载相关研究机构....