Formal Object-oriented User-interface Design Formal Object-oriented User-interface Design