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]](http://eprints.utem.edu.my/style/images/fileicons/application_pdf.png)
|
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 |