Test-score semantics as a basis for a computational approach to the representation of meaning
Literary & Linguistic Computing
The Z notation: a reference manual
The Z notation: a reference manual
Software requirements: analysis and specification
Software requirements: analysis and specification
Negotiation behavior during requirements specification
ICSE '90 Proceedings of the 12th international conference on Software engineering
Representing and using nonfunctional requirements: a process-oriented approach
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Supporting Systems Development by Capturing Deliberations During Requirements Engineering
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Software requirements negotiation and renegotiation aids
Proceedings of the 17th international conference on Software engineering
Fuzzy set theory—and its applications (3rd ed.)
Fuzzy set theory—and its applications (3rd ed.)
An Empirical Study of Evaluating Software Development Environment Quality
IEEE Transactions on Software Engineering
Inconsistency Handling in Multiperspective Specifications
IEEE Transactions on Software Engineering
Domain Analysis and Queries in Context
NLDB '00 Proceedings of the 5th International Conference on Applications of Natural Language to Information Systems-Revised Papers
STAR: A CASE Tool for Requirement Engineering
ASSET '98 Proceedings of the 1998 IEEE Workshop on Application - Specific Software Engineering and Technology
Requirements interaction management
ACM Computing Surveys (CSUR)
Priority Assessment of Software Requirements from Multiple Perspectives
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
A Framework for Design Tradeoffs
Software Quality Control
WoSQ '07 Proceedings of the 5th International Workshop on Software Quality
ER '07 Tutorials, posters, panels and industrial contributions at the 26th international conference on Conceptual modeling - Volume 83
Uncertainty handling in tabular-based requirements using rough sets
RSFDGrC'05 Proceedings of the 10th international conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing - Volume Part II
A more expressive softgoal conceptualization for quality requirements analysis
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
Elicitation of non-functional requirement preference for actors of usecase from domain model
PKAW'06 Proceedings of the 9th Pacific Rim Knowledge Acquisition international conference on Advances in Knowledge Acquisition and Management
| Hi-index | 0.00 |
There are at least three challenges with requirements analysis. First, it needs to bridge informal requirements, which are often vague and imprecise, to formal specification methods. Second, requirements often conflict with each other. Third, existing formal requirement specification methodologies are limited in supporting trade-off analysis between conflicting requirements and identifying the impact of a requirement change to the rest of the system. In this paper, an analytic framework is developed for the specification and analysis of imprecise requirements. In this framework, the elasticity of imprecise requirements is captured using fuzzy logic and the relationships between requirements are formally classified into four categories: conflicting, cooperative, mutually exclusive and irrelevant. This formal foundation facilitates the inference of relationships between requirements for detecting implicit conflicts, to assess the relative priorities of requirements for resolving conflicts, and to assess the effect of a requirement change.