On the Dempster-Shafer framework and new combination rules
Information Sciences: an International Journal
Category theory for computing science
Category theory for computing science
Telos: representing knowledge about information systems
ACM Transactions on Information Systems (TOIS)
Handling conflict between domain descriptions with computer-supported negotiation
Knowledge Acquisition
Requirements Validation Through Viewpoint Resolution
IEEE Transactions on Software Engineering
A Hybrid Knowledge Representation as a Basis of Requirement Specification and Specification Analysis
IEEE Transactions on Software Engineering - Special issue on software maintenance
Goal-directed requirements acquisition
6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
Handbook of logic in artificial intelligence and logic programming (vol. 3)
A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification
IEEE Transactions on Software Engineering
Resolving requirements conflicts with computer-supported negotiation
Requirements engineering
Interconnecting formalisms: supporting modularity, reuse and incrementality
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Four dark corners of requirements engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Prioritizing software requirements in an industrial setting
ICSE '97 Proceedings of the 19th international conference on Software engineering
ICSE '91 Proceedings of the 13th international conference on Software engineering
Managing Conflicts in Goal-Driven Requirements Engineering
IEEE Transactions on Software Engineering
Managing Requirements Inconsistency with Development Goal Monitors
IEEE Transactions on Software Engineering
A framework for multi-valued reasoning over inconsistent viewpoints
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
A logic for uncertain probabilities
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
Viewpoints: principles, problems and a practical approach to requirements engineering
Annals of Software Engineering
Reconciling requirements: a method for managing interference, inconsistency and conflict
Annals of Software Engineering
AbstFinder, A Prototype Natural Language Text Abstraction Finder for Use in Requirements Elicitation
Automated Software Engineering
Overlaps in Requirements Engineering
Automated Software Engineering
Identifying Quality-Requirement Conflicts
IEEE Software
Inconsistency Handling in Multiperspective Specifications
IEEE Transactions on Software Engineering
Making inconsistency respectable: a logical framework for inconsistency in reasoning
FAIR '91 Proceedings of the International Workshop on Fundamentals of Artificial Intelligence Research
Applications of Annotated Predicate Calculus to Querying Inconsistent Databases
CL '00 Proceedings of the First International Conference on Computational Logic
AGORA: Attributed Goal-Oriented Requirements Analysis Method
RE '02 Proceedings of the 10th Anniversary IEEE Joint International Conference on Requirements Engineering
Goal-Oriented Requirements Engineering: A Guided Tour
RE '01 Proceedings of the Fifth IEEE International Symposium on Requirements Engineering
Sentiment analysis: capturing favorability using natural language processing
Proceedings of the 2nd international conference on Knowledge capture
Introduction to the special issue on word sense disambiguation: the state of the art
Computational Linguistics - Special issue on word sense disambiguation
A Methodological Framework for Viewpoint-Oriented Conceptual Modeling
IEEE Transactions on Software Engineering
A Methodology for Structural Conflict Resolution in the Integration of Entity-Relationship Schemas
Knowledge and Information Systems
Market research for requirements analysis using linguistic tools
Requirements Engineering
Reasoning about inconsistencies in natural language requirements
ACM Transactions on Software Engineering and Methodology (TOSEM)
Human-centered ontology engineering: The HCOME methodology
Knowledge and Information Systems
View merging in the presence of incompleteness and inconsistency
Requirements Engineering
Viewpoints Merging via Incrementally Elicited Ranked Structures
QSIC '06 Proceedings of the Sixth International Conference on Quality Software
Handling non-canonical software requirements based on Annotated Predicate Calculus
Knowledge and Information Systems
A survey on knowledge compilation
AI Communications
Social contraction and belief negotiation
Information Fusion
Adaptive Merging of Prioritized Knowledge Bases
Fundamenta Informaticae
Combining multiple prioritized knowledge bases by negotiation
Fuzzy Sets and Systems
A framework for distributed collaborative conceptual model development
Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion
On the Collaborative Development of Para-Consistent Conceptual Models
QSIC '07 Proceedings of the Seventh International Conference on Quality Software
Towards a Belief-Theoretic Model for Collaborative Conceptual Model Development
HICSS '08 Proceedings of the Proceedings of the 41st Annual Hawaii International Conference on System Sciences
Experiences on the Belief-Theoretic Integration of Para-consistent Conceptual Models
ASWEC '08 Proceedings of the 19th Australian Conference on Software Engineering
Journal of Systems and Software
Measuring conflict and agreement between two prioritized belief bases
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
A merging-based approach to handling inconsistency in locally prioritized software requirements
KSEM'07 Proceedings of the 2nd international conference on Knowledge science, engineering and management
A novel approach for social behavior analysis of the blogosphere
Canadian AI'08 Proceedings of the Canadian Society for computational studies of intelligence, 21st conference on Advances in artificial intelligence
Measuring conflict between possibilistic uncertain information through belief function theory
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
Ontology-Based inconsistency management of software requirements specifications
SOFSEM'05 Proceedings of the 31st international conference on Theory and Practice of Computer Science
Stratified analytic hierarchy process: prioritization and selection of software features
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
Consolidating multiple requirement specifications through argumentation
Proceedings of the 2011 ACM Symposium on Applied Computing
Conditional preferences in software stakeholders' judgments
Proceedings of the 2011 ACM Symposium on Applied Computing
| Hi-index | 0.00 |
Non-canonical requirement specifications refer to a set of software requirements that is either inconsistent, vague or incomplete. In this paper, we provide a correspondence between requirement specifications and annotated propositional belief bases. Through this analogy, we are able to analyze the contents of a given set of requirement collections known as viewpoints and specify whether they are incomplete, incoherent, or inconsistent under a closed-world reasoning assumption. Based on the requirement collections’ properties introduced in this paper, we define a viewpoint integration game through which the inconsistencies of non-canonical requirement specifications are resolved. The game consists of several rounds of negotiation and is performed by two main functions, namely choice and enhancement functions. The outcome of this game is a set of inconsistency-free requirement collections that can be integrated to form a unique fair representative of the given requirement collections.