Software Specification Results