Please use this identifier to cite or link to this item: http://hdl.handle.net/1959.3/152293

Download PDF (Published version) (Adobe Acrobat PDF, -1 bytes)

Title

MaramaAI: Automated and visual approach for Inconsistency checking of requirements

Author(s)

Kamalrudin, Massila;  Hosking, John;  Grundy, John

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.

Publication type

Conference paper

Research centre

Swinburne University of Technology. Faculty of Information and Communication Technologies. Centre for Complex Software Systems and Services

Source

Proceedings of the 18th IEEE International Requirements Engineering Conference (RE2010), Sydney, Australia, 27 September - 01 October 2010, pp. 393-394

Publication year

2010

FOR Code(s)

0803 Computer Software

Keyword(s)

Essential interaction pattern;  Higher level inconsistency;  Text analysis;  Visual differencing

Publisher

IEEE

ISBN

9780769541624, 0769541623

Publisher URL

http://dx.doi.org/10.1109/RE.2010.54

Copyright

Copyright © 2010 Crown copyright. Proceedings copyright © 2010 IEEE. Published version of the paper reproduced here in accordance with the copyright policy of the publisher. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.

Full text

Peer reviewed