The Community for Technology Leaders
2010 18th IEEE International Requirements Engineering Conference (2010)
Sydney, NSW
Sept. 27, 2010 to Oct. 1, 2010
ISSN: 1090-705X
ISBN: 978-1-4244-8022-7
pp: 393-394
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.
data integrity, formal specification, formal verification, systems analysis, text analysis

M. Kamalrudin, J. Hosking and J. Grundy, "MaramaAI: Automated and Visual Approach for Inconsistency Checking of Requirements," 2010 18th IEEE International Requirements Engineering Conference(RE), Sydney, New South Wales Australia, 2010, pp. 393-394.
94 ms
(Ver 3.3 (11022016))