Formal and use-case driven requirement analysis in UML

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 ana...

Full description

Saved in:
Bibliographic Details
Published in25th Annual International Computer Software and Applications Conference. COMPSAC 2001 pp. 215 - 224
Main Authors Li, X., Liu, Z., He, J.
Format Conference Proceeding Journal Article
LanguageEnglish
Published IEEE 2001
Subjects
Buildings
Computer science
Helium
Large-scale systems
Mathematics
Object oriented modeling
Process design
Programming
Software libraries
Unified modeling language
Online AccessGet full text

Cover

More Information
Summary: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.
Bibliography:SourceType-Scholarly Journals-2
ObjectType-Feature-2
ObjectType-Conference Paper-1
content type line 23
SourceType-Conference Papers & Proceedings-1
ObjectType-Article-3
ISBN:0769513727
9780769513720
ISSN:0730-3157
DOI:10.1109/CMPSAC.2001.960619