USECASE is an implementation independent notation. How will the designer give the implementation details of a particular USECASE to the programmer?

This can be accomplished by specifying the relationship called "refinement” which  talks about the two different abstraction of the same thing.

            Or example,

           

            calculate pay                 calculate

                                               

                                                class1   class2 class3