切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
rCOS: a formal model-driven engineering method for component-based software
rCOS: a formal model-driven engineering method for component-based software
来源 :城市道桥与防洪 | 被引量 : 0次 | 上传用户:linuxcici
【摘 要】
:
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
【作 者】
:
Wei KE
Xiaoshan LI
Zhiming LIU
【机 构】
:
School of Computer Science and Engineering, Beihang University, Beijing 100191, China “,”Macao Polyt
【出 处】
:
城市道桥与防洪
【发表日期】
:
2012年1期
【关键词】
:
component-based design
models
model transformations
verification
tool support
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥主桥连续预应力混凝土变截面箱梁2#~7#块、8#、8
其他文献
Threshold public key encryption scheme resilient against continual leakage without random oracles
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
leakage-resilient
continual leakage
Threshold Public Key Encryption
adaptive cho
禽类肠道提取益生茵对肉鸡生长和抗病力的影响
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
益生菌
肉鸡
体重
免疫力
Formal engineering methods for software quality assurance
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
software quality assurance
software engineering
software development
formal spec
“我们”的杂志
北京西城区白广路二条一号,是个神奇的所在。对于电力行业和电力新闻人来说,它就像798之于艺术家,是个源源不断输出行业新高的宝地。籍着《中国电力报》《中国电业》《中国发电
期刊
电力行业
中国
网络电视台
政策解读
新闻人
技术信息
发电
艺术家
西城区
多媒体
输出
权威
前沿
改版
电业
北京
乘势而上的背后-华电乌溪江水电迎战入汛最强降水纪实
6月7日,浙江省全面进入梅雨季节。气象部门预测,今年梅汛期偏长,雨量偏多。
期刊
华电
乌溪江
水电
气象部门
梅雨季节
浙江省
梅汛期
预测
雨量
The use of mathematics in software quality assurance
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
software quality assurance
documentation based inspection
documentation based te
别让安全形同虚设
从陕西的山体滑坡,到天津的危险品仓库爆炸,逝去的鲜活生命,巨大的经济损失,沉痛的事故教训,惨痛的安全代价……这个夏天,安全,再一次让所有人警醒。 对于安全,我们有一个“通病”
期刊
安全事故
危险品仓库
安全责任
鲜活生命
事故教训
事故发生
神经
山体滑坡
经济损失
回到原点
规定动作
安全教育
安全检查
安全管理
追究
预防
天津
陕西
政策·数说
国务院办公厅近日印发《关于加快新能源汽车推广应用的指导意见》。该《意见》明确,要以纯电驱动为新能源汽车发展的主要战略取向,重点发展纯电动汽车、插电式混合动力汽车和燃
期刊
政策
规范性文件
注册资本
制度改革
国家发展
规范意见
登记制度
规章
本登记
人民共和国
通知
改革方案
电力
国务院
公司法
责任
条款
体改
股份
废止
国际·能源
墨西哥将改组国家石油公司 墨西哥新当选总统文森特·福克斯在11月下旬表示,为逐渐削弱国内政治势力对国家石油公司(Pemex)的影响,他将从政坛外挑选合适人选进入国家石油公
期刊
能源合作
哈萨克斯坦
会议
新经济政策
中哈两国
战略构想
丝绸之路
能源格局
国家发展
副部长
阿斯塔
政府
首都
企业
卡拉
局长
建设
机遇
改革
道路
An institution theory of formal meta-modelling in graphically extended BNF
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
meta-modelling
modelling languages
abstract syntax
semantics
graphic extension o
与本文相关的学术论文