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

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

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

Standard SystemC Language Reference Manual

ANSI/INCITS/ISO/IEC 19757-4:2006 信息技术.文档模式定义语言(DSDL).第4部分:基于命名空间有效性分配语言(NVDL)

ISO/IEC 19757-4:2006 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)

ANSI/INCITS/ISO/IEC 1989-2006 信息技术.程序设计语言.COBOL技术勘误1

Technical Corrigendum 1 to ISO/IEC 1989:2002.

Information technology - Programming languages - COBOL Technical Corrigendum 1

IEEE 1647-2006 'e'语言的功能性验证

The e functional verification language is an application-specific programming language, aimed at automating the task of verifying an electronic design with respect to its specification. Verification environments written in e provide a model of the environment in which the design is expected to function, including the kinds of erroneous conditions the design needs to withstand. A typical verification environment is capable of generating user-controlled test inputs with statistically interesting characteristics. Such an environment can check the validity of the design responses. Functional coverage metrics are used to control the verification effort and gauge the quality of the design. e verification environments can be used throughout the design cycle, from a high-level architectural model to a fully realized system. This standard contains a definition of the e language syntax and semantics, and how tool developers and verification engineers should use them.

Functional verification language 'e'

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

KS X ISO/IEC TR 19758:2005 信息技术.文献描述和加工语言.DSSSL综合库

? ??? SGML(Standard Generalized Markup Language, K

Document description and processing languages-DSSSL library for complex compositions

ANSI/IEEE 1450.6:2005 数字检测矢量数据的标准测试接口语言(STIL).芯子测试语言(CTL)

Develops a language that will provide a sufficient description of a core to support reuse of test data developed for that core after integration into SoC [Systems on Chip] environments, and to enable the creation of test patterns for the logic in the SoC external to the core.

Standard Test Interface Language (STIL) for Digital Test Vector Data - Core Test Language (CTL)

KS X ISO/IEC TR 23272:2005 信息技术.通用语言结构(CLI).来源于IV.XML分区的信息

? ??? ISO/IEC 23271:2003 Partition IV:Profiles an

Information technology-Common Language Infrastructure-Profiles and Libraries

KS X ISO/IEC 9945-3:2005 信息技术.可移植操作系统接口(POSIX).第3部分:外壳程序和应用程序

?? ??? IEEE Std 1003.1:2001? ?1? ?? ??? ???? ??.

Information technology-Portable operating system interface(POSIXÒ)-Part 3:Shell and utilities

KS X ISO/IEC TR 18037:2005 编程语言.C语言.支持嵌入式处理机的扩展

? ??? ???? ?????? ????? ???? ??? ???? ?? C ?? ???

Programming languages-C-Extension tosupport embedded processors

KS X ISO/IEC TR 19769:2005 信息技术.编程语言及其环境和系统软件接口.支持新字符数据类型的C语言的扩展

? ????? KS X ISO/IEC 9899:2003? ???, ????? ?? C? ?

Information technology-Programming languages, their environments and system software interfaces-Extensions for the programming language C to support new character data types

KS X ISO/IEC 9075-14:2005 信息技术.数据库语言.结构化查询语言(SQL).第14部分:可扩展标记语言(XML)相关规范(SQL/XML)

? ??? ?????? ?? SQL? XML? ???? ??? ? ?? ??? ????.

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

IEEE 1450.1/COR-2005 半导体设计环境用标准试验接口语言(STIL)的扩展(IEEE Std 1450<(hoch)TM)>-1999)

Standard Test Interface Language (STIL) provides an interface between digital test generation tools and test equipment. Extensions to the test interface language are defined that a) facilitate the use of the language in the design environment and b) facilitate the use of the language for large designs encompassing sub-designs with reusable patterns.

Extension to Standard Test Interface Language (STIL) (IEEE Std 1450<(hoch)TM)>-1999) for semiconductor design environments

ANSI/IEEE 1450.1:2005 半导体设计环境用标准测试接口语言(STIL)(IEEE Std. 1450-1999)扩展的标准

Standard Test Interface Language (STIL) provides an interface between digital test generation tools and test equipment. Extensions to the test interface language are defined that a) facilitate the use of the language in the design environment and b) facilitate the use of the language for large designs encompassing sub-designs with reusable patterns.

Standard for Extensions to Standard Test Interface Language (STIL) (IEEE Std. 1450-1999) for Semiconductor Design Environments

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

Information technology - Database languages - SQL - Part 14: XML-Related Specifications (SQL/XML); Technical Corrigendum 1

ISO/IEC 9075-1:2003/Cor 1:2005 信息技术.数据库语言.SQL.第2部分:框架(SQL/框架).技术勘误1

This standard is Information technology - Database languages - SQL - Part 1: Framework (SQL/Framework); Technical Corrigendum 1

Information technology - Database languages - SQL - Part 1: Framework (SQL/Framework); Technical Corrigendum 1

ISO/IEC 9075-3:2003/Cor 1:2005 信息技术.数据库语言.SQL.第2部分:基础(SQL/基础).技术勘误1

Information technology - Database languages - SQL - Part 2: Foundation (SQL/Foundation); Technical Corrigendum 1

ISO/IEC 9075-4:2003/Cor 1:2005 信息技术.数据库语言.SQL.第4部分:持久存储模块(SQL/PSM).技术勘误1

Information technology - Database languages - SQL - Part 4: Persistent Stored Modules (SQL/PSM); Technical Corrigendum 1

ISO/IEC 9075-11:2003/Cor 1:2005 信息技术.数据库语言.SQL.第11部分:信息和定义概要(SQL/Schemata).技术勘误1

Information technology - Database languages - SQL - Part 11: Information and Definition Schemas (SQL/Schemata); Technical Corrigendum 1

ISO/IEC 9075-13:2003/Cor 1:2005 信息技术.数据库语言.SQL.第13部分:使用Java TM程序设计语言(SQL/JRT)的SQL例程和类型.技术勘误1

This standard is Information technology - Database languages - SQL - Part 13: SQL Routines and Types Using the Java TM Programming Language (SQL/JRT); Technical Corrigendum 1.

Information technology - Database languages - SQL - Part 13: SQL Routines and Types Using the Java TM Programming Language (SQL/JRT); Technical Corrigendum 1