Unifying Views of UML | Zendy

Zhiming Liu | Zendy; Jifeng He | Zendy; Jing Liu | Zendy; Xiaoshan Li | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Unifying Views of UML

Author(s) -

Zhiming Liu,

Jifeng He,

Jing Liu,

Xiaoshan Li

Publication year - 2004

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2004.02.018

Subject(s) - rational unified process , computer science , unified modeling language , applications of uml , programming language , uml tool , formal methods , software engineering , software development , software development process , software

We present an approach to embedding a formal method into the Rational Unified Process (RUP) The purposes are: (a) to unify different views of UML, (b) to enhance RUP and 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 in RUP Our overall aim is to base RUP and UML on the formal method and 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)

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research