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

Jing Liu; Zhiming Liu; Xiaoshan Li; He Jifeng; Yifeng Chen

doi:10.4018/9781591404620.ch004

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

Jing Liu, Zhiming Liu, Xiaoshan Li, He Jifeng, Yifeng Chen

Software Engineering Institute

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

1 Scopus citations

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.

Original language	English
Title of host publication	Software Evolution with UML and XML
Publisher	IGI Global
Pages	101-133
Number of pages	33
ISBN (Electronic)	9781591404644
ISBN (Print)	9781591404620
DOIs	https://doi.org/10.4018/9781591404620.ch004
State	Published - 1 Jan 2004

Access to Document

10.4018/9781591404620.ch004

Cite this

@inbook{5cd32f06efb54584b1f1d72da8517c81,

title = "Towards the Integration of a Formal Object-Oriented Method and Relational Unified Process",

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.",

author = "Jing Liu and Zhiming Liu and Xiaoshan Li and He Jifeng and Yifeng Chen",

year = "2004",

month = jan,

day = "1",

doi = "10.4018/9781591404620.ch004",

language = "英语",

isbn = "9781591404620",

pages = "101--133",

booktitle = "Software Evolution with UML and XML",

publisher = "IGI Global",

address = "美国",

}

TY - CHAP

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

AU - Liu, Jing

AU - Liu, Zhiming

AU - Li, Xiaoshan

AU - Jifeng, He

AU - Chen, Yifeng

PY - 2004/1/1

Y1 - 2004/1/1

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

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

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

U2 - 10.4018/9781591404620.ch004

DO - 10.4018/9781591404620.ch004

M3 - 章节

AN - SCOPUS:105013734647

SN - 9781591404620

SP - 101

EP - 133

BT - Software Evolution with UML and XML

PB - IGI Global

ER -

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

Abstract

Access to Document

Other files and links

Fingerprint

Cite this