Creator of Knowledge
Information Resources Management Association
Advancing the Concepts & Practices of Information Resources Management in Modern Organizations

Formal Support to Incremental Development

Formal Support to Incremental Development
View Free PDF
Author(s): Jing Liu (United Nations University, Japan), Zhiming Liu (United Nations University, Japan), Xiaoshan Li (University of Macau, Macau) and Jifeng He (University of Macau, Macau)
Copyright: 2004
Pages: 5
Source title: Innovations Through Information Technology
Source Editor(s): Mehdi Khosrow-Pour, D.B.A. (Information Resources Management Association, USA)
DOI: 10.4018/978-1-59140-261-9.ch021
ISBN13: 9781616921255
EISBN13: 9781466665347


This paper presents an approach that integrates a formal method with Rational Unified Process (RUP). The intentions are: firstly, unifying different views of UML models that are used in RUP; secondly, supporting effective use of formal method for system specification and reasoning with the iterative and incremental approach in RUP. Our overall aim is to enhance the modeling ability of UML and RUP in preciseness and conciseness. The formal specification notation is based on Hoare and He’s Unifying Theories of Programming (UTP).

Body Bottom