L74 程序语言 标准查询与下载

ISO/IEC 1989:2002/Cor 2:2006 信息技术.程序设计语言.COBOL:技术勘误2

This is Technical Corrigendum 2 to ISO/IEC 1989-2002 (Information technology — Programming languages — COBOL)

Information technology - Programming languages - COBOL: Technical Corrigendum 2

ISO/IEC 1989:2002/Cor 1:2006 信息技术.程序设计语言.COBOL.技术勘误1

This is Technical Corrigendum 1 to ISO/IEC 1989-2002 (Information technology — Programming languages — COBOL)

Information technology - Programming languages - COBOL; Technical Corrigendum 1

ISO/IEC 19757-4:2006 信息技术.文献模式定义语言(DSDL).第4部分:基于命名空间的正确性检验发送语言(NVDL)

This part of ISO/IEC 19757 specifies a Namespace-based Validation Dispatching Language (NVDL). An NVDL script controls the dispatching of elements or attributes in a given XML document to different validators, depending on the namespaces of the elements or attributes. An NVDL script also specifies which schemas are used by these validators. These schemas may be written in any schema languages, including those specified by ISO/IEC 19757.

Information technology - Document Schema Definition Languages (DSDL) - Part 4: Namespace-based Validation Dispatching Language (NVDL)

ISO/IEC 9075-14:2006 信息技术.数据库语言.SQL.第14部分:XML相关规范(SQL/XML)

This part of ISO/IEC 9075 defines ways in which Database Language SQL can be used in conjunction with XML.

Information technology - Database languages - SQL - Part 14: XML-Related Specifications (SQL/XML)

ISO/IEC 19757-3:2006 信息技术.文献模式定义语言(DSDL).第3部分:基于规则的正确性检验.Schematron

This part of ISO/IEC 19757 specifies Schematron, a schema language for XML. This part of ISO/IEC 19757 establishes requirements for Schematron schemas and specifies when an XML document matches the patterns specified by a Schematron schema.

Information technology - Document Schema Definition Languages (DSDL) - Part 3: Rule-based validation - Schematron

ISO/IEC 18023-1:2006 信息技术.SEDRIS语言汇编.第1部分:功能规范

Information technology - SEDRIS language bindings - Part 1: Functional specification

ISO/IEC 18024-4:2006 信息技术.SEDRIS语言汇编.第4部分:C语言

Information technology - SEDRIS language bindings - Part 4: C

ISO/IEC 10967-3:2006 信息技术.语言独立计算.第3部分:复合整数和浮点运算及复合基本数字功能

This part of ISO/IEC 10967 specifies the properties of numerical approximations for complex arithmetic operations and many of the complex elementary numerical functions available in a variety of programming languages in common use for mathematical and numerical applications. An implementor may choose any combination of hardware and software support to meet the specifications of this document. It is the computing environment, as seen by the programmer/user, that does or does not conform to the specifications. The term implementation (of this part) denotes the total computing environment pertinent to this part, including hardware, language processors, subroutine libraries, exception handling facilities, other software, and documentation. Inclusions The specifications of part 1 and part 2 are included by reference in this part. This document provides specifications for properties of complex and imaginary integer datatypes and floating point datatypes, basic operations on values of these datatypes as well as for some numerical functions for which operand or result values are of imaginary or complex integer datatypes or imaginary or complex floating point datatypes constructed from integer and floating point datatypes satisfying the requirements of part 1 (ISO/IEC 10967-1). Boundaries for the occurrence of exceptions and the maximum error allowed are prescribed for each specified operation. Also the result produced by giving a special value operand, such as an infinity, or a NaN (not-anumber), is prescribed for each specified floating point operation. This document provides specifications for: a) Basic imaginary integer and complex integer operations. b) Non-transcendental imaginary floating point and Cartesian complex floating point operations. c) Exponentiation, logarithm, radian trigonometric, and hyperbolic operations for imaginary floating point and Cartesian complex floating point. This document also provides specifications for: d) The results produced by an included floating point operation when one or more operand values include IEC 60559 special values. e) Program-visible parameters that characterise certain aspects of the operations. Exclusions

Information technology - Language independent arithmetic - Part 3: Complex integer and floating point arithmetic and complex elementary numerical functions

ISO 24610-1:2006 语言资源管理.特征结构.第1部分:特征结构表示法

Feature structures are an essential part of many linguistic formalisms as well as an underlying mechanism for representing the information consumed or produced by and for language engineering applications. This part of ISO 24610 provides a format for the representation, storage and exchange of feature structures in natural language applications concerned with the annotation, production or analysis of linguistic data. It also defines a computer format for the description of constraints that bear on a set of features, feature values, feature specifications and operations on feature structures, thus offering a means of checking the conformance of each feature structure with regards to a reference specification.

Language resource management - Feature structures - Part 1: Feature structure representation

ANSI/IEEE 1484.11.3:2005 内容对象通信用数据模型的学习技术可延伸Markup语言汇编形式的标准

Specifies a World Wide Web Consortium (W3C) Extensible Markup Language binding of the data model defined in IEEE 1484.11.1-2004. The purpose is to allow the creation of IEEE 1484.11.1-2004 data-model instances in XML.

Standard for Learning Technology Extensible Markup Language (XML) Schema Binding for Data Model for Content Object Communication

ANSI/IEEE 1666:2005 C语标准系统参考手册

Defines SystemC as an ANSI standard C++ class library for system and hartdware design.

Standard SystemC Language Reference Manual

ITU-T Z.140-2006 树表结合注释第3版本(TTCN-3):核心语言(第17研究组)

This Recommendation defines the Core Language of TTCN-3. TTCN-3 can be used for the specification of all types of reactive system tests over a variety of communication ports. Typical areas of application are protocol testing (including mobile and Internet

Testing and Test Control Notation version 3 (TTCN-3): Core language Study Group 17

ISO/IEC 1539-1:2004/Cor 1:2006 信息技术.程序语言.Fortran语言.第1部分:基本语言.技术勘误1

This standard is Information technology - Programming languages - Fortran - Part 1: Base language; Technical Corrigendum 1

Information technology - Programming languages - Fortran - Part 1: Base language; Technical Corrigendum 1

ECA 364-46B-2006 电气连接器,接触和插座的茶多酚- 46b微秒间断性测试程序

This procedure is to define a method of detecting a discontinuity of one microsecond or longer in a mated electrical connector, contact or socket. This procedure shall not be used for durations less than one microsecond; see EIA-364-87, test procedure for

TP-46B Microsecond Discontinuity Test Procedure for Electrical Connectors, Contacts and Sockets

ANSI/INCITS/ISO/IEC 19757-3:2006 信息技术.文献模式定义语言(DSDL).第3部分:基于规则的有效性检验.Schematron

ISO/IEC 19757-3:2006 specifies Schematron, a rules-based schema language for XML. It establishes requirements for Schematron schemas and specifies when an XML document matches the patterns specified by a Schematron schema.

Information technology - Document Schema Definition Languages (DSDL) - Part 3: Rule-based validation - Schematron

ISO/IEC 19757-2:2003/Amd 1:2006 信息技术.文献模式定义语言.第2部分:基于语法规则的正确性检验.Relax NG.修改件1:简明句法

This standard is Information technology - Document Schema Definition Language (DSDL) - Part 2: Regular-grammar-based validation; Relax NG; Amendment 1: Compact Syntax.

Information technology - Document Schema Definition Language (DSDL) - Part 2: Regular-grammar-based validation; Relax NG; Amendment 1: Compact Syntax

ANSI/ISA 88.00.04-2006 批量控制.第4部分:批量产品纪录

This standard will be the fourth in the ISA-88 Series of standards on batch control in industrial manufacturing and processing. This Part 4 focuses on batch production records.

Batch Control Part 4: Batch Production Records

ANSI/INCITS/ISO/IEC 1989:2002/TC1:2006 信息技术.程序语言.COBOL语言.技术勘误1

Technical Corrigendum 1 to ISO/IEC 1989:2002.

Information technology - Programming languages - COBOL Technical Corrigendum 1

ANSI/IEEE 1666:2006 C语言标准系统参考手册

Defines SystemC as an ANSI standard C++ class library for system and hartdware design.

Standard SystemC Language Reference Manual

IEEE 1671-2006 通过可扩展标记语言(XML)交换自动化试验设备和试验信息用自动测试标记语言(ATML)的标准

This trial-use standard specifies the framework for the family of ATML standards. ATML defines a standard exchange medium for sharing information between components of an Automatic Test System (ATS), usng the eXtensible Markup Language (XML).

Standard for Automatic Test Markup Language (ATML) for Exchanging Automatic Test Equipment and Test Information via XML: Exchanging Test Descriptions