简述Statecharts的CASE工具SuperState

钱俊彦

【摘要】：在介绍基于Statecharts语言的验证工具SuperState的编辑环境的基础上,简述SuperState工具中主要部分的实现思想,即采用静态分析和动态仿真保证设计模型的正确性。

下载App查看全文

下载全文更多同类文献

PDF全文下载

CAJ全文下载

(如何获取全文？欢迎：购买知网充值卡、在线充值、在线咨询)

CAJViewer阅读器支持CAJ、PDF文件格式，AdobeReader仅支持PDF格式

	【相似文献】
	【相似文献】

中国期刊全文数据库

前20条

1	肖人彬,费奇,魏祥云;煤矿生产系统的动态仿真[J];系统仿真学报;1993年04期
2	刘晓云，李超，杨绍泉，张曰敏;基于加工过程仿真的圆弧剪取算法[J];华中理工大学学报;1995年02期
3	范立耘;纤维缠绕机工艺过程的动态仿真研究[J];国外建材科技;2001年02期
4	邱东方;化学动力学动态仿真CAI课件的设计[J];宝鸡文理学院学报(自然科学版);2003年03期
5	刘继民;刘立泽;梁伟杰;齐志军;;一种嵌入ADAMS解算器的UG运动分析研究[J];计算机仿真;2006年12期
6	王海龙;米红军;秦志辉;;三维虚拟采矿系统实体矿床模型的构建[J];金属矿山;2007年02期
7	李旭荣;郑相周;;基于ADAMS的牛头刨床工作机构虚拟样机设计与动态仿真[J];中国工程机械学报;2007年04期
8	王欣;宋晓光;滕儒民;王益华;赵福令;;基于MATLAB高空作业车电液比例调平系统仿真研究[J];机床与液压;2008年04期
9	孙克辉;任健;尚芳;;分数阶混沌系统的动态仿真方法研究[J];计算机仿真;2008年06期
10	薛申芳;鞠金东;马建珍;;摆钟运动的simulink动态仿真[J];邢台学院学报;2008年04期
11	王涛;崔群凤;;基于ADAMS的唧筒抽水机虚拟样机设计与动态仿真[J];湖北农机化;2010年01期
12	吴靖，曾建潮，孙国基;石油化工过程动态仿真的递阶方法[J];计算机仿真;1997年03期
13	吴涛涛;张会生;苏明;;微通道重整器的动态特性建模与仿真[J];计算机仿真;2007年01期
14	章军;须文波;宋浩;;气动式摆动柔性关节多状态下的模型与仿真[J];机械科学与技术;2007年06期
15	任洪娥;宫妍;;MLFB纤维形态的数学描述与仿真[J];林业机械与木工设备;2007年06期
16	安爱琴;宋长源;王宏强;聂永芳;;基于Solidworks的液压泵工作原理动态仿真[J];煤矿机械;2007年12期
17	任春明;苑文法;江辉;;利用Matlab模拟混沌控制与同步[J];南阳师范学院学报;2007年12期
18	高英敏;解海滨;王文明;姚建辉;宋建农;;CAD系统在行栽机设计中的应用[J];农机化研究;2008年05期
19	刘淑芬;;基于SolidWorks的减速器拆装及工作原理动态仿真[J];辽宁工业大学学报(自然科学版);2009年03期
20	齐晓杰;于建国;;基于虚拟样机技术的载重车辆轮胎仿真技术[J];东北林业大学学报;2009年08期

中国重要会议论文全文数据库

前10条

1	钱俊彦;;简述Statecharts的CASE工具SuperState[A];广西计算机学会2006年年会论文集[C];2006年
2	王建霞;;红外探测与动态仿真环境融合技术研究[A];二○○一年中国系统仿真学会学术年会论文集[C];2001年
3	蓝小民;;基于AutoCAD环境下的平面连杆机构动态仿真研究[A];第十四届全国图学教育研讨会暨第六届制图CAI课件演示交流会论文集（下册）[C];2004年
4	刘玉军;;CIMS环境下的数控动态图形仿真技术[A];1995年中国控制会议论文集（下）[C];1995年
5	刘永;彭正洪;靳萍;;MATLAB/SIMULINK在多渠段串联系统动态仿真中的应用[A];中国图学新进展2007——第一届中国图学大会暨第十届华东六省一市工程图学学术年会论文集[C];2007年
6	刘永清;张光宇;;工业用地结构优化的动态仿真模型[A];1995中国控制与决策学术年会论文集[C];1995年
7	陈则韶;戚学贵;周相芝;陶然;程文龙;;压缩制冷空调装置动态仿真研究(一)[A];'2000系统仿真技术及其应用学术交流会论文集[C];2000年
8	杨晓京;陈子辰;樊瑜瑾;李浙昆;;开放式数控系统加工仿真模块的开发[A];机床与液压学术研讨会论文集[C];2004年
9	葛华兰;周洪;;基于Web的气动系统选型与仿真软件[A];机床与液压学术研讨会论文集[C];2004年
10	陈澎;;一种面向GIS整体开发思想和CASE工具设计[A];科技、工程与经济社会协调发展——中国科协第五届青年学术年会论文集[C];2004年

中国博士学位论文全文数据库

前10条

1	李仁见;堆操作程序分析验证技术研究[D];国防科学技术大学;2011年
2	肖君;学习技术系统谱系框架研究[D];华东师范大学;2006年
3	刘建宾;过程蓝图设计方法学及其支撑工具[D];西北大学;2003年
4	王嘉捷;多重循环程序内存访问越界增量检测方法[D];中国科学技术大学;2009年
5	姜励;基于程序设计语言的安全降密模型研究[D];浙江大学;2008年
6	陈立前;基于区间线性抽象域的可靠浮点及非凸静态分析[D];国防科学技术大学;2010年
7	李倩;客运专线动态可视工程施工管理信息系统关键技术研究[D];中南大学;2010年
8	董威;面向UML的模型检验研究[D];中国人民解放军国防科学技术大学;2002年
9	冯力;支持机械创新设计CAD方法的探索[D];西安电子科技大学;1999年
10	刘静;基于形式规格说明的统一软件建模系统的研究[D];上海大学;2005年

中国硕士学位论文全文数据库

前10条

1	顾幸;天空景物仿真方法研究[D];南京理工大学;2004年
2	吴海涛;计算机仿真技术在激光打印机组件虚拟设计中的应用研究[D];武汉理工大学;2007年
3	闵建成;切割用智能CAD/CAM系统关键技术研究与系统开发[D];山东大学;2005年
4	王秋艳;采用OpenGL实现机械部件的离散元法仿真分析[D];吉林大学;2005年
5	霍思敏;DTS动态仿真中的用户自定义建模[D];浙江大学;2007年
6	曹晋阳;构件化软件测试的静态分析及配置体系研究[D];西安理工大学;2007年
7	彭剑波;基于轮壤作用试验的月球车与月壤相互作用动态仿真[D];吉林大学;2009年
8	朱缓;基于分形算法的海面动态仿真[D];哈尔滨理工大学;2010年
9	管铭;基于程序分析的软件安全漏洞检测技术研究[D];西北工业大学;2007年
10	孙辉;嵌入式软件质量体系和软件质量自动评价系统的研究[D];东华大学;2010年

中国重要报纸全文数据库

前10条

1	记者尚静;我区利用虚拟制造技术趋向成熟[N];新疆科技报(汉);2006年
2	李永波;用Flash 5制作绕球旋转的文字[N];中国电脑教育报;2002年
3	信息产业部软件与集成电路促进中心于明唐仕武;驶入测试“快车道”[N];计算机世界;2007年
4	;消息中心驱动浏览式办公[N];中国计算机报;2007年
5	北京杨峰;在UG中进行英制与公制的转换[N];电脑报;2004年
6	四川胡丹赵应泽夏禄兴;Protel 99se图纸打印技巧[N];电子报;2003年
7	方安全;数形结合的典范[N];中国电脑教育报;2002年
8	刘丽华金水高胡凯梁子柱;国际主流卫生信息模型一览[N];计算机世界;2006年
9	佚名;虚拟现实在房产建筑设计中的应用[N];中华建筑报;2008年
10	小新;轻松打造自己的QQ场景[N];中国电脑教育报;2005年

	快捷付款方式		订购知网充值卡	订购热线	帮助中心
	微信支付支付宝银行卡	知网卡在线购卡更多>>	免费送卡上门银行汇款购卡邮局汇款购卡	400-819-9993 010-62982499 010-62783978	常见问题在线咨询阅读器下载	充值中心知网卡新手指南