切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
Formal engineering methods for software quality assurance
Formal engineering methods for software quality assurance
来源 :城市道桥与防洪 | 被引量 : 0次 | 上传用户:gkhksmq
【摘 要】
:
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
【作 者】
:
Shaoying LIU
【机 构】
:
Department of Computer Science, Faculty of Computer and Information Sciences, Hosei University, Toky
【出 处】
:
城市道桥与防洪
【发表日期】
:
2012年1期
【关键词】
:
software quality assurance
software engineering
software development
formal spec
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥主桥连续预应力混凝土变截面箱梁2#~7#块、8#、8
其他文献
A novel composite coating mesh film for oil-water separation
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
super-hydrophobic
super-oleophilic
compo-site coating
mesh film
separation of oi
A novel architecture for ahead branch prediction
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
branch prediction
branch speculation
branch target buffer
indirect branch
instru
On applying stochastic network calculus
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
stochastic network calculus
bound performance
arrival curve
service curve
生物质能源恰逢其时?
提到环保和大气治理,作为工业排放大户的火电企业总是广受诟病,但相关专家提醒我们,相比排放严格的大型火电企业,农业和生活中的煤炭和秸秆散烧才是更大的威胁。如何从怎样才能禁
期刊
火电企业
生物质能源
转变
培育发展
工业排放
能源结构
秸秆
大气治理
大气污染
可再生
专家
农业
煤炭
环保
产业
硅藻土基纳米结构AlOOH-MnO2复合氧化物沉积制备及其对As(Ⅴ)吸附性能
以结晶氯化铝为铝源、尿素为沉淀剂、高锰酸钾为锰源、过硫酸铵为氧化剂、十二烷基苯磺酸钠为模板剂,采用水热法在硅藻土藻盘上沉积制备纳米花片状AlOOH-MnO2复合氧化剂.采用
期刊
硅藻土
纳米结构
砷
吸附
Towards estimating computer users' mood from interaction behaviour with keyboard and mouse
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
keyboard
mouse
interaction
mood measure
computer users
programming
专题--快速原型在中国
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
潮州发电累计利润破百亿大关
截至7月31日,大唐潮州发电当年实现利润9.45亿元,累计实现利润100.51亿元,累计利润总额破百亿大关,实现了继2014年11月累计发电量破千亿后,又一个历史性节点跨越。
期刊
潮州
发电量
实现利润
利润总额
历史性
节点
大唐
Threshold public key encryption scheme resilient against continual leakage without random oracles
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
leakage-resilient
continual leakage
Threshold Public Key Encryption
adaptive cho
禽类肠道提取益生茵对肉鸡生长和抗病力的影响
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
益生菌
肉鸡
体重
免疫力
与本文相关的学术论文