This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2009 IEEE/ACM International Conference on Automated Software Engineering
Automated Software Tool Support for Checking the Inconsistency of Requirements
Auckland, New Zealand
November 16-November 20
ISBN: 978-0-7695-3891-4
ASCII Text
x 
 
Massila Kamalrudin, "Automated Software Tool Support for Checking the Inconsistency of Requirements," 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), pp. 693-697, 2009 IEEE/ACM International Conference on Automated Software Engineering, 2009.
 
 
BibTex
x
 
@article{ 10.1109/ASE.2009.38,
author = {Massila Kamalrudin},
title = {Automated Software Tool Support for Checking the Inconsistency of Requirements},
journal ={2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011)},
volume = {0},
year = {2009},
issn = {1527-1366},
pages = {693-697},
doi = {http://doi.ieeecomputersociety.org/10.1109/ASE.2009.38},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011)
TI - Automated Software Tool Support for Checking the Inconsistency of Requirements
SN - 1527-1366
SP693
EP697
A1 - Massila Kamalrudin,
PY - 2009
KW - Inconsistency management
KW - Requirements Engineering
KW - Traceability
KW - textual and visual requirements representation
VL - 0
JA - 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011)
ER -
 
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.
Index Terms:
Inconsistency management, Requirements Engineering, Traceability, textual and visual requirements representation
Citation:
Massila Kamalrudin, "Automated Software Tool Support for Checking the Inconsistency of Requirements," ase, pp.693-697, 2009 IEEE/ACM International Conference on Automated Software Engineering, 2009
Usage of this product signifies your acceptance of the Terms of Use.