loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2007 31st Annual International Computer Software and Applications Conference
A Method of Requirement Inconsistency Analysis
Beijing, China
July 24-July 27
ISBN: 0-7695-2870-8
ASCII Text
x 
 
Zhang Yikun, Yin Peng, Cui Duwu, Xia Hui, "A Method of Requirement Inconsistency Analysis," Computer Software and Applications Conference, Annual International, vol. 1, pp. 211-214, 2007 31st Annual International Computer Software and Applications Conference, 2007.
 
 
BibTex
x
 
@article{ 10.1109/COMPSAC.2007.28,
author = {Zhang Yikun and Yin Peng and Cui Duwu and Xia Hui},
title = {A Method of Requirement Inconsistency Analysis},
journal ={Computer Software and Applications Conference, Annual International},
volume = {1},
year = {2007},
issn = {0730-3157},
pages = {211-214},
doi = {http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2007.28},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Computer Software and Applications Conference, Annual International
TI - A Method of Requirement Inconsistency Analysis
SN - 0730-3157
SP211
EP214
A1 - Zhang Yikun,
A1 - Yin Peng,
A1 - Cui Duwu,
A1 - Xia Hui,
PY - 2007
KW - null
VL - 1
JA - Computer Software and Applications Conference, Annual International
ER -
 
Zhang Yikun, Xi?an University of Technology
Yin Peng, Xi?an University of Technology
Cui Duwu, Xi?an University of Technology
Xia Hui, Xi?an University of Technology
A new requirement inconsistency analysis method is presented to solve the problem of inconsistent requirement description in the process of requirement analysis. In the method, the requirement model is of two sets: state set and event set, and is described as reduced state machine to maintain global context information. A unified requirement model is reached by using ternary logic operator to resolve the inconsistency in the inconsistent models. In addition, a tool named SRIA implemented based on the method is introduced.
Citation:
Zhang Yikun, Yin Peng, Cui Duwu, Xia Hui, "A Method of Requirement Inconsistency Analysis," compsac, vol. 1, pp.211-214, 2007 31st Annual International Computer Software and Applications Conference, 2007
Usage of this product signifies your acceptance of the Terms of Use.