Under state law , DeVries must be released to the jurisdiction in which he was convicted .
Under state policy , DeVries was to be returned to San Jose , where he was last convicted .
the logical specifications of the system form logical design are transformed into technology specific details