I don't think you can call it "re-writing" when the implementation has to handle a lot of the details that you can and should ignore on the specification. Try

I don't think you can call it "re-writing" when the implementation has to handle a lot of the details that you can and should ignore on the specification. Trying to compile a specification from the implementation would be equivalent to trying to do "top-down" via "bottom-up".