Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
A logical framework for default reasoning
Artificial Intelligence
Fundamental properties of deterministic and nondeterministic extensions of Datalog
Selected papers of the workshop on Deductive database theory
A Hybrid Knowledge Representation as a Basis of Requirement Specification and Specification Analysis
IEEE Transactions on Software Engineering - Special issue on software maintenance
Assisting requirement formalization by means of natural language translation
Formal Methods in System Design
Handbook of logic in artificial intelligence and logic programming (Vol. 4)
Four dark corners of requirements engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Practical belief change
ICSE '91 Proceedings of the 13th international conference on Software engineering
Managing inconsistent specifications: reasoning, analysis, and action
ACM Transactions on Software Engineering and Methodology (TOSEM)
Formal specification: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Automating first-order relational logic
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
Logic for Problem Solving
Lightweight validation of natural language requirements
Software—Practice & Experience
Elements underlying the specification of requirements
Annals of Software Engineering
Guest Editorial: Introduction to the Special Section
IEEE Transactions on Software Engineering
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
An Abductive Approach for Analysing Event-Based Requirements Specifications
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
A Framework for Reasoning about Requirements Evolution
PRICAI '96 Proceedings of the 4th Pacific Rim International Conference on Artificial Intelligence: Topics in Artificial Intelligence
A Logical Framework for Modeling and Reasoning About the Evolution of Requirements
RE '97 Proceedings of the 3rd IEEE International Symposium on Requirements Engineering
To Be and Not to Be: On Managing Inconsistency in Software Development
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
A comedy of errors: the London Ambulance Service case study
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Using Default Reasoning to Discover Inconsistencies in Natural Language Requirements
APSEC '01 Proceedings of the Eighth Asia-Pacific on Software Engineering Conference
The Cico Domain-Based Parser
Requirements Engineering: The State of the Practice
IEEE Software
Building a large annotated corpus of English: the penn treebank
Computational Linguistics - Special issue on using large corpora: II
Natural Language Engineering
Multi-valued symbolic model-checking
ACM Transactions on Software Engineering and Methodology (TOSEM)
Market research for requirements analysis using linguistic tools
Requirements Engineering
Consistent Partial Model Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
User guidance for creating precise and accessible property specifications
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Information and Software Technology
Identifying Acceptable Common Proposals for Handling Inconsistent Software Requirements
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
On the Identification of Goals in Stakeholders' Dialogs
Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs
Improving software quality from the requirements specification
SoD '07 Proceedings of the 2007 Symposium on Science of Design
Quantitative Analysis for Requirements Evolution's Ripple-Effect
CAR '09 Proceedings of the 2009 International Asia Conference on Informatics in Control, Automation and Robotics
Proceedings of the 2007 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the sixth SoMeT_07
Translation of Textual Specifications to Automata by Means of Discourse Context Modeling
REFSQ '09 Proceedings of the 15th International Working Conference on Requirements Engineering: Foundation for Software Quality
Ontology-Based Requirements Conflicts Analysis in Activity Diagrams
ICCSA '09 Proceedings of the International Conference on Computational Science and Its Applications: Part II
HCD 09 Proceedings of the 1st International Conference on Human Centered Design: Held as Part of HCI International 2009
Partial constraint checking for context consistency in pervasive computing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Verifying Software Requirements Based on Answer Set Programming
KSEM '09 Proceedings of the 3rd International Conference on Knowledge Science, Engineering and Management
Knowledge and Information Systems
Information and Software Technology
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
CRIWG'07 Proceedings of the 13th international conference on Groupware: design implementation, and use
Scenario Analysis: Generation of Possible Scenario Interpretations and their Visualization
REV '09 Proceedings of the 2009 Fourth International Workshop on Requirements Engineering Visualization
CDADE: Conflict detector in activity diagram evolution based on speech act and ontology
Knowledge-Based Systems
A survey of traceability in requirements engineering and model-driven development
Software and Systems Modeling (SoSyM)
Consolidating multiple requirement specifications through argumentation
Proceedings of the 2011 ACM Symposium on Applied Computing
From requirements to models: feedback generation as a result of formalization
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
Inferring specifications for resources from natural language API documentation
Automated Software Engineering
Generating model-based test cases from natural language requirements for space application software
Software Quality Control
NLDB'09 Proceedings of the 14th international conference on Applications of Natural Language to Information Systems
An approach to generating proposals for handling inconsistent software requirements
KSEM'11 Proceedings of the 5th international conference on Knowledge Science, Engineering and Management
Generating essential user interface prototypes to validate requirements
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Decision support for the software product line domain engineering lifecycle
Automated Software Engineering
Automatic analysis of multimodal requirements: a research preview
REFSQ'12 Proceedings of the 18th international conference on Requirements Engineering: foundation for software quality
Managing software requirements changes based on negotiation-style revision
Journal of Computer Science and Technology - Special issue on Community Analysis and Information Recommendation
Inferring method specifications from natural language API descriptions
Proceedings of the 34th International Conference on Software Engineering
Validation of requirements for hybrid systems: A formal approach
ACM Transactions on Software Engineering and Methodology (TOSEM)
Mining textual requirements to assist architectural software design: a state of the art review
Artificial Intelligence Review
From inconsistency handling to non-canonical requirements management: A logical perspective
International Journal of Approximate Reasoning
Applying ontology-based blog to detect information system post-development change requests conflicts
Information Systems Frontiers
A Blame-Based Approach to Generating Proposals for Handling Inconsistency in Software Requirements
International Journal of Knowledge and Systems Science
REFSQ'13 Proceedings of the 19th international conference on Requirements Engineering: Foundation for Software Quality
WHYPER: towards automating risk assessment of mobile applications
SEC'13 Proceedings of the 22nd USENIX conference on Security
Hi-index | 0.00 |
The use of logic in identifying and analyzing inconsistency in requirements from multiple stakeholders has been found to be effective in a number of studies. Nonmonotonic logic is a theoretically well-founded formalism that is especially suited for supporting the evolution of requirements. However, direct use of logic for expressing requirements and discussing them with stakeholders poses serious usability problems, since in most cases stakeholders cannot be expected to be fluent with formal logic. In this article, we explore the integration of natural language parsing techniques with default reasoning to overcome these difficulties. We also propose a method for automatically discovering inconsistencies in the requirements from multiple stakeholders, using both theorem-proving and model-checking techniques, and show how to deal with them in a formal manner. These techniques were implemented and tested in a prototype tool called CARL. The effectiveness of the techniques and of the tool are illustrated by a classic example involving conflicting requirements from multiple stakeholders.