The complexity of propositional linear temporal logics
Journal of the ACM (JACM)
Telos: representing knowledge about information systems
ACM Transactions on Information Systems (TOIS)
Object-oriented modeling and design
Object-oriented modeling and design
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
Software requirements negotiation and renegotiation aids
Proceedings of the 17th international conference on Software engineering
Four dark corners of requirements engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Extending the Potts and Bruns model for recording design rationale
ICSE '91 Proceedings of the 13th international conference on Software engineering
On formal requirements modeling languages: RML revisited
ICSE '94 Proceedings of the 16th international conference on Software engineering
Managing Conflicts in Goal-Driven Requirements Engineering
IEEE Transactions on Software Engineering
Inconsistency Management for Multiple-View Software Development Environments
IEEE Transactions on Software Engineering
Property specification patterns for finite-state verification
FMSP '98 Proceedings of the second workshop on Formal methods in software practice
Patterns in property specifications for finite-state verification
Proceedings of the 21st international conference on Software engineering
Managing Requirements Inconsistency with Development Goal Monitors
IEEE Transactions on Software Engineering
Requirements engineering in the year 00: a research perspective
Proceedings of the 22nd international conference on Software engineering
Requirements Engineering: A Good Practice Guide
Requirements Engineering: A Good Practice Guide
A Two-Variable Fragment of English
Journal of Logic, Language and Information
AbstFinder, A Prototype Natural Language Text Abstraction Finder for Use in Requirements Elicitation
Automated Software Engineering
Ontology Learning for the Semantic Web
IEEE Intelligent Systems
Representing and Using Nonfunctional Requirements: A Process-Oriented Approach
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
A Roadmap to Ontology Specification Languages
EKAW '00 Proceedings of the 12th European Workshop on Knowledge Acquisition, Modeling and Management
English as a Formal Specification Language
DEXA '02 Proceedings of the 13th International Workshop on Database and Expert Systems Applications
Proceedings of the 25th International Conference on Software Engineering
Goal-Based Requirements Analysis
ICRE '96 Proceedings of the 2nd International Conference on Requirements Engineering (ICRE '96)
Goal-Oriented Requirements Engineering: A Guided Tour
RE '01 Proceedings of the Fifth IEEE International Symposium on Requirements Engineering
Goal-directed concept acquisition in requirements elicitation
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Specifying and analyzing early requirements in Tropos
Requirements Engineering
Structured Analysis and System Specification
Structured Analysis and System Specification
Ontology Based Requirements Analysis: Lightweight Semantic Processing Approach
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Structured Analysis (SA): A Language for Communicating Ideas
IEEE Transactions on Software Engineering
Semantic parameterization: A process for modeling domain descriptions
ACM Transactions on Software Engineering and Methodology (TOSEM)
Dynamic Consistency Checking of Domain Requirements in Product Line Engineering
RE '08 Proceedings of the 2008 16th IEEE International Requirements Engineering Conference
Software Engineering: A Practitioner's Approach
Software Engineering: A Practitioner's Approach
Formal semantic conflict detection in aspect-oriented requirements
Requirements Engineering - Special Issue on RE'08: Requirements Engineering for a Sustainable World; Guest Editor: T. Tamai
Swoop: A Web Ontology Editing Browser
Web Semantics: Science, Services and Agents on the World Wide Web
Software Engineering
Managing Consistency between Textual Requirements, Abstract Interactions and Essential Use Cases
COMPSAC '10 Proceedings of the 2010 IEEE 34th Annual Computer Software and Applications Conference
Enhancing Domain Knowledge for Requirements Elicitation with Web Mining
APSEC '10 Proceedings of the 2010 Asia Pacific Software Engineering Conference
Pre-conceptual schema: a conceptual-graph-like knowledge representation for requirements elicitation
MICAI'06 Proceedings of the 5th Mexican international conference on Artificial Intelligence
Review: Where to publish and find ontologies? A survey of ontology libraries
Web Semantics: Science, Services and Agents on the World Wide Web
Attempto controlled english: a knowledge representation language readable by humans and machines
Proceedings of the First international conference on Reasoning Web
Complexities of Horn Description Logics
ACM Transactions on Computational Logic (TOCL)
Hi-index | 0.00 |
Detecting inconsistencies is a critical part of requirements engineering (RE) and has been a topic of interest for several decades. Domain knowledge and semantics of requirements not only play important roles in elaborating requirements but are also a crucial way to detect conflicts among them. In this paper, we present a novel knowledge-based RE framework (KBRE) in which domain knowledge and semantics of requirements are central to elaboration, structuring, and management of captured requirements. Moreover, we also show how they facilitate the identification of requirements inconsistencies and other-related problems. In our KBRE model, description logic (DL) is used as the fundamental logical system for requirements analysis and reasoning. In addition, the application of DL in the form of Manchester OWL Syntax brings simplicity to the formalization of requirements while preserving sufficient expressive power. A tool has been developed and applied to an industrial use case to validate our approach.