| 标准号： |
IEC 62531-2012 |
| 英文名称： |
Property specification language (PSL) |
| 中标分类： |
电子元器件与信息技术>>程序语言 |
| 发布日期： |
2012-06 |
| 发布单位： |
IX-IEC |
| 标准状态： |
请与本站工作人员进行确认 |
| ICS分类： |
工业自动化系统>>工业自动化系统 |
| 起草单位/标准公告： |
IEC/TC 93 |
| 正文语言： |
英语 |
| 原文名称： |
Property Specification Language (PSL) |
| 页数： |
174P;A4 |
| 附注： |
History:IEC 62531 (2012-06);IEC 93/319/FDIS (2011-12);IEC 62531 (2007-11);IEC 93/253/FDIS (2007-06) |
| 被代替标准： |
IEC 93/319/FDIS-2011;IEC 62531-2007 |
| 引用标准： |
IEC 62142-2005;IEEE 1076-2008;IEEE 1076.6-2004;IEEE 1364-2005;IEEE 1666-2011;IEEE 1800-2009 |
| 采用关系： |
IEEE 1850-2010,IDT |
| 内容提要（CN）： |
计算机硬件;计算机软件;合格试验;数据处理;定义;信息技术;程序开发;程序设计语言;性能;语义学;规范;句法;验证 |
| 内容提要（EN）： |
Computer hardware;Computer software;Conformity testing;Data processing;Definitions;Information technology;Program development;Programming languages;Properties;Semantics;Specification;Syntax;Verification |
| 内容提要（QT）： |
Begriffe;Datenverarbeitung;Definition;Eigenschaft;Hardware;Informationstechnik;Konformit？tsprüfung;Programmentwicklung;Programmiersprache;Semantik;Software;Spezifikation;Syntax;Verifizierung |
| 归属： |
国际 |
