位置：成果数据库 > 会议 > 会议详情页
Identifying acceptable common proposals for handling inconsistent software requirements
  • 所属机构名称：中国科学院数学与系统科学研究院
  • 会议名称：27th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems
  • 成果类型：会议
  • 会场：Tallinn
  • 相关项目：软件方法学
作者： Mu, Kedian|Jin, Zhi|
同会议论文项目
软件方法学
期刊论文 43 会议论文 24 著作 3
同项目会议论文
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
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