This paper describes formally the Use Case Diagram with Z language, which provide formal basis for UML.
英
美
本文使用Z语言给出UML中Use Case图的形式化描述,为UML提供形式化的基础。
目录
查词历史
英 汉