共找到 1292 条与 程序语言 相关的标准,共 87 页
Information technology - Document description and processing languages - Office Open XML File Formats - Part 3: Markup Compatibility and Extensibility
Information technology - Modeling Languages - Part 2: Syntax and Semantics for IDEF1X97 (IDEFobject)
IEEE standard for automatic test markup language (ATML) for exchanging automatic test equipment and test information via XML
IEEE standard for property specification language (PSL)
Information technology. Language independent arithmetic. Integer and floating point arithmetic
Information technology - Language independent arithmetic - Part 1: Integer and floating point arithmetic
Programmable controllers -- Programming languages
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)
Information technology - Programming languages - Ruby
Information technology - Object Management Group Unified Modeling Language (OMG UML) - Part 2: Superstructure
Information technology - Object Management Group Unified Modeling Language (OMG UML) - Part 1: Infrastructure
Information technology. Programming languages. C
Information technology - Common Language Infrastructure (CLI)
Information technology. Document description and processing languages. Office Open XML File Formats
Information technology - Database languages - SQL - Part 9: Management of External Data (SQL/MED) TECHNICAL CORRIGENDUM 1
Information technology - SEDRIS language bindings - Part 4: C AMENDMENT 1
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)
Information technology - Database languages - SQL - Part 10: Object Language Bindings (SQL/OLB) 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
IEEE Standard for SystemVerilog - Unified Hardware Design, Specification, and Verification Language
Copyright ©2007-2022 ANTPEDIA, All Rights Reserved
京ICP备07018254号 京公网安备1101085018 电信与信息服务业务经营许可证:京ICP证110310号