立即下载标准文件- ISO 1703:2018 螺钉和螺母的装配工具 术语
- ISO 13445:2003 粘合剂 使用粘合剪切法测定硬质基片之间粘合剂粘合的剪切强度.
- ISO 5352-1:2023 液压传动 充气蓄能器排放流量和热损失的测定 第1部分：试验方法
- ISO 13486-1:1999 道路车辆-液压制动系统-双燃管,管路螺纹孔,内外螺纹管接头和管状阀孔.
- ISO 16047:2005 扣件 转力矩/夹紧力试验
- ISO/IEC/IEEE 29119-1:2013 软件和系统工程 软件测试 第1部分：概念和定义
- ISO 787-22:1980 颜料和填充剂的一般试验方法.第22部分：颜料耐渗色性的比较
- ISO 7169:2014 航空航天 液压系统用24°锥形、压强3000psi或21000kPa以下的可拆卸管接头 采购规范（英制/米制）
- ISO 9697:2018 水质 总活性 厚源试验方法
- ISO/TS 19129:2009 地理信息 图像、栅格和覆盖数据框架
ISO/IEC 13817-1:1996 信息技术 程序语言及其环境和系统软件界面 维也纳发展方法 规范化语言 第一部分：基本语言.
标准编号：ISO/IEC 13817-1:1996
中文名称：信息技术 程序语言及其环境和系统软件界面 维也纳发展方法 规范化语言 第一部分：基本语言.
英文名称：Information technology — Programming languages, their environments and system software interfaces — Vienna Development Method — Specification Language — Part 1: Base language
发布日期：1996-12
标准范围
指定基于模型的规范语言VDM-SL（维也纳开发方法-规范语言）。包含数学和交换表示，给出语法、静态和动态语义，以及规范和工具的一致性。
标准预览图
