UML到SDL在地铁售票机系统中的应用

作     者：潘俊 宋国新 

作者机构：华东理工大学计算机科学与工程系上海200237 

出 版 物：《华东理工大学学报（自然科学版）》 (Journal of East China University of Science and Technology)

年 卷 期：2004年第30卷第5期

页      码：552-555,570页

摘      要：介绍了从统一建模语言(UML)到规范描述语言(SDL)的一种转化设计方法,并以地铁售票机系统的设计为例,介绍了具体的转化过程。售票机系统的需求规范用UML描述,系统的设计规范用SDL语言表示。

主 题 词：UML SDL 转化 形式化方法 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.1006-3080.2004.05.016

馆 藏 号：203956095...