Statechart规格环境项目管理模型设计与实现

来源 :桂林电子工业学院学报 | 被引量 : 0次 | 上传用户:lanaya0903
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Statechart是一种用于反应式实时系统的行为建模语言.针对Statechart行为建模的需要,设计并已部分实现基于Statechart的行为规格模型创建工具.该工具将为反应式实时系统的开发分析人员提供极大的方便.
其他文献
请下载后查看,本文暂不支持在线获取查看简介。 Please download to view, this article does not support online access to view profile.
期刊
请下载后查看,本文暂不支持在线获取查看简介。 Please download to view, this article does not support online access to view profile.
(接上期)rn3 用各种类型防老剂及其并用物改善NR/BR炭黑胎侧胶料动态屈挠及耐动态臭氧龟裂性能的评价rn3.1 胎侧胶rn典型的胎侧胶不是使用NR/BR,就是使用NR/BR/SBR,以改善耐
期刊
高血压性脑出血是临床常见的危及患者生命的急症之一,需要紧急抢救,然而目前国内救治高血压性脑出血的方案仅是一个粗略框架,各医院所采用救治方法多样,缺少合理的理论指导[1
体育公园建设在我国已经有了90年的历史,如今我国各个城市都在兴建各种类型、规模的体育公园,体育公园的建设正处于一个黄金时期,无论是质量还是建设规模都有了长足的进步。但随
据6月25日发表在《害虫科学》期刊上的一篇报道,减少成熟水果数量能够抑制果园椿象数量的增长。已有很多传闻表明椿象喜欢成熟的水果,但并没有人验证过。研究人员指出,这种臭
期刊
国务院发展研究中心预测 ,我国将进入汽车拥有率迅速上升期 ,到 2 0 1 0年 ,汽车保有量达到71 67万辆 ,年平均增长 1 5 .2 % ,轿车保有量达到2 0 70万辆 ,年平均增长 1 6.3%
期刊
期刊