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 …

Natural language is the most used representation for stating requirements on computer-
based systems in industry. However, natural language is inherently ambiguous. Customers …

Requirements are informal and semi-formal descriptions of the expected behavior of a
complex system from the viewpoints of its stakeholders (customers, users, operators …

Requirements Engineering is one of the most vital activities in the entire Software
Development Life Cycle. The success of the software is largely dependent on how well the …

Ambiguity in requirement specifications causes numerous problems; for example in defining
customer/supplier contracts, ensuring the integrity of safety-critical systems, and analysing …

One of the main tasks of requirements engineering (RE) is the creation of a requirements
document that precisely, consistently, and completely describes the functional and non …

In industry, reviews and inspections are the primary methods to identify ambiguities,
inconsistencies, and under specifications in natural language (NL) software requirements …

Templates are effective tools for increasing the precision of natural language requirements
and for avoiding ambiguities that may arise from the use of unrestricted natural language …

CONTEXT: The environment in which the system operates, its context, is variable. The
autonomous ability of a software to adapt to context has to be planned since the …

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 …