loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
25th Annual International Computer Software and Applications Conference (COMPSAC'01)
Formal and Use-Case Driven Requirement Analysis in UML
Chicago, Illinois
October 08-October 12
ISBN: 0-7695-1372-7
ASCII Text
x 
 
Xiaoshan Li, Zhiming Liu, Jifeng He, "Formal and Use-Case Driven Requirement Analysis in UML," Computer Software and Applications Conference, Annual International, pp. 215, 25th Annual International Computer Software and Applications Conference (COMPSAC'01), 2001.
 
 
BibTex
x
 
@article{ 10.1109/CMPSAC.2001.960619,
author = {Xiaoshan Li and Zhiming Liu and Jifeng He},
title = {Formal and Use-Case Driven Requirement Analysis in UML},
journal ={Computer Software and Applications Conference, Annual International},
volume = {0},
year = {2001},
issn = {0730-3157},
pages = {215},
doi = {http://doi.ieeecomputersociety.org/10.1109/CMPSAC.2001.960619},
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 - Formal and Use-Case Driven Requirement Analysis in UML
SN - 0730-3157
SP
EP
A1 - Xiaoshan Li,
A1 - Zhiming Liu,
A1 - Jifeng He,
PY - 2001
KW - Conceptual Model
KW - Use Cases
KW - Object-Orientation
KW - Incremental Model Building
KW - UML.
VL - 0
JA - Computer Software and Applications Conference, Annual International
ER -
 
Xiaoshan Li, The University of Macau
Zhiming Liu, The University of Leicester
Jifeng He, United Nations University, Macau.
We have recently proposed a formalization of the use of UML in requirement analysis. This paper applies that formalization to a library system as a case study. We intend to show how the approach supports a use case-driven, step-wised and incremental development in building models for requirement analysis. The actual process of building the models shows the importance and feasibility of the formalization itself.
Index Terms:
Conceptual Model, Use Cases, Object-Orientation, Incremental Model Building, UML.
Citation:
Xiaoshan Li, Zhiming Liu, Jifeng He, "Formal and Use-Case Driven Requirement Analysis in UML," compsac, pp.215, 25th Annual International Computer Software and Applications Conference (COMPSAC'01), 2001
Usage of this product signifies your acceptance of the Terms of Use.