AGADUC: Towards a More Precise Presentation of Functional Requirement in Use Case Mod | IEEE Conference Publication | IEEE Xplore