The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
Formal Support to Incremental Development
|
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
|
Abstract
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).
|
|