Time: Tuesday 20.01.2004, 14:30
Place: room C3-204, Fr. Bajersvej 7
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).