Completeness of the Use Case Specification