A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification
IEEE Transactions on Software Engineering
Automated consistency checking of requirements specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Managing Conflicts in Goal-Driven Requirements Engineering
IEEE Transactions on Software Engineering
Managing inconsistent specifications: reasoning, analysis, and action
ACM Transactions on Software Engineering and Methodology (TOSEM)
From object-oriented to goal-oriented requirements analysis
Communications of the ACM
The role of deontic logic in the specification of information systems
Logics for databases and information systems
Logic in computer science: modelling and reasoning about systems
Logic in computer science: modelling and reasoning about systems
Toward Reference Models for Requirements Traceability
IEEE Transactions on Software Engineering
Writing Effective Use Cases
Inconsistency Handling in Multiperspective Specifications
IEEE Transactions on Software Engineering
Modularisation and composition of aspectual requirements
Proceedings of the 2nd international conference on Aspect-oriented software development
A Framework for Requirements Analysis Using Automated Reasoning
CAiSe '95 Proceedings of the 7th International Conference on Advanced Information Systems Engineering
Automating Requirements Traceability: Beyond the Record & Replay Paradigm
Proceedings of the 17th IEEE international conference on Automated software engineering
A Logical Framework for Modeling and Reasoning About the Evolution of Requirements
RE '97 Proceedings of the 3rd IEEE International Symposium on Requirements Engineering
Requirements interaction management
ACM Computing Surveys (CSUR)
Goal-Oriented Requirements Engineering: A Guided Tour
RE '01 Proceedings of the Fifth IEEE International Symposium on Requirements Engineering
An Industrial Survey of Requirements Interdependencies in Software Product Release Plannin
RE '01 Proceedings of the Fifth IEEE International Symposium on Requirements Engineering
IEEE Transactions on Software Engineering
A UML Profile for Goal-Oriented and Use Case-Driven Representation of NFRs and FRs
SERA '05 Proceedings of the Third ACIS Int'l Conference on Software Engineering Research, Management and Applications
Producing a Global Requirement Model from Multiple Requirement Specifications
EDOC '07 Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference
Model-Driven Engineering for Requirements Analysis
EDOC '07 Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference
A Metamodeling Approach for Reasoning about Requirements
ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
Towards a common metamodel for the development of web applications
ICWE'03 Proceedings of the 2003 international conference on Web engineering
Imperfect requirements in software development
REFSQ'07 Proceedings of the 13th international working conference on Requirements engineering: foundation for software quality
PROFES'05 Proceedings of the 6th international conference on Product Focused Software Process Improvement
Improving requirements quality using essential use case interaction patterns
Proceedings of the 33rd International Conference on Software Engineering
Exploiting software architecture to support requirements satisfaction testing
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
An ontological pivot model to interoperate heterogeneous user requirements
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II
Efficient, Unified, and Intelligent User Requirement Collection and Analysis in Global Enterprises
Proceedings of International Conference on Information Integration and Web-based Applications & Services
Journal of Systems and Software
Hi-index | 0.00 |
Requirements traceability is the ability to relate requirements back to stakeholders and forward to corresponding design artifacts, code, and test cases. Although considerable research has been devoted to relating requirements in both forward and backward directions, less attention has been paid to relating requirements with other requirements. Relations between requirements influence a number of activities during software development such as consistency checking and change management. In most approaches and tools, there is a lack of precise definition of requirements relations. In this respect, deficient results may be produced. In this paper, we aim at formal definitions of the relation types in order to enable reasoning about requirements relations. We give a requirements metamodel with commonly used relation types. The semantics of the relations is provided with a formalization in first-order logic. We use the formalization for consistency checking of relations and for inferring new relations. A tool has been built to support both reasoning activities. We illustrate our approach in an example which shows that the formal semantics of relation types enables new relations to be inferred and contradicting relations in requirements documents to be determined. The application of requirements reasoning based on formal semantics resolves many of the deficiencies observed in other approaches. Our tool supports better understanding of dependencies between requirements.