BS ISO/IEC 13817-1-1997 信息技术.程序语言、及其环境和系统软件接口.第1部分:维也纳研制法.规范语言.基本语言
作者:标准资料网
时间:2024-05-07 19:13:45
浏览:8402
来源:标准资料网
下载地址: 点击此处下载
【英文标准名称】:Informationtechnology-Programminglanguages,theirenvironmentsandsystemsoftwareinterfaces-ViennaDevelopmentMethod-Specificationlanguage-Baselanguage
【原文标准名称】:信息技术.程序语言、及其环境和系统软件接口.第1部分:维也纳研制法.规范语言.基本语言
【标准号】:BSISO/IEC13817-1-1997
【标准状态】:现行
【国别】:英国
【发布日期】:1997-04-15
【实施或试行日期】:1997-04-15
【发布单位】:英国标准学会(GB-BSI)
【起草单位】:BSI
【标准类型】:()
【标准水平】:()
【中文主题词】:数学计算;程序设计语言;合格;维也纳研制法;数据处理;句法;计算机软件;接口(数据加工);语义学
【英文主题词】:Artificiallanguages;Computersoftware;Dataprocessing;Definitions;Informationtechnology;Programminglanguages;Syntax
【摘要】:SpecifiesthemodelbasedspecificationlanguageVDM-SL(ViennaDevelopmentMethod-SpecificationLanguage).Containsthemathematicalandinterchangerepresentation,givesthesyntax,thestaticandthedynamicsemantics,andconformityforspecificationandtools.
【中国标准分类号】:L74
【国际标准分类号】:35_060
【页数】:416P;A4
【正文语种】:英语
【原文标准名称】:信息技术.程序语言、及其环境和系统软件接口.第1部分:维也纳研制法.规范语言.基本语言
【标准号】:BSISO/IEC13817-1-1997
【标准状态】:现行
【国别】:英国
【发布日期】:1997-04-15
【实施或试行日期】:1997-04-15
【发布单位】:英国标准学会(GB-BSI)
【起草单位】:BSI
【标准类型】:()
【标准水平】:()
【中文主题词】:数学计算;程序设计语言;合格;维也纳研制法;数据处理;句法;计算机软件;接口(数据加工);语义学
【英文主题词】:Artificiallanguages;Computersoftware;Dataprocessing;Definitions;Informationtechnology;Programminglanguages;Syntax
【摘要】:SpecifiesthemodelbasedspecificationlanguageVDM-SL(ViennaDevelopmentMethod-SpecificationLanguage).Containsthemathematicalandinterchangerepresentation,givesthesyntax,thestaticandthedynamicsemantics,andconformityforspecificationandtools.
【中国标准分类号】:L74
【国际标准分类号】:35_060
【页数】:416P;A4
【正文语种】:英语
下载地址:
点击此处下载