Investigating Comprehension and Learnability Aspects of Use Cases for Software Specification Problems