2009 IEEE/ACM International Conference on Automated Software Engineering (2009)
Auckland, New Zealand
Nov. 16, 2009 to Nov. 20, 2009
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ASE.2009.38
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.
Inconsistency management, Requirements Engineering, Traceability, textual and visual requirements representation
M. Kamalrudin, "Automated Software Tool Support for Checking the Inconsistency of Requirements," 2009 IEEE/ACM International Conference on Automated Software Engineering(ASE), Auckland, New Zealand, 2009, pp. 693-697.