ISO/IEC 13817-1-1996 信息技术.程序设计语言及其环境和系统软件接口.Vienna(维也纳)开发方法.规范语言.第1部分:基本语言
时间:2024-05-13 11:08:27 来源: 标准资料网 作者：标准资料网 阅读：9710
【英文标准名称】:Informationtechnology-Programminglanguages,theirenvironmentsandsystemsoftwareinterfaces-Viennadevelopmentmethod-Specificationlanguage-Part1:Baselanguage
【原文标准名称】:信息技术.程序设计语言及其环境和系统软件接口.Vienna(维也纳)开发方法.规范语言.第1部分:基本语言
【标准号】:ISO/IEC13817-1-1996
【标准状态】:现行
【国别】:国际
【发布日期】:1996-12
【实施或试行日期】:
【发布单位】:国际标准化组织(IX-ISO)
【起草单位】:ISO/IECJTC1
【标准类型】:()
【标准水平】:()
【中文主题词】:程序设计语言;计算机软件;数据处理;句法;定义;信息技术;人工语言
【英文主题词】:Artificiallanguages;Computersoftware;Dataprocessing;Definition;Definitions;Informationtechnology;Programminglanguages;Syntax
【摘要】:SpecifiesthemodelbasedspecificationlanguageVDM-SL(ViennaDevelopmentMethod-SpecificationLanguage).Containsthemathematicalandinterchangerepresentation,givesthesyntax,thestaticandthedynamicsemantics,andconformityforspecificationandtools.
【中国标准分类号】:L77
【国际标准分类号】:35_060
【页数】:399P.;A4
【正文语种】:英语
【英文标准名称】:Cellularrubbersandplastics-Determinationofdynamiccushioningperformance-Amendment1(ISO4651:1988/AMD1:2006);EnglishversionofDINENISO4651:1995/A1:2008-11
【原文标准名称】:泡沫橡胶和塑料.动态抗震性能的测定.修改件1
【标准号】:ENISO4651/A1-2008
【标准状态】:现行
【国别】:
【发布日期】:2008-11-01
【实施或试行日期】:
【发布单位】:欧洲标准学会(EN)
【起草单位】:
【标准类型】:()
【标准水平】:()
【中文主题词】:连续冲击试验;多孔材料;阻尼容量;阻尼试验;测定;动态抗震性能;动态试验;英语;泡沫橡胶;冲击测试;冲击试验;材料测试;包装件;塑料;质量控制;橡胶;减震材料;试样制备;试验设备;测试;硫化橡胶
【英文主题词】:Bumptests;Cellularmaterials;Dampingcapacity;Dampingtests;Determination;Dynamiccushioningperformance;Dynamictesting;Englishlanguage;Foamedrubber;Impacttesting;Impacttests;Materialstesting;Packages;Plastics;Qualitycontrol;Rubber;Shock-absorbingmaterials;Specimenpreparation;Testequipment;Testing;Vulcanizedrubber
【摘要】:
【中国标准分类号】:G32
【国际标准分类号】:83_100
【页数】:6P.;A4
【正文语种】:英语
【英文标准名称】:Steelwireropes-Safety-Part4:strandedropesforgeneralliftingapplications.
【原文标准名称】:钢丝绳.安全性.第4部分:一般提升设备用多股绞合绳.
【标准号】:NFA47-205-4/IN1-2008
【标准状态】:现行
【国别】:法国
【发布日期】:2008-05-01
【实施或试行日期】:
【发布单位】:法国标准化协会(FR-AFNOR)
【起草单位】:
【标准类型】:()
【标准水平】:()
【中文主题词】:
【英文主题词】:
【摘要】:
【中国标准分类号】:H49
【国际标准分类号】:53_020_30;77_140_65
【页数】:2P.;A4
【正文语种】:其他