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...
| Main Author: | |
|---|---|
| Format: | Conference or Workshop Item |
| Language: | English |
| Published: |
2009
|
| Subjects: | |
| Online Access: | http://eprints.utem.edu.my/id/eprint/1876/ http://eprints.utem.edu.my/id/eprint/1876/1/ASE_2009.pdf |
| _version_ | 1848886942010179584 |
|---|---|
| author | Kamalrudin, Massila |
| author_facet | Kamalrudin, Massila |
| author_sort | Kamalrudin, Massila |
| building | UTeM Institutional Repository |
| collection | Online Access |
| description | 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. |
| first_indexed | 2025-11-15T19:46:30Z |
| format | Conference or Workshop Item |
| id | utem-1876 |
| institution | Universiti Teknikal Malaysia Melaka |
| institution_category | Local University |
| language | English |
| last_indexed | 2025-11-15T19:46:30Z |
| publishDate | 2009 |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | utem-18762015-05-28T02:25:47Z http://eprints.utem.edu.my/id/eprint/1876/ Automated Software Tool Support for Checking the Inconsistency of Requirements Kamalrudin, Massila QA75 Electronic computers. Computer science 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. 2009 Conference or Workshop Item PeerReviewed application/pdf en http://eprints.utem.edu.my/id/eprint/1876/1/ASE_2009.pdf 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. http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5431705&tag=1 |
| spellingShingle | QA75 Electronic computers. Computer science Kamalrudin, Massila Automated Software Tool Support for Checking the Inconsistency of Requirements |
| title | Automated Software Tool Support for Checking the Inconsistency of Requirements |
| title_full | Automated Software Tool Support for Checking the Inconsistency of Requirements |
| title_fullStr | Automated Software Tool Support for Checking the Inconsistency of Requirements |
| title_full_unstemmed | Automated Software Tool Support for Checking the Inconsistency of Requirements |
| title_short | Automated Software Tool Support for Checking the Inconsistency of Requirements |
| title_sort | automated software tool support for checking the inconsistency of requirements |
| topic | QA75 Electronic computers. Computer science |
| url | http://eprints.utem.edu.my/id/eprint/1876/ http://eprints.utem.edu.my/id/eprint/1876/ http://eprints.utem.edu.my/id/eprint/1876/1/ASE_2009.pdf |