期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
表格语言的分析比较
1
作者
陈怡海
缪淮扣
《计算机科学》
CSCD
北大核心
2014年第3期23-26,共4页
表格语言具有可读性和可理解性的优点,它能非常精确地表示软件系统需求。在过去的30多年间,表格语言已经成功地应用于多个安全关键嵌入式软件的开发中。准确了解这些表格语言的特性,对表格语言的研究及推广有重要的指导意义。对3种不同...
表格语言具有可读性和可理解性的优点,它能非常精确地表示软件系统需求。在过去的30多年间,表格语言已经成功地应用于多个安全关键嵌入式软件的开发中。准确了解这些表格语言的特性,对表格语言的研究及推广有重要的指导意义。对3种不同的表格语言进行了详细的综述和讨论,从不同角度分析比较了其异同点,并提出了进一步的研究方向。
展开更多
关键词
表格方法
形式方法
规格
说明
验证
与确认
工具支持
下载PDF
职称材料
挤压拉伸管毛料铸锭长度的计算
2
作者
蒋干成
《铝加工》
CAS
1990年第1期32-33,共2页
本文针对《轻金属材料加工手册》中计算挤压拉伸管毛料铸锭长度公式的不足之处,提出了修正意见和计算挤压拉伸管毛料铸锭长度的公式,并举例验证说明。
关键词
修正意见
验证说明
挤压机
工艺规定
热挤压
穿孔针
工艺人员
不定尺
生产效率
实际误差
下载PDF
职称材料
题名
表格语言的分析比较
1
作者
陈怡海
缪淮扣
机构
上海大学计算机工程与科学学院
上海市计算机软件评测重点实验室
出处
《计算机科学》
CSCD
北大核心
2014年第3期23-26,共4页
基金
国家自然科学基金项目(61073050
61170044)资助
文摘
表格语言具有可读性和可理解性的优点,它能非常精确地表示软件系统需求。在过去的30多年间,表格语言已经成功地应用于多个安全关键嵌入式软件的开发中。准确了解这些表格语言的特性,对表格语言的研究及推广有重要的指导意义。对3种不同的表格语言进行了详细的综述和讨论,从不同角度分析比较了其异同点,并提出了进一步的研究方向。
关键词
表格方法
形式方法
规格
说明
验证
与确认
工具支持
Keywords
Tabular notations
Formal methods
Specification verification and validation
Tool support
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
挤压拉伸管毛料铸锭长度的计算
2
作者
蒋干成
机构
成都铝材厂
出处
《铝加工》
CAS
1990年第1期32-33,共2页
文摘
本文针对《轻金属材料加工手册》中计算挤压拉伸管毛料铸锭长度公式的不足之处,提出了修正意见和计算挤压拉伸管毛料铸锭长度的公式,并举例验证说明。
关键词
修正意见
验证说明
挤压机
工艺规定
热挤压
穿孔针
工艺人员
不定尺
生产效率
实际误差
分类号
TF821 [冶金工程—有色金属冶金]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
表格语言的分析比较
陈怡海
缪淮扣
《计算机科学》
CSCD
北大核心
2014
0
下载PDF
职称材料
2
挤压拉伸管毛料铸锭长度的计算
蒋干成
《铝加工》
CAS
1990
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部