Use Cases for Requirement Specification