Automated Software Tool Support for Checking the Inconsistency of Requirements

QR Code

Automated Software Tool Support for Checking the Inconsistency of Requirements

Handling inconsistency in software requirements is a complicated task which has attracted the interest of many groups of researchers. Formal and semi-formal specifications often have inconsistencies in the depicted requirements that need to be managed and resolved. This is particularly challeng...

Full description

Bibliographic Details
Main Author:	Kamalrudin, Massila
Format:	Conference or Workshop Item
Language:	English
Published:	2009
Subjects:	QA75 Electronic computers. Computer science
Online Access:	http://eprints.utem.edu.my/id/eprint/1876/ http://eprints.utem.edu.my/id/eprint/1876/1/ASE_2009.pdf

Similar Items

MaramaAI: Automated and Visual Approach for Inconsistency Checking of Requirements
by: kamalrudin, massila, et al.
Published: (2010)

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

Software Requirement Specification Tool
by: Kong, Meng Yeow
Published: (2016)

An automated tool for business rule-driven, object-oriented software evolution
by: Wan Kadir, Wan M. N.
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)

GRAT: Groupware supported requirements analysis tool / Veleswaran Nallaiah
by: Veleswaran, Nallaiah
Published: (2004)

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)

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

Software requirement analysis for point of sales tinting software
by: Manikam, Sadesh
Published: (2007)

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)

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

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

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

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

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

Requirements management tools / Ameran Jaffar
by: Ameran, Jaffar
Published: (2004)

An Automated Tool for MC/DC Test Data Generation
by: Ariful, Haque, et al.
Published: (2014)

Development of automated web traversing tool / Tai Sock Yin
by: Tai, Sock Yin
Published: (2004)

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

An evaluation of traceability approaches to support software evolution
by: Rochimah, S., et al.
Published: (2007)

Software Requirements Prioritisation: A Systematic Literature Review on Significance, Stakeholders, Techniques and Challenges
by: Hujainah, Fadhl, et al.
Published: (2018)

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)

Software Requirement Prioritization Prototype Using Analytical Hierarchical Process (AHP)
by: Rohani, Abu Bakar, et al.
Published: (2014)

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

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

CPT243 – Software Requirements Analysis & Modelling June 2018
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2018)

CPT 243 - Software Requirement Analysis & Modeling June 2019
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2019)

Requirements elicitation and analysis: towards the automation of software project risk management
by: Nordin, Azlin, et al.
Published: (2014)

Supporting system development by novice software engineers using a tutor-based software visualization (TubVis) approach
by: Sulaiman, Shahida, et al.
Published: (2008)

System Development: What, Why, When And How CASE Tools Should Support Novice Software Engineers.
by: Sulaiman, Shahida, et al.
Published: (2007)

Tools for collaborative software inspection management / Lai Poh Fatt
by: Lai , Poh Fatt
Published: (2005)

Interactive web based learning systems software requirements engineering course / Wong Ing Hee
by: Wong, Ing Hee
Published: (2005)

CPT243 – SOFTWARE REQUIREMENTS ANALYSIS & MODELLING APR-MAY 2011
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2011)

The supported grid tool for measuring an applicability of medical dataset visualization
by: Najam, Ibrahim Salem
Published: (2008)

A web-based skill assessment tool for the Libyan software industry / Yousef Omran Belman
by: Yousef Omran, Belman
Published: (2007)

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

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