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...
Saved in:
| Main Author: | |
|---|---|
| Format: | Conference or Workshop Item |
| Language: | en |
| Published: |
2009
|
| Subjects: | |
| Online Access: | http://eprints.utem.edu.my/id/eprint/1876/1/ASE_2009.pdf http://eprints.utem.edu.my/id/eprint/1876/ http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5431705&tag=1 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Be the first to leave a comment!