MaramaAI: Automated and visual approach for Inconsistency checking of requirements

Massila Kamalrudin, John Hosking, John Grundy

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

1 Citation (Scopus)

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.

Original languageEnglish
Title of host publicationProceedings of the 2010 18th IEEE International Requirements Engineering Conference, RE2010
Pages393-394
Number of pages2
DOIs
Publication statusPublished - 27 Dec 2010
EventIEEE International Requirements Engineering Conference 2010 - Sydney, Australia
Duration: 27 Sep 20101 Oct 2010
Conference number: 18th
https://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5634607 (Proceedings)

Publication series

NameProceedings of the 2010 18th IEEE International Requirements Engineering Conference, RE2010

Conference

ConferenceIEEE International Requirements Engineering Conference 2010
Abbreviated titleRE 2010
CountryAustralia
CitySydney
Period27/09/101/10/10
Internet address

Keywords

  • Essential interaction pattern
  • Higher level inconsistency
  • Visual differencing

Cite this