当前位置：
数字出版物超市 >> 
面向分布式软件开发的软构件协同计算模型及形式化验证
面向分布式软件开发的软构件协同计算模型及形式化验证
【项目名称】 面向分布式软件开发的软构件协同计算模型及形式化验证
【项目编号】 60573087
【项目目标】
【项目关键词】 软构件 分布式软件 协同计算 形式化验证 软件设计模式 工程项目管理 刻面 构件检索 模式复用 Petri网 空间编码 支持环境 协同组 需求分析 用户参与 组装 构件 构件库 工程项目 基于构件 形式化方法 数据流 软件工程 演化特征 耦合关系 刻面术语 跨越工程 多指标系统 不匹?
【项目承办单位】 大连海事大学;
【项目负责人】 张维石;
【项目来源】 国家自然科学基金项目
【涉及学科】 计算机软件及计算机应用
【科研经费】 23万
【所属大项目】
【项目参与研究人员】
    【项目参与研究机构】
    【项目成果摘要】
    【发布单位】 国家自然科学基金委员会
    【发布时间】 2004-12-07
    【申请截止时间】 2005-03-31
    【立项时间】 2006-01
    【完成时间】 2008-12
    【申请条件】
    【联系方式】
    【项目信息来源】 https://isis.nsfc.gov.cn/portal/proj_search.asp
    加载本项目科研成果产出报表....
    加载本项目科研成果....
    加载项目负责人以往科研成果....
    加载同类科研项目成果比较....
    加载本项目科研成果引证文献....
    加载学术文献....
    加载所属大项目下的其它项目....
    加载相关研究人员....
    加载相关研究机构....