Towards the Integration of a Formal Object-Oriented Method and Relational Unified Process

Towards the Integration of a Formal Object-Oriented Method and Relational Unified Process

Jing Liu (United Nations University, Macau), Zhiming Lui (United Nations University, Macau and University of Leicester, UK), Xiaoshan Li (University of Macau, Macau), He Jifend (United Nations University, Macau) and Yifeng Chen (University of Leicester, UK)
Copyright: © 2005 |Pages: 33
DOI: 10.4018/978-1-59140-462-0.ch004

Abstract

In this chapter, we study the use of a formal object-oriented method within Relational Unified Process (RUP). Our purposes are (a) to unify different views of UML models; (b) to enhance RUP and UML with a formal method to improve the quality of software; (c) to scale up the use of the formal method with the use-case driven, iterative and incremental aspects of RUP. Our overall aim is to establish a sound foundation of RUP and UML and scale up the use of formal methods in software-intensive system development.

Complete Chapter List

Search this Book:
Reset