Formal and Use-Case Driven Requirement Analysis in UML

Chicago, Illinois October 08-October 12

DOI Bookmark:

http://doi.ieeecomputersociety.org/10.1109/CMPSAC.2001.960619

25th Annual International Computer So ...

	This Article
	PURCHASE ARTICLE: $19 PDF HTML IEEE Xplore Subscribers
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Xiaoshan Li Articles by Zhiming Liu Articles by Jifeng He

	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

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.