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
fDate :
6/23/1905 12:00:00 AM
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;
Conference_Titel :
Computer Software and Applications Conference, 2001. COMPSAC 2001. 25th Annual International
Conference_Location :
Chicago, IL
Print_ISBN :
0-7695-1372-7
DOI :
10.1109/CMPSAC.2001.960619
