切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
Statechart规格环境项目管理模型设计与实现
Statechart规格环境项目管理模型设计与实现
来源 :桂林电子工业学院学报 | 被引量 : 0次 | 上传用户:wu000mengya
【摘 要】
:
Statechart是一种用于反应式实时系统的行为建模语言。针对Statechart行为建原需要,设计并已部分实现基于Statchart的行为规格模型创建工具。该工具将为反应式实时系统的开发分析人员提供极大的方便。
【作 者】
:
蔡国永
古天龙
【机 构】
:
桂林电子工业学院计算机分院
【出 处】
:
桂林电子工业学院学报
【发表日期】
:
1999年3期
【关键词】
:
STATECHART
规格
环境项目管理
行为建模语言
Statechart
behavior modeling
formal ethods
【基金项目】
:
九五预研项目,电科院预研基金
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Statechart是一种用于反应式实时系统的行为建模语言。针对Statechart行为建原需要,设计并已部分实现基于Statchart的行为规格模型创建工具。该工具将为反应式实时系统的开发分析人员提供极大的方便。
其他文献
CSAMT法在金寨银水寺地区找矿中的应用
2012年在金寨银水寺地区开展了多金属矿调查评价,为了更加详细的了解银水寺向斜构造、佛子岭岩群底部钙质岩层的分布特征及其推覆构造面的产状.2013年采用CSAMT法对异常区进行
期刊
CSAMT法
推覆构造
断层
银水寺向斜
CSAMT method
nappe structure
fault
Yinshuisi syncline
浦发银行移动支付卡的应用和探索
作为浦发银行与中国移动战略合作的具体实践之一,双方约定对社会发行符合人民银行PBOC2.0标准的中国移动浦发银行借贷合一联名卡。通过移动支付发卡项目的实施,浦发银行不仅
期刊
人民银行
中国移动
支付卡
应用
发卡系统
通信运营商
战略合作
移动支付
亲水作用色谱-电喷雾串联质谱法测定生鲜牛乳及奶粉中的双氰胺
建立了检测生鲜牛乳及奶粉中双氰胺的亲水作用色谱一电喷雾串联质谱(HILIC—ESI—MS/MS)分析方法。样品经乙腈提取后经亲水作用色谱柱分离,电喷雾串联四级杆质谱检测。结果显示,双
期刊
亲水作用色谱-电喷雾串联质谱法
双氰胺
生鲜牛乳
奶粉
dicyandiamide
hydrophilic interaction chromatograph
长江中下游转换构造结的特征、属性及其研究意义
“长江中下游转换构造结”是特提斯构造体制与太平洋构造体制交汇、衔接和转换的焦点部位,主要包括大别造山带、郯庐断裂带、长江中下游成矿带三大著名的构造单元,是中国东部
期刊
长江中下游成矿带
大别造山带
郯庐断裂带
构造转换
构造结
the mineralization of Middle and Lower Reaches Yan
现代商业银行如何通过数据仓库实现业务价值
近年来,各银行都非常重视数据仓库的建设,并积累了大量数据。但是,数据本身并不会带来业务价值,如何激活数据,向数据要效益,是摆在每个数据仓库建设者面前的一个挑战。数据仓库的价
期刊
业务价值
数据仓库
商业银行
仓库建设
银行业务
竞争力
华为成就全渠道金融战略,全面提升金融服务保障能力
在日前召开的华为网络大会上,“全渠道金融”行业创新论坛同期召开,来Forrester,工商银行,建设银行,印度信息技术提供商infosys等机构的多位行业专家与参会嘉宾共同探讨如何应用IC
期刊
金融服务
保障能力
渠道
华为
创新技术
工商银行
建设银行
金融业务
大爱无言 上善若水——写于常印佛院士80华诞
国人曰:大爱无言,上善若水。我认为这两句话是对常印佛先生品行的贴切写照。我体验先生的上善,受过他的大爱,大爱无言,感恩不能无言。为了善与爱的传承,谨撰此短文,权作对恩师
期刊
地质勘探
矿床
地质
地震断裂
庐枞盆地南缘黄马青组中含铀砂岩的发现及其意义
在枞阳县某地测制三叠纪黄马青组地层剖面过程中,发现一层含铀砂岩,层厚8.5m,含铀矿物为铜铀云母,呈片状分布于岩层表面、裂隙面和砂岩颗粒之间,拣块取样铀含量超过工业品位
期刊
庐枞盆地
黄马青组
铜铀云母
砂岩
Lu-Zong basin
Huangmaqing Formation
torbernite
sandstone
英特尔至强处理器E7 v3家族正式发布
英特尔公司日前在北京召开产品发布会,正式推出英特尔至强处理器E7-8800/4800 v3家族。该产品家族能够支持实时分析,并可为关键业务计算带来更强的性能和可靠性,从而能够帮助企
期刊
英特尔公司
至强处理器
家族
产品发布会
实时分析
可靠性
洞察力
业务
高职英语教学中智能科技应用改革
随着我国教育体系的日益完善,高职教育已经成为我国教育体系中的重要组成部分,在培养专业人才方面具有重要优势,但也必须不断优化、完善和改革教学模式,努力使高职教育更具有
期刊
高职教育
英语教学
智能科技
应用改革
与本文相关的学术论文