DocumentCode
1726627
Title
Formal and use-case driven requirement analysis in UML
Author
Li, Xiaoshan ; Liu, Zhiming ; He, Jifeng
Author_Institution
Fac. of Sci. & Technol., Macau Univ., Macau
fYear
2001
fDate
6/23/1905 12:00:00 AM
Firstpage
215
Lastpage
224
Abstract
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
Keywords
formal specification; object-oriented programming; specification languages; UML; conceptual model; formal analysis; incremental model building; library system; object-oriented programming; use-case driven requirement analysis; Buildings; Computer science; Helium; Large-scale systems; Mathematics; Object oriented modeling; Process design; Programming; Software libraries; Unified modeling language;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Software and Applications Conference, 2001. COMPSAC 2001. 25th Annual International
Conference_Location
Chicago, IL
ISSN
0730-3157
Print_ISBN
0-7695-1372-7
Type
conf
DOI
10.1109/CMPSAC.2001.960619
Filename
960619
Link To Document