UM  > 科技學院
Towards the Integration of a Formal Object-Oriented Method and the Rational Unified
Zhiming Liu1,2; Xiaoshan Li3; He Jifeng1; Yifeng Chen2
2003
Source PublicationInternational Conference on Formal Engineering Methods
ISSN1551-0255
Pages641-664
Abstract

This paper is towards the development of a methodology for object-oriented software development. The intention is to support effective use of a formal model for specifying and reasoning during the requirements analysis and design of a software development process. The overall purpose is to enhance the application of the Unified Modelling Language (UML) with a formal semantics in the Rational Unified Software Development Process (RUP). The semantic framework defines the meaning of some UML submodels. It identifies both the static and dynamic relationships among these submodels. Thus, the focus of this paper is the development of a semantic model to consistently combine a use-case model and a conceptual class diagram to form a system specification.

KeywordObject-orientation Uml Use-cases Conceptual Models Requirement Specification
DOIhttps://doi.org/10.1007/978-3-540-39893-6_36
Indexed BySCI
Language英语
Fulltext Access
Citation statistics
Document TypeJournal article
CollectionFaculty of Science and Technology
DEPARTMENT OF COMPUTER AND INFORMATION SCIENCE
Affiliation1.International Institute for Software Technology The United Nations University, Macau
2.Department of Mathematics and Computer Science The University of Leicester, UK
3.Faculty of Science and Technology The University of Macau, Macau
Recommended Citation
GB/T 7714
Zhiming Liu,Xiaoshan Li,He Jifeng,et al. Towards the Integration of a Formal Object-Oriented Method and the Rational Unified[J]. International Conference on Formal Engineering Methods,2003:641-664.
APA Zhiming Liu,Xiaoshan Li,He Jifeng,&Yifeng Chen.(2003).Towards the Integration of a Formal Object-Oriented Method and the Rational Unified.International Conference on Formal Engineering Methods,641-664.
MLA Zhiming Liu,et al."Towards the Integration of a Formal Object-Oriented Method and the Rational Unified".International Conference on Formal Engineering Methods (2003):641-664.
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[Zhiming Liu]'s Articles
[Xiaoshan Li]'s Articles
[He Jifeng]'s Articles
Baidu academic
Similar articles in Baidu academic
[Zhiming Liu]'s Articles
[Xiaoshan Li]'s Articles
[He Jifeng]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[Zhiming Liu]'s Articles
[Xiaoshan Li]'s Articles
[He Jifeng]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.