Zhiming Liu

International Institute for Software Technology, The United Nations University, UNU/IIST,Macao SAR China.

Time: Tuesday 20.01.2004, 14:30
Place: room C3-204, Fr. Bajersvej 7

A Design Calculus and its Application to UML Based Software Development

This talk presents a relational model of OO programming and an approach to embedding a formal method into the Rational Unified Process (RUP). The purposes are: (a) to unify different views of UML, (b) to enhance RUP and UML with the formal method to improve the quality of software systems, and (c) to support effective use of the formal method for system specification and reasoning with the iterative and incremental approach in RUP. Our overall aim is to base RUP and UML on the formal method and to scale up the use of the formal method in software system development. The model is based on Hoare and He's Unifying Theories of Programming (UTP).