Software Function Specification