MaramaAI: Automated and Visual Approach for Inconsistency Checking of Requirements

Authors:
Massila Kamalrudin;John Hosking;John Grundy
Affiliations:
-;-;-
Venue:
RE '10 Proceedings of the 2010 18th IEEE International Requirements Engineering Conference
Year:
2010

Citing 0
Cited 1

Generating essential user interface prototypes to validate requirements

ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Requirements are commonly vague and ambiguous. In this paper, we describe an automated Inconsistency Checker called MaramaAI for checking for high-level inconsistency between textual requirements, abstract interactions and Essential Use Cases. We use concepts of phrase extraction and essential interaction patterns to carry out these checks. We provide further support for checking of requirements quality attributes such as completeness and correctness using visual differencing.