位置：立项数据库 > 立项详情页
基于知识的需求获取方法的形式化技术
  • 项目名称：基于知识的需求获取方法的形式化技术
  • 项目类别：专项基金项目
  • 批准号：69983010
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：金芝
  • 依托单位：中国科学院数学与系统科学研究院
  • 批准年度：1999
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 1
  • 0
  • 0
  • 0
  • 0
期刊论文
Beyond Knowledge Engineering
金芝的项目
第四届系统论、控制论和信息论会议
度量和管理不一致软件需求的集成框架,支撑工具和过程指南
（1）软件工程与应用国际会议；（2）信息与知识共享国际会议
基于逻辑的面向对象语言模型的研究
软件方法学
期刊论文 43 会议论文 24 著作 3
　知识制导的需求工程技术研究
期刊论文 10
多视点需求工程中优先化需求的合并与修正