期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
表格语言的分析比较
1
作者 陈怡海 缪淮扣 《计算机科学》 CSCD 北大核心 2014年第3期23-26,共4页
表格语言具有可读性和可理解性的优点,它能非常精确地表示软件系统需求。在过去的30多年间,表格语言已经成功地应用于多个安全关键嵌入式软件的开发中。准确了解这些表格语言的特性,对表格语言的研究及推广有重要的指导意义。对3种不同... 表格语言具有可读性和可理解性的优点,它能非常精确地表示软件系统需求。在过去的30多年间,表格语言已经成功地应用于多个安全关键嵌入式软件的开发中。准确了解这些表格语言的特性,对表格语言的研究及推广有重要的指导意义。对3种不同的表格语言进行了详细的综述和讨论,从不同角度分析比较了其异同点,并提出了进一步的研究方向。 展开更多
关键词 表格方法 形式方法 规格说明验证与确认 工具支持
下载PDF
挤压拉伸管毛料铸锭长度的计算
2
作者 蒋干成 《铝加工》 CAS 1990年第1期32-33,共2页
本文针对《轻金属材料加工手册》中计算挤压拉伸管毛料铸锭长度公式的不足之处,提出了修正意见和计算挤压拉伸管毛料铸锭长度的公式,并举例验证说明。
关键词 修正意见 验证说明 挤压机 工艺规定 热挤压 穿孔针 工艺人员 不定尺 生产效率 实际误差
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部