Functional Specifications for Correctional Management Systems