位置：立项数据库 > 立项详情页
软件方法学
  • 项目名称：软件方法学
  • 项目类别：国家杰出青年科学基金
  • 批准号：60625204
  • 申请代码：F020201
  • 项目来源：国家自然科学基金
  • 研究期限：2007-01-01-2010-12-31
  • 项目负责人：金芝
  • 负责人职称：教授
  • 依托单位：中国科学院数学与系统科学研究院
  • 批准年度：2006
中文摘要：

随着面向Web Service计算的广泛普及，成长式软件开发模式应运而生，并开始受到研究者们的广泛关注。这种新型软件构造模式也给软件需求工程带来新的挑战，研究面向成长式软件开发模式的需求工程理论和方法具有重要的研究意义和应用价值。本项目从基于环境的软件需求语义出发，针对成长型软件开发模式，以软件实体环境的模型和软件实体对其环境的作用效果为切入点，深入研究软件实体的问题类型，特别强调软件实体所处环境的模型在软件实体能力刻画中不可或缺的作用；探讨如何在环境本体基础上建立软件实体能力描述的共享概念空间，研究基于环境的软件实体能力模型；探讨如何构建不同软件实体在环境本体支持下的互操作机制，研究软件实体能力精化/组合过程，以及与软件实体组合相关的一致性、优先性、同步和干扰等问题。建立软件实体模型的按需聚合过程，即基于环境本体的软件实体模型成长过程，为成长型软件开发模式提供有效的需求工程理论，并构建基于环境本体的新型需求工程方法。

中文主题词： 成长式软件开发；需求工程；软件环境本体
结论摘要：

英文主题词grown-up software development, requirements engineering, software environment ontology

成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 43
  • 24
  • 0
  • 0
  • 3
期刊论文
基于问题框架的需求建模:一种本体制导的方法
一种服务Agent的可信性评估方法
从交互情景出发的需求捕获方法及其支撑工具
一种需求驱动的自主Web服务聚集方法
Eliciting dependability requirements: A knowledge-based approach
Handling over-fitting in test cost-sensitive decision tree learning by feature selection, smoothing
Summary queries for frequent itemsets mining
Missing Value Estimation for Mixed-Attribute Data Sets
Requirements driven service agents collaboration and the negotiation framework
Service-oriented modeling based on whole process asset reuse
Evolving quantum circuits at the gate level with a hybrid quantum-inspired evolutionary algorithm
从基于知识的软件工程到基于知件的软件工程
面向服务的建模:一种全过程复用的方法
Building toward capability specifications of Web services based on an environment ontology
需求驱动的服务Agent协作及其协商框架
Web Services Composing by Multiagent Negotiation
Mining globally interesting patterns from multiple databases using kernel estimation
A decremental algorithm of frequent itemset maintenance for mining updated databases
Handling Inconsistency In Distributed Software Requirements Specifications Based On Prioritized Merg
需求驱动的主动网构实体聚合
Requirements Analyses Integrating Goals and Problem Analysis Techniques
Handling non-canonical software requirements based on Annotated Predicate Calculus
软件需求中不一致性处理方案的评估方法(英文)
面向服务的计算专刊前言
关于需求工程发展历程的讨论（下）
软件需求工程：部分研究工作进展
关于需求工程发展历程的讨论（上）
基于知识的软件可信性需求获取
A PRIORITY-BASED NEGOTIATIONS APPROACH FOR HANDLING INCONSISTENCIES IN MULTI-PERSPECTIVE SOFTWARE REQUIREMENTS
一种移动节点定位活动目标的校正方法
一种分布式全局频繁项集挖掘方法
一种移动信源追踪活动目标的方法
分布式数据库的精简频繁模式集及其挖掘算法
Review on the study of entanglement in quantum computation speedup
会议论文
Requirement driven agent collaboration based on functional ontology and AMD
Knowledge merging under multiple attributes
Web service composition: An approach using effect-based reasoning
An Approach for Specifying Capability ofWeb Services based on Environment Ontology
Requirement Driven Service Agent Collaboration and QoS based Negotiation
Service-oriented modeling: An ontology-based approach
Requirement driven service agent coalition formation and negotiation
Service-oriented modeling: An extensive reuse method
Elicit the requirements on software dependability: A knowledge-based approach
An Agent-Based Framework Supporting Trust Evaluation for Service Selection
Verifying software requirements based on answer set programming
Internetware computing: Issues and perspective
Performing projection in problem frames using scenarios
An agent-based trust model for service-oriented systems
Requirements driven agent collaboration
A method for web service description by using problem frames approach
A Scenario-based Problem Decomposition
A Measurement-driven Process Model for Managing Inconsistent Software Requirements
Requirement engineering in service-oriented system engineering
Identifying acceptable common proposals for handling inconsistent software requirements
Towards controllable requirements engineering processes based on cybernetics
An ontology of problem frames for guiding problem frame specification
Evolving quantum circuits for temporal averaging in bulk quantum computation
A merging-based approach to handling inconsistency in locally prioritized software requirements
著作
Proceedings of 3rd International Conference of Knowledge Science, Engineering and Management (KSEM 2009)
Proceedings 12th International Conference of Principles of Practice in Multi-Agent Systems (PRIMA 2009)
软件需求工程：原理与方法
相关项目
环境知识驱动的软件可信性需求工程方法与技术研究
期刊论文 26 会议论文 38
多维度软件需求描述与控制方法研究
期刊论文 32 会议论文 27
面向agent的需求工程
期刊论文 17 会议论文 16 著作 1
基于环境的信息物理系统时空需求建模方法研究
期刊论文 14 会议论文 10
软件可信性需求分析及其过程控制与管理模式研究
期刊论文 31 会议论文 16
金芝的项目
度量和管理不一致软件需求的集成框架,支撑工具和过程指南
（1）软件工程与应用国际会议；（2）信息与知识共享国际会议
基于逻辑的面向对象语言模型的研究
　知识制导的需求工程技术研究
期刊论文 10
多视点需求工程中优先化需求的合并与修正
第四届系统论、控制论和信息论会议
基于知识的需求获取方法的形式化技术
期刊论文 1