期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到3篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于UML Statechart的人机交互界面建模
1
作者 刘舒婷 刘立辉 《电子世界》 2014年第22期154-155,共2页
本文以图书租借系统为例讨论了采用传统的面向过程的系统建模方式存在的不足，提出采用UML Statechart的建模方法对图书租借系统的人机交互界面建立模型。并通过Poseidon for UML CE8．0软件工具构建了图书租借系统人机交互界面的状态... 本文以图书租借系统为例讨论了采用传统的面向过程的系统建模方式存在的不足，提出采用UML Statechart的建模方法对图书租借系统的人机交互界面建立模型。并通过Poseidon for UML CE8．0软件工具构建了图书租借系统人机交互界面的状态模型，促进面向对象建模理论的应用。 展开更多
关键词 UMLStatechart 人机交互界面 图书租借系统
在线阅读 下载PDF
Statechart规格环境项目管理模型设计与实现
2
作者 蔡国永 古天龙 庞健雄 《桂林电子工业学院学报》 1999年第3期40-44,共5页
Ｓｔａｔｅｃｈａｒｔ是一种用于反应式实时系统的行为建模语言。针对 Ｓｔａｔｅｃｈａｒｔ行为建模的需要，设计并已部分实现基于 Ｓｔａｔｅｃｈａｒｔ的行为规格模型创建工具。该工具将为反应式实时系统的开发分析人员提供极大的方便。
关键词 STATECHART 规格 环境项目管理 行为建模语言
在线阅读 下载PDF
Statechart规格语言的语法分析研究 被引量：2
3
作者 钱俊彦 蔡国永 +1 位作者 古天龙 庞健雄 《桂林电子工业学院学报》 1999年第3期12-17,共6页
Ｓｔａｔｅｃｈａｒｔ是一种用以规约复杂反应式系统行为的可视化语言。它在一些方面上扩展了典型的状态转移图，保留甚至发挥了可视化要求。实际上， Ｓｔａｔｅｃｈａｒｔ 满足层次的描述，包括高层和低层事件，更显著地是采用广播... Ｓｔａｔｅｃｈａｒｔ是一种用以规约复杂反应式系统行为的可视化语言。它在一些方面上扩展了典型的状态转移图，保留甚至发挥了可视化要求。实际上， Ｓｔａｔｅｃｈａｒｔ 满足层次的描述，包括高层和低层事件，更显著地是采用广播通信机制产生连锁反应而引起多层并发。通过对 Ｓｔａｔｅｃｈａｒｔ语言进行了分析研究后给出了其形式化文法表示。在此基础上，讨论了 Ｓｔａｔｅｃｈａｒｔ规格语言语法正确性分析的问题。 展开更多
关键词 有限状态机 STATECHART 形式化方法 可视化语言
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部