10.3969/j.issn.1006-2475.2006.11.004
UML用例图的Z形式规范
统一建模语言UML已经成为面向对象建模语言的标准,用例图在面向对象的软件开发过程中起着重要的作用,但是它缺乏Z形式语言的精确性.为了对它的描述更加精确,本文使用Z语言给出UML中用例图的形式化描述,并将其应用在一个简单的图书馆管理系统中.
统一建模语言、用例图、形式化、Z语言
TP311(计算技术、计算机技术)
2006-12-05(万方平台首次上网日期,不代表论文的发表时间)
共3页
12-13,16