Fundamental Research on Detecting Contradictions in Requirements: Taxonomy and Semi-Automated Approach

Requirements documents can contain several thousand individual requirements. They must be error-free to avoid unnecessary complications and costs in the later product development stages. An important part of this is identify contradictions between two The first step therefore define what are form they occur requirement documents. In paper scientific theories regarding discussed, concerning their usefulness for topic. doing so, Aristotelian Logic proved provide best basis an application Engineering context. Based on theory, we have created specific subtypes match them requirements engineering field. identification these done by a formalization sentences subsequent analysis means simple questions. To validate method, industrial were searched contradictions. For each detected type contradiction, present example detection process. Thereby, show that method easy apply may also used non-specialists. Thus, our provides taxonomy as further research automated contradiction well quality