MaramaAI: Automated and visual approach for Inconsistency checking of requirements

Massila Kamalrudin; John Hosking; John Grundy

doi:10.1109/RE.2010.54

MaramaAI: Automated and visual approach for Inconsistency checking of requirements

Massila Kamalrudin^*, John Hosking, John Grundy

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

2 Citations (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 language	English
Title of host publication	Proceedings of the 2010 18th IEEE International Requirements Engineering Conference, RE2010
Pages	393-394
Number of pages	2
DOIs	https://doi.org/10.1109/RE.2010.54
Publication status	Published - 2010
Externally published	Yes
Event	2010 18th IEEE International Requirements Engineering Conference, RE2010 - Sydney, NSW, Australia Duration: 27 Sept 2010 → 1 Oct 2010

Publication series

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

Conference

Conference	2010 18th IEEE International Requirements Engineering Conference, RE2010
Country/Territory	Australia
City	Sydney, NSW
Period	27/09/10 → 1/10/10

Access to Document

10.1109/RE.2010.54

Cite this

Kamalrudin, M., Hosking, J., & Grundy, J. (2010). MaramaAI: Automated and visual approach for Inconsistency checking of requirements. In Proceedings of the 2010 18th IEEE International Requirements Engineering Conference, RE2010 (pp. 393-394). Article 5636650 (Proceedings of the 2010 18th IEEE International Requirements Engineering Conference, RE2010). https://doi.org/10.1109/RE.2010.54

@inproceedings{d07ab784176e4f3fb700ae08699ddf81,

title = "MaramaAI: Automated and visual approach for Inconsistency checking of requirements",

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.",

keywords = "Essential interaction pattern, Higher level inconsistency, Visual differencing",

author = "Massila Kamalrudin and John Hosking and John Grundy",

year = "2010",

doi = "10.1109/RE.2010.54",

language = "English",

isbn = "9780769541624",

series = "Proceedings of the 2010 18th IEEE International Requirements Engineering Conference, RE2010",

pages = "393--394",

booktitle = "Proceedings of the 2010 18th IEEE International Requirements Engineering Conference, RE2010",

note = "2010 18th IEEE International Requirements Engineering Conference, RE2010 ; Conference date: 27-09-2010 Through 01-10-2010",

}

Kamalrudin, M, Hosking, J & Grundy, J 2010, MaramaAI: Automated and visual approach for Inconsistency checking of requirements. in Proceedings of the 2010 18th IEEE International Requirements Engineering Conference, RE2010., 5636650, Proceedings of the 2010 18th IEEE International Requirements Engineering Conference, RE2010, pp. 393-394, 2010 18th IEEE International Requirements Engineering Conference, RE2010, Sydney, NSW, Australia, 27/09/10. https://doi.org/10.1109/RE.2010.54

MaramaAI: Automated and visual approach for Inconsistency checking of requirements. / Kamalrudin, Massila; Hosking, John; Grundy, John.
Proceedings of the 2010 18th IEEE International Requirements Engineering Conference, RE2010. 2010. p. 393-394 5636650 (Proceedings of the 2010 18th IEEE International Requirements Engineering Conference, RE2010).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - MaramaAI

T2 - 2010 18th IEEE International Requirements Engineering Conference, RE2010

AU - Kamalrudin, Massila

AU - Hosking, John

AU - Grundy, John

PY - 2010

Y1 - 2010

N2 - 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.

AB - 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.

KW - Essential interaction pattern

KW - Higher level inconsistency

KW - Visual differencing

UR - http://www.scopus.com/inward/record.url?scp=78650366890&partnerID=8YFLogxK

U2 - 10.1109/RE.2010.54

DO - 10.1109/RE.2010.54

M3 - Conference contribution

SN - 9780769541624

T3 - Proceedings of the 2010 18th IEEE International Requirements Engineering Conference, RE2010

SP - 393

EP - 394

BT - Proceedings of the 2010 18th IEEE International Requirements Engineering Conference, RE2010

Y2 - 27 September 2010 through 1 October 2010

ER -

MaramaAI: Automated and visual approach for Inconsistency checking of requirements

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this