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

软件工程学院

科研成果: 书/报告/会议事项章节 › 章节 › 同行评审

1 引用（Scopus）

摘要

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.

源语言	英语
主期刊名	Software Evolution with UML and XML
出版商	IGI Global
页	101-133
页数	33
ISBN（电子版）	9781591404644
ISBN（印刷版）	9781591404620
DOI	https://doi.org/10.4018/9781591404620.ch004
出版状态	已出版 - 1 1月 2004

访问文件

10.4018/9781591404620.ch004

其它文件与链接

链接到 Scopus 的出版物

引用此

@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

摘要

访问文件

其它文件与链接

指纹

引用此