MaramaAI: Automated and Visual Approach for Inconsistency Checking of
Requirements

QR Code

MaramaAI: Automated and Visual Approach for Inconsistency Checking of Requirements

Bibliographic Details
Main Authors:	kamalrudin, massila, hosking, John, Grundy, John
Format:	Conference or Workshop Item
Language:	English
Published:	2010
Subjects:	QA75 Electronic computers. Computer science
Online Access:	http://eprints.utem.edu.my/id/eprint/1880/ http://eprints.utem.edu.my/id/eprint/1880/1/Re_2010.pdf

Similar Items

Automated Software Tool Support for Checking the Inconsistency of Requirements
by: Kamalrudin, Massila
Published: (2009)

A pair-oriented requirements engineering approach for analysing multi-lingual requirements
by: Kamalrudin, Massila, et al.
Published: (2014)

An Approach For Detection Of Logical Inconsistency
by: Yadav, Rinki
Published: (2012)

A Visual Approach For Requirement Traceability
by: Madaki, Abdulkadir Ahmad
Published: (2022)

Vehicle Check-In & Check-Out Management System (VCCMS)
by: Nuramira Natasha, Zainuddin
Published: (2023)

A semi-automated requirements prioritisation technique for scalable requirements with stakeholder quantification and prioritisation
by: Hujainah, Fadhl Mohammed Omar
Published: (2019)

Automated visual surveillance using kernel tricks
by: Ahmed, Tarem, et al.
Published: (2013)

Intelligent mining multi dimensional association rules from large inconsistent databases.
by: Defit, Sarjon, et al.
Published: (2003)

The mold cost estimation calculator for plastic injection mold manufacturing
by: Kamalrudin, massila, et al.
Published: (2008)

AI-Driven Automation in Software Testing: Enabling SME Adoption
by: Sothy Sundara, Raju, et al.
Published: (2025)

Automated surveillance in distributed, wireless visual networks: a comparative study
by: Ahmed, Tarem, et al.
Published: (2013)

Automated surveillance in distributed, visual networks: an empirical comparison of recent algorithms
by: Ahmed, Tarem, et al.
Published: (2014)

Theoretical Isotope Generator: An Alternative towards Isotope Pattern Calculator
by: Kamalrudin, Massila, et al.
Published: (2007)

Software Learning Tool to Calculate Isotope Pattern for Chemistry Area of Study
by: Kamalrudin, Massila, et al.
Published: (2008)

Semi - automated software requirement specification (SRS) document generator: The guideline to novice system analyst
by: Siti Nur Fathin Najwa, Mustaffa, et al.
Published: (2021)

Visualization of automated plate cutting operation using DXF file
by: Abd. Rahim, Norazura
Published: (2008)

Software Model Checking For Distributed Applications Using Hybridization Of Centralization And Cache Approaches
by: Hing, Ratana
Published: (2024)

Architecture of Mobile Web Application for Generating Dynamic Route Map
by: Abdullah, Muhammad Haziq Lim, et al.
Published: (2008)

A Mobile Web Application Architecture For Generating Destination Oriented LRT Route
by: Abdul-Aziz, Azlianor, et al.
Published: (2008)

Architecture of Mobile Web Application for Generating Dynamic Route Map
by: Lim, A. M. HAZIQ, et al.
Published: (2008)

Modernizing Testing: A Comparative Review of Test Automation Frameworks and AI Tools
by: Sothy Sundara, Raju, et al.
Published: (2025)

A multi-agent K-means with case-based reasoning for an automated quality assessment of software requirement specification
by: Jubair, Mohammed Ahmed, et al.
Published: (2023)

AI powered asthma prediction towards treatment formulation: an android app approach
by: Murad, Saydul Akbar, et al.
Published: (2022)

Destination-Oriented Route in Integrated LRT Web-Based System for Tourism
by: Sulong, Muhammad Suhaizan, et al.
Published: (2007)

Software Requirement Analysis and Design: Object-oriented approach with UML
by: Abd Ghani, M. K., et al.
Published: (2011)

Multiple vehicle cooperation and collision avoidance in automated vehicles : Survey and an AI‑enabled conceptual framework
by: Abu Jafar, Md Muzahid, et al.
Published: (2023)

The Requirement Analysis of An Offline Automated Invigilation System with Gmail Alert Integration
by: A., Eenaja, et al.
Published: (2025)

Disaster recovery with minimum replica plan for reliability checking in multi-cloud
by: Alshammari, Mohammad Matar, et al.
Published: (2018)

How AIS Addresses Adaptability in IDS
by: Zainal, Anazida, et al.
Published: (2005)

Free PC check - up
Published: (2008)

Comparing Discrete Event and Agent Based Simulation in Modelling Human Behaviour at Airport Check-in Counter
by: Mazlina, Abdul Majid, et al.
Published: (2016)

Authorized Redundant Check Support in a Hybrid Cloud Environment
by: Durgadevi, ., et al.
Published: (2024)

Reprocolla: Requirements prioritisation model with collaboration perspectives based on cost-value approach
by: Tan, Amelia, et al.
Published: (2024)

SRPTackle: a semi-automated requirements prioritisation technique for scalable requirements of software system projects
by: Fadhl, Hujainah, et al.
Published: (2021)

Cabaran AI dalam Pendidikan: Kaedah Mengesan Penggunaan Alatan AI dalam Tugasan Pelajar
by: Rahmah, Mokhtar
Published: (2024)

SMS applications: Short Messaging & Result Checking System (SMRCS) / Lau Sook Wai
by: Lau , Sook Wai
Published: (2003)

A Mobile Web Application Engine for Generating Destination-oriented LRT Route
by: Abdullah, Muhammad Haziq Lim, et al.
Published: (2009)

Enhanced and automated approaches for fish recognition and classification system
by: Samma, Ali Salem Ali
Published: (2011)

Software visual specification for requirement engineering education
by: Fauziah, Zainuddin, et al.
Published: (2019)

Software visual specification for requirement specification validation
by: Fauziah, Zainuddin, et al.
Published: (2018)