UM  > 科技學院  > 電腦及資訊科學系
Unifying views of UML
Liu Z.1; He J.1; Liu J.1; Li X.5
Source PublicationElectronic Notes in Theoretical Computer Science
AbstractWe present an approach to embedding a formal method into Rational Unified Process (RUP). The purposes are: (a) to unify different views of UML. (b) to enhance UML with the formal method to improve the quality of software systems; and (c) to support effective use of the formal method for system specification and reasoning with the iterative and incremental approach by providing a unified conceptual framework. One of the main features of RUP is that it is use-case driven and supports iterative development more explicit than other process models, such as the waterfall model. Object-orientation also supports better and more explicitly incremental programming than the traditional imperative programming. These together will help to scale up the use of the formal method in software system development. The model is based on Hoare and He's Unifying Theories of Programming (UTP). © 2004 Elsevier B.V. All rights reserved.
KeywordObject-Orientation RUP UML UTP
URLView the original
Fulltext Access
Citation statistics
Document TypeConference paper
Affiliation1.United Nations University
2.Shanghai University
3.East China Normal University
4.University of Leicester
5.Universidade de Macau
Recommended Citation
GB/T 7714
Liu Z.,He J.,Liu J.,et al. Unifying views of UML[C],2004:95-127.
Related Services
Recommend this item
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[Liu Z.]'s Articles
[He J.]'s Articles
[Liu J.]'s Articles
Baidu academic
Similar articles in Baidu academic
[Liu Z.]'s Articles
[He J.]'s Articles
[Liu J.]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[Liu Z.]'s Articles
[He J.]'s Articles
[Liu J.]'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.