IEC 62531-2007 特性规范语言(PSL)用标准

作者:标准资料网 时间:2024-05-05 21:21:02  浏览:8866   来源:标准资料网

【英文标准名称】:Standardforpropertyspecificationlanguage(PSL)
【原文标准名称】:特性规范语言(PSL)用标准
【标准号】:IEC62531-2007
【标准状态】:作废
【国别】:国际
【发布日期】:2007-11
【实施或试行日期】:
【发布单位】:国际电工委员会(IX-IEC)
【起草单位】:IEC/TC93
【标准类型】:()
【标准水平】:()
【中文主题词】:自动化;计算机软件;合格试验;数据处理;定义;电气工程;电气系统;信息技术;接口;逻辑;程序开发;编程语言;特性;语义学;软件;规范;语法;核查
【英文主题词】:Automation;Computersoftware;Conformitytesting;Dataprocessing;Definition;Definitions;Electronicengineering;Electronicsystems;Informationtechnology;Interfaces;Logic;Programdevelopment;Programminglanguages;Properties;Semantics;Software;Specification;Syntax;Verification
【摘要】:Thisstandarddefinesthepropertyspecificationlanguage(PSL),whichformallydescribeselectronicsystembehavior.ThisstandardspecifiesthesyntaxandsemanticsforPSLandalsoclarifieshowPSLinterfaceswithvariousstandardelectronicsystemdesignlanguages.
【中国标准分类号】:L74
【国际标准分类号】:25_040;35_060
【页数】:152P.;A4
【正文语种】:英语