位置：立项数据库 > 立项详情页
面向分布式软件开发的软构件协同计算模型及形式化验证
  • 项目名称：面向分布式软件开发的软构件协同计算模型及形式化验证
  • 项目类别：面上项目
  • 批准号：60573087
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：张维石
  • 依托单位：大连海事大学
  • 批准年度：2005
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 11
  • 0
  • 0
  • 0
  • 0
期刊论文
通用构件行为适应方法研究
基于Wiki的软件设计模式库的设计与实现
具有用户参与的面向方面的工程项目管理需求分析
Linux平台下防御SYN Flood攻击策略的研究
基于嵌入式雷达的近海渔船分布式监控系统
基于雷达的近海船舶分布式监控系统
标准化电子航海图数据保护方案关键技术研究
规则引擎在业务逻辑层中的研究与应用
关联规则分析在电信交叉销售中的应用研究
软构件行为适应的Petri网方法研究
一种基于线性逻辑的构件组装方法研究
张维石的项目
可重用的软构件开发方法研究
期刊论文 8