BS ISO/IEC 15437-2001 信息技术.LOTOS增强(E-LOTOS)
作者:标准资料网 时间:2024-04-29 19:33:21 浏览:9680
来源:标准资料网
下载地址: 点击此处下载
【英文标准名称】:Informationtechnology-EnhancementstoLOTOS(E-LOTOS)
【原文标准名称】:信息技术.LOTOS增强(E-LOTOS)
【标准号】:BSISO/IEC15437-2001
【标准状态】:现行
【国别】:英国
【发布日期】:2001-09-21
【实施或试行日期】:2001-09-21
【发布单位】:英国标准学会(BSI)
【起草单位】:BSI
【标准类型】:()
【标准水平】:()
【中文主题词】:语义学;计算机技术;开放系统互连;LOTOS;句法;通信规程;数据处理;程序设计语言;软件工程技术;数据库语言
【英文主题词】:Dataprocessing;Descriptions;Informationinterchange;Informationtechnology;LOTOS;Programminglanguages;Semantics;Specification;Syntax
【摘要】:ThisInternationalStandarddeffnesthesyntaxandsemanticsoftheenhancedLOTOSlanguage(ISO8807),namedE-LOTOS.E-LOTOSisusedfortheformaldescriptionofthebehaviouralaspectsofdistributedandconcurrentsystemsingeneralandintheareaofopendistributedprocessinginparticular.
【中国标准分类号】:L74
【国际标准分类号】:35_060;35_080;35_100_01
【页数】:202P;A4
【正文语种】:英语
【原文标准名称】:信息技术.LOTOS增强(E-LOTOS)
【标准号】:BSISO/IEC15437-2001
【标准状态】:现行
【国别】:英国
【发布日期】:2001-09-21
【实施或试行日期】:2001-09-21
【发布单位】:英国标准学会(BSI)
【起草单位】:BSI
【标准类型】:()
【标准水平】:()
【中文主题词】:语义学;计算机技术;开放系统互连;LOTOS;句法;通信规程;数据处理;程序设计语言;软件工程技术;数据库语言
【英文主题词】:Dataprocessing;Descriptions;Informationinterchange;Informationtechnology;LOTOS;Programminglanguages;Semantics;Specification;Syntax
【摘要】:ThisInternationalStandarddeffnesthesyntaxandsemanticsoftheenhancedLOTOSlanguage(ISO8807),namedE-LOTOS.E-LOTOSisusedfortheformaldescriptionofthebehaviouralaspectsofdistributedandconcurrentsystemsingeneralandintheareaofopendistributedprocessinginparticular.
【中国标准分类号】:L74
【国际标准分类号】:35_060;35_080;35_100_01
【页数】:202P;A4
【正文语种】:英语
下载地址: 点击此处下载