基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
介绍了从统一建模语言(UML)到规范描述语言(SDL)的一种转化设计方法,并以地铁售票机系统的设计为例,介绍了具体的转化过程.售票机系统的需求规范用UML描述,系统的设计规范用SDL语言表示.
推荐文章
武汉地铁自动售票机软件结构研究与设计
智能交通
自动售票机
分层体系结构
组件
地铁
地铁自动售票机设计中的人机工程学
自动售票机
人机工程学
产品设计
针对自动售票机控制系统的设计研究
自动售票机
控制系统
数据库
界面编程
基于网络化运营和精细化管理的地铁自动售票机改进设计
地铁
网络化运营
精细化管理
乘车路线
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 UML到SDL在地铁售票机系统中的应用
来源期刊 华东理工大学学报(自然科学版) 学科 工学
关键词 UML SDL 转化 形式化方法
年,卷(期) 2004,(5) 所属期刊栏目 研究论文
研究方向 页码范围 552-555,570
页数 5页 分类号 TP311
字数 1825字 语种 中文
DOI 10.3969/j.issn.1006-3080.2004.05.016
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 宋国新 华东理工大学计算机科学与工程系 62 256 9.0 12.0
2 潘俊 华东理工大学计算机科学与工程系 1 6 1.0 1.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (0)
共引文献  (0)
参考文献  (0)
节点文献
引证文献  (6)
同被引文献  (11)
二级引证文献  (3)
2004(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2005(1)
  • 引证文献(1)
  • 二级引证文献(0)
2010(2)
  • 引证文献(2)
  • 二级引证文献(0)
2012(1)
  • 引证文献(1)
  • 二级引证文献(0)
2018(3)
  • 引证文献(2)
  • 二级引证文献(1)
2019(1)
  • 引证文献(0)
  • 二级引证文献(1)
2020(1)
  • 引证文献(0)
  • 二级引证文献(1)
研究主题发展历程
节点文献
UML
SDL
转化
形式化方法
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
华东理工大学学报(自然科学版)
双月刊
1006-3080
31-1691/TQ
16开
上海市梅陇路130号
4-382
1957
chi
出版文献量(篇)
3399
总下载数(次)
2
总被引数(次)
27146
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导