Formalization, Testing and Execution of a Use Case Diagram.

Wuwei Shen, Shaoying Liu

Browse the full ICFEM paper archive.