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



共找到 1292 条与 程序语言 相关的标准,共 87

Information technology - Document description and processing languages - Office Open XML File Formats - Part 3: Markup Compatibility and Extensibility

ICS
35.060;35.240.30
CCS
L74
发布
2012-09
实施

Information technology - Modeling Languages - Part 2: Syntax and Semantics for IDEF1X97 (IDEFobject)

ICS
35.060;35.080
CCS
L74
发布
2012-09
实施

IEEE standard for automatic test markup language (ATML) for exchanging automatic test equipment and test information via XML

ICS
19.080;35.240.30
CCS
L74
发布
2012-08-31
实施
2012-08-31

IEEE standard for property specification language (PSL)

ICS
35.060
CCS
L74
发布
2012-08-31
实施
2012-08-31

Information technology. Language independent arithmetic. Integer and floating point arithmetic

ICS
35.060
CCS
L74
发布
2012-07-31
实施
2012-07-31

Information technology - Language independent arithmetic - Part 1: Integer and floating point arithmetic

ICS
35.060
CCS
L74
发布
2012-07
实施

Programmable controllers -- Programming languages

ICS
25.040.40;35.240.50
CCS
L74
发布
2012-06-20
实施

This Recommendation defines the object-oriented data features of the Specification and Description Language. The features defined in this document include: polymorphic object-oriented data including virtual methods, multiple inheritance of abstract types, run-time type identification and type coercion, as well as accessing data values by references.

Specification and Description Language - Object-oriented data in SDL-2010 (Study Group 17)

ICS
CCS
L74
发布
2012-04-01
实施

Information technology - Programming languages - Ruby

ICS
35.060
CCS
L74
发布
2012-04
实施

Information technology - Object Management Group Unified Modeling Language (OMG UML) - Part 2: Superstructure

ICS
35.060
CCS
L74
发布
2012-04
实施

Information technology - Object Management Group Unified Modeling Language (OMG UML) - Part 1: Infrastructure

ICS
35.060
CCS
L74
发布
2012-04
实施

Information technology. Programming languages. C

ICS
35.060
CCS
L74
发布
2012-03-31
实施
2012-03-31

Information technology - Common Language Infrastructure (CLI)

ICS
35.060
CCS
L74
发布
2012-02-01
实施

Information technology. Document description and processing languages. Office Open XML File Formats

ICS
35.060;35.240.30
CCS
L74
发布
2012-01-31
实施
2012-01-31

Information technology - Database languages - SQL - Part 9: Management of External Data (SQL/MED) TECHNICAL CORRIGENDUM 1

ICS
35.240.30
CCS
L74
发布
2012
实施

Information technology - SEDRIS language bindings - Part 4: C AMENDMENT 1

ICS
35.140
CCS
L74
发布
2012
实施

Adoption Standard - Active.IDEF1X97 consists of two conceptual modeling languages. The key-style language supports data/information modeling and is downward compatible with the US governments 1993 standard, FIPS PUB 184. The identity-style language is based on the object model with declarative rules and constraints. IDEF1X97 identity style includes constructs for the distinct but related components of object abstraction: interface, requests, and realization; utilizes graphics to state the interface; and defines a declarative, directly executable Rule and Constraint Language for requests and realizations. IDEF1X97 conceptual modeling supports implementation by relational databases, extended relational databases, object databases, and object programming languages. IDEF1X97 is formally defined in terms of first order logic. A procedure is given whereby any valid IDEF1X97 model can be transformed into an equivalent theory in first order logic. That procedure is then applied to a meta model of IDEF1X97 to define the valid set of IDEF1X97 models.

ISO/IEC/IEEE International Standard - Information technology - Modeling Languages - Part 2: Syntax and Semantics for IDEF1X97 (IDEFobject)

ICS
35.060
CCS
L74
发布
2012
实施

Information technology - Database languages - SQL - Part 10: Object Language Bindings (SQL/OLB) TECHNICAL CORRIGENDUM 1

ICS
35.240.30
CCS
L74
发布
2012
实施

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

ICS
35.240.30
CCS
L74
发布
2012
实施

IEEE Standard for SystemVerilog - Unified Hardware Design, Specification, and Verification Language

ICS
35.060
CCS
L74
发布
2012
实施



Copyright ©2007-2022 ANTPEDIA, All Rights Reserved
京ICP备07018254号 京公网安备1101085018 电信与信息服务业务经营许可证:京ICP证110310号