Automated Software Tool Support for Checking the Inconsistency of Requirements

Kamalrudin, Massila (2009) Automated Software Tool Support for Checking the Inconsistency of Requirements. In: 2009 IEEE/ACM International Conference on Automated Software Engineering, Auckland,New Zealand.

[img]
Preview
PDF (Automated Software Tool Support for Checking the Inconsistency of Requirements)
ASE_2009.pdf - Published Version

Download (643kB)

Abstract

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 challenging when refining informal to formalized requirements. We propose an automated tool with traceability and consistency checking techniques to support analysis of requirements and traceability between different representations: textual, visual, informal and formal.

Item Type: Conference or Workshop Item (Paper)
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Divisions: Faculty of Information and Communication Technology > Department of Software Engineeering
Depositing User: Dr Massila Kamalrudin
Date Deposited: 12 Apr 2012 13:15
Last Modified: 28 May 2015 02:25
URI: http://eprints.utem.edu.my/id/eprint/1876
Statistic Details: View Download Statistic

Actions (login required)

View Item View Item