Towards a Precise UML-Based Development Method