Formal and use-case driven requirement analysis in UML

Xiaoshan Li; Zhiming Liu; Jifeng He

doi:10.1109/CMPSAC.2001.960619

Formal and use-case driven requirement analysis in UML

Xiaoshan Li
, Zhiming Liu
, Jifeng He

University of Macau
University of Leicester
United Nations University Institute in Macau

科研成果: 期刊稿件 › 文章 › 同行评审

33 引用（Scopus）

摘要

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.

源语言	英语
页（从-至）	215-224
页数	10
期刊	Proceedings - IEEE Computer Society's International Computer Software and Applications Conference
DOI	https://doi.org/10.1109/CMPSAC.2001.960619
出版状态	已出版 - 2001
已对外发布	是

访问文件

10.1109/CMPSAC.2001.960619

其它文件与链接

链接到 Scopus 的出版物

引用此

@article{e2e6f0c64c484f26929d505676044c3f,

title = "Formal and use-case driven requirement analysis in UML",

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 = "Conceptual Model, Incremental Model Building, Object-Orientation, UML, Use Cases",

author = "Xiaoshan Li and Zhiming Liu and Jifeng He",

year = "2001",

doi = "10.1109/CMPSAC.2001.960619",

language = "英语",

pages = "215--224",

journal = "Proceedings - IEEE Computer Society's International Computer Software and Applications Conference",

issn = "0730-3157",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

}

TY - JOUR

T1 - Formal and use-case driven requirement analysis in UML

AU - Li, Xiaoshan

AU - Liu, Zhiming

AU - He, Jifeng

PY - 2001

Y1 - 2001

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

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

KW - Conceptual Model

KW - Incremental Model Building

KW - Object-Orientation

KW - UML

KW - Use Cases

UR - https://www.scopus.com/pages/publications/0035176183

U2 - 10.1109/CMPSAC.2001.960619

DO - 10.1109/CMPSAC.2001.960619

M3 - 文章

AN - SCOPUS:0035176183

SN - 0730-3157

SP - 215

EP - 224

JO - Proceedings - IEEE Computer Society's International Computer Software and Applications Conference

JF - Proceedings - IEEE Computer Society's International Computer Software and Applications Conference

ER -

Formal and use-case driven requirement analysis in UML

摘要

访问文件

其它文件与链接

指纹

引用此