ANSI/INCITS/ISO/IEC 13817-1-1996 信息技术.编程设计语言及其环境和系统软件接口.(维也纳)开发方法.规范语言.第1部分:基本语言
作者:标准资料网 时间:2024-05-22 19:35:00 浏览:8947
来源:标准资料网
下载地址: 点击此处下载
【英文标准名称】:Informationtechnology-Programminglanguages,theirenvironmentsandsystemsoftwareinterfaces-ViennaDevelopmentMethod-SpecificationLanguage-Part1:Baselanguage
【原文标准名称】:信息技术.编程设计语言及其环境和系统软件接口.(维也纳)开发方法.规范语言.第1部分:基本语言
【标准号】:ANSI/INCITS/ISO/IEC13817-1-1996
【标准状态】:现行
【国别】:美国
【发布日期】:1996
【实施或试行日期】:
【发布单位】:美国国家标准学会(US-ANSI)
【起草单位】:ANSI
【标准类型】:()
【标准水平】:()
【中文主题词】:信息技术;程序设计语言
【英文主题词】:Artificiallanguages;Computersoftware;Dataprocessing;Definition;Definitions;Informationtechnology;Programminglanguages;Syntax
【摘要】:ThisInternationalStandardspecifiesspecificationlanguagetheViennaDevelopmentMethodSpecificationLanguage.Specifies:tworepresentations:themathematicalandinterchange;thesyntax;thestaticsemantics;thedynamicsemantics;conformityforspecificationsandtools.Does'tspecify:theproofobligations;thereificationrules;thesizeorcomplexityofaspecificationthatwillexceedthecapacityofanyspecificdataprocessingsystemorthecapacityofaparticulartool.
【中国标准分类号】:L77
【国际标准分类号】:35_060
【页数】:
【正文语种】:英语
【原文标准名称】:信息技术.编程设计语言及其环境和系统软件接口.(维也纳)开发方法.规范语言.第1部分:基本语言
【标准号】:ANSI/INCITS/ISO/IEC13817-1-1996
【标准状态】:现行
【国别】:美国
【发布日期】:1996
【实施或试行日期】:
【发布单位】:美国国家标准学会(US-ANSI)
【起草单位】:ANSI
【标准类型】:()
【标准水平】:()
【中文主题词】:信息技术;程序设计语言
【英文主题词】:Artificiallanguages;Computersoftware;Dataprocessing;Definition;Definitions;Informationtechnology;Programminglanguages;Syntax
【摘要】:ThisInternationalStandardspecifiesspecificationlanguagetheViennaDevelopmentMethodSpecificationLanguage.Specifies:tworepresentations:themathematicalandinterchange;thesyntax;thestaticsemantics;thedynamicsemantics;conformityforspecificationsandtools.Does'tspecify:theproofobligations;thereificationrules;thesizeorcomplexityofaspecificationthatwillexceedthecapacityofanyspecificdataprocessingsystemorthecapacityofaparticulartool.
【中国标准分类号】:L77
【国际标准分类号】:35_060
【页数】:
【正文语种】:英语
下载地址: 点击此处下载