35.060 信息技术用语言 标准查询与下载
共找到 1716 条与 信息技术用语言 相关的标准，共 115 页
Document description and processing languages — Office Open XML file formats — Part 2: Open packaging conventions
- ICS
- 35.060
- CCS
- 发布
- 2021-08-09
- 实施
This part of IEC 61804 specifies EDD interpretation for EDD applications and EDDs to support EDD interoperability. This document is intended to ensure that field device developers use the EDDL constructs consistently and that the EDD applications have the same interpretations of
Devices and integration in enterprise systems - Function blocks (FB) for process control and electronic device description language (EDDL) - Part 4: EDD interpretation (IEC 61804-4:2020); English version EN IEC 61804-4:2020
- ICS
- 35.060
- CCS
- 发布
- 2021-08-00
- 实施
- 2021-08-01
This part of IEC 61804 specifies the EDDL Builtin library and provides the profiles of the various fieldbuses.
Devices and intergration in enterprise systems - Function blocks (FB) for process control and electronic device description language (EDDL) - Part 5: EDDL Builtin library (IEC 61804-5:2020); English version EN IEC 61804-5:2020
- ICS
- 35.060
- CCS
- 发布
- 2021-08-00
- 实施
- 2021-08-01
This corrigendum 1 corrects the note to CD-ROM attachment on the DIN title page of DIN EN 61926-1:2000-11.
Design automation - Part 1: Standard test language for all systems - Common abbreviated test language for all systems (C/ATLAS) (IEC 61926-1:1999); German version EN 61926-1:2000; Corrigendum 1
- ICS
- 35.060
- CCS
- 发布
- 2021-08-00
- 实施
This part of IEC 61804 specifies the Electronic Device Description Language (EDDL) technology, which enables the integration of real product details using the tools of the engineering life cycle.
Devices and integration in enterprise systems - Function blocks (FB) for process control and electronic device description language (EDDL) - Part 3: EDDL syntax and semantics (IEC 61804-3:2020); English version EN IEC 61804-3:2020
- ICS
- 35.060
- CCS
- 发布
- 2021-08-00
- 实施
- 2021-08-01
Behavioural languages - Part 8: Standard SystemC Analog/Mixed-Signal Extensions Language Reference Manual
- ICS
- 35.060
- CCS
- 发布
- 2021-07-26
- 实施
SystemVerilog - Part 2: Universal Verification Methodology Language Reference Manual
- ICS
- 35.060
- CCS
- 发布
- 2021-07-26
- 实施
ISO/IEC 9075-3:2016 defines the structures and procedures that can be used to execute statements of the database language SQL from within an application written in a programming language in such a way that procedures used are independent of the SQL statements to be executed.
Information technology — Database languages — SQL — Part 3: Call-Level Interface (SQL/CLI)
- ICS
- 35.060
- CCS
- 发布
- 2021-07-01
- 实施
This International Standard specifies a language-neutral and environment-neutral description to define the methodology needed to support the signing of software source code, to enable it to be uniquely identified, and to enable roll-back to signed previous versions. It is intended to be used by originators of software source code and the recipients of their signed source code. This International Standard is designed for transfers of source code among disparate entities. The following areas are outside the scope of this International Standard: - Determination of the trust level of a certification authority; - Format used to track revisions of source code files; - Digital signing of object or binary code; - System configuration and resource availability; - Metadata - This is partially addressed by ISO/IEC 19770‑2; - Transmission and representation issues - Though this could be an issue in implementation, there are techniques such as Portable Document Format (PDF)[1] that can be used to mitigate these issues. This applies in particular to the transmission of digital signatures. [1] ISO 32000-1:2008 Document management ? Portable document format ? Part 1: PDF 1 specifies a digital form for representing electronic documents to enable users to exchange and view electronic documents independent of the environment in which they were created or the environment in which they are viewed or printed.
Information technology — Programming languages, their environments and system software interfaces — Code signing for source code
- ICS
- 35.060
- CCS
- 发布
- 2021-07-01
- 实施
ISO/IEC TR 24717:2009 specifies the interfaces and behaviour of a common class library for managing sets of object references in COBOL. The purpose of ISO/IEC TR 24717:2009 is to promote a high degree of portability in implementations of the class library, even though some elements are subject to trial before completion of a final design suitable for standardization. ISO/IEC TR 24717:2009 builds on the syntax and semantics defined in ISO/IEC 1989:2002.
Information technology — Programming languages, their environments and system software interfaces — Collection classes for programming language COBOL
- ICS
- 35.060
- CCS
- 发布
- 2021-07-01
- 实施
ISO/IEC TS 18508:2015 specifies the form and establishes the interpretation of facilities that extend the For-tran language defined by ISO/IEC 1539-1:2010, ISO/IEC 1539-1:2010/Cor 1:2012, and ISO/IEC 1539-1:2010/Cor 2:2013. The purpose of this Technical Specification is to promote portability, reliability, maintainability, and ef-ficient execution of parallel programs written in Fortran, for use on a variety of computing systems. ISO/IEC TS 18508:2015 does not specify formal data consistency model. Developing the formal data consist-ency model is left until the integration of these facilities into ISO/IEC 1539-1.
Information technology — Additional Parallel Features in Fortran
- ICS
- 35.060
- CCS
- 发布
- 2021-07-01
- 实施
1 Scope This Technical Report provides guidance on the use of Ada when producing high integrity systems. In producing such applications it is usually the case that adherence to guidelines or standards has to be demonstrated to independent bodies. These guidelines or standards vary according to the application area, industrial sector or nature of the risk involved. For safety applications, the international generic standard is [IEC 61508] of which part 3 is concerned with software. For security systems, the multi-national generic assessment guide is [ISO CD 15408]. For sector-specific guidance and standards there are: Airborne civil avionics: [DO-178B] Nuclear power plants: [IEC 880] Medical systems: [IEC 601-4] Pharmaceutical: [GAMP] For national/regional guidance and standards there are the following: UK Defence: [DS 00-55] European rail: [EN 50128] European security: [ITSEC] US nuclear: [NRC] UK automotive: [MISRA] US medical: [FDA] US space: [NASA] The above standards and guides are referred to as Standards in this Technical Report. The above list is not exhaustive but indicative of the type of Standard to which this Technical Report provides guidance. The specific Standards above are not addressed individually but this Technical Report is synthesized from an analysis of their requirements and recommendations. 1.1 Within the scope This Technical Report assumes that a system is being developed in Ada to meet a standard listed above or one of a similar nature. The primary goal of this Technical Report is to translate general requirements into Ada specific ones. For example, a general standard might require that dynamic testing provides evidence of the execution of all the statements in the code of the application. In the case of generics, this is interpreted by this Technical Report to mean all instantiations of the generic should be executed. ISO/IEC TR 15942:2000 (E) 2 © ISO/IEC 2000 - All rights reserved This Technical Report is intended to provide guidance only, and hence there are no ?shalls'. However, this Technical Report identifies verification and validation issues which should be resolved and documented according to the sector-specific standards being employed. The following topics are within the scope of this Technical Report: _ the choice of features of the language which aid verification and compliance to the standards, _ identification of language features requiring additional verification steps, _ the use of tools to aid design and verification, _ issues concerning qualification of compilers for use on high integrity applications, _ tools, such as graphic design tools, which generate Ada source code which is accessible to users. Tools which generate Ada source code require special consideration. Where generated code may be modified or extended, verification of the extensions and overall system will be assisted if the guidelines have been taken into account. Even where modification is not planned, inspection and analysis of the generated code may be unavoidable unless the generator is trusted or ?qualified' according to an applicable standard. Finally, even if generated code is neither modified nor inspected, the overall verification process may be made more complicated if the code deviates from guidelines intended to facilitate testing and analysis. Potential users of such tools should evaluate their code generation against the guidance provided in this Technical Report. 1.2 Out of scope The following topics are considered to be out of scope with respect to this Technical Report: _ Domain-specific standards, _ Application-specific issues, _ Hardware and system-specific issues, _ Human factor
Information technology — Programming languages — Guide for the use of the Ada programming language in high integrity systems
- ICS
- 35.060
- CCS
- 发布
- 2021-07-01
- 实施
ISO/IEC TR 19075-5:2016 discusses the syntax and semantics for recognizing patterns in rows of a table, as defined in [ISO 9075-2].
Information technology — Database languages — SQL Technical Reports — Part 5: Row Pattern Recognition in SQL
- ICS
- 35.060
- CCS
- 发布
- 2021-07-01
- 实施
ISO/IEC TR 24732:2009 specifies an extension to the programming language C, specified by the International Standard ISO/IEC 9899:1999. The extension provides support for decimal floating-point arithmetic that is intended to be consistent with the specification in IEEE 754-2008. Any conflict between the requirements described here and that specification is unintentional. ISO/IEC TR 24732:2009 defers to IEEE 754-2008. The binary floating-point arithmetic as specified in IEEE 754-2008 is not considered in ISO/IEC TR 24732:2009.
Information technology — Programming languages, their environments and system software interfaces — Extension for the programming language C to support decimal floating-point arithmetic
- ICS
- 35.060
- CCS
- 发布
- 2021-07-01
- 实施
ISO/IEC 9075-9:2016 defines extensions to Database Language SQL to support management of external data through the use of foreign-data wrappers and datalink types.
Information technology — Database languages — SQL — Part 9: Management of External Data (SQL/MED)
- ICS
- 35.060
- CCS
- 发布
- 2021-07-01
- 实施
ISO/IEC 24747:2009 defines extensions to the C Standard Library that is defined in the International Standard for the C programming language (ISO/IEC 9899). Unless otherwise specified, the whole of the C Standard Library is included in ISO/IEC 24747:2009 by reference. ISO/IEC 24747:2009 defines library extensions to the C Standard Library to support Mathematical Special functions to be added to <math.h> and <tgmath.h>.
Information technology — Programming languages, their environments and system software interfaces — Extensions to the C Library to support mathematical special functions
- ICS
- 35.060
- CCS
- 发布
- 2021-07-01
- 实施
Abstract: This standard is part of the POSIX ® series of standards for applications and user inter-faces to open systems. It defines the Ada language bindings as package specifications and accompanying textual descriptions of the application program interface (API). This standard supports application portability at the source code level through the binding between ISO 8652:1995 (Ada) and ISO/IEC 9945-1:1996 (IEEE Std 1003.1-1996) (POSIX) as amended by IEEE P1003.1g/D6.6. Terminology and general requirements, process primitives, the process environment, files and directories, input and output primaries, device- and classspecific functions, language-specific services for Ada, system databases, synchronization, memory management, execution scheduling, clocks and timers, message passing, task management, the XTI and socket detailed network inter-faces, event management, network support functions, and protocol-specific mappings are covered. It also specifies behavior to support the binding that must be provided by the Ada.
Information technology — POSIX Ada Language Interfaces — Binding for System Application Program Interface (API)
- ICS
- 35.060
- CCS
- 发布
- 2021-07-01
- 实施
Since the extensions described in this ISO/IEC TS 19571:2016 are experimental and not part of the C++ standard library, they should not be declared directly within namespace std. Unless otherwise specified, all components described in this technical specification either: - modify an existing interface in the C++ Standard Library in-place, - are declared in a namespace whose name appends ::experimental::concurrency_v1 to a namespace defined in the C++ Standard Library, such as std, or - are declared in a subnamespace of a namespace described in the previous bullet, whose name is not the same as an existing subnamespace of namespace std. Each header described in this ISO/IEC TS 19571:2016 shall import the contents of std::experimental::concurrency_v1 into std::experimental as if by namespace std { namespace experimental { inline namespace concurrency_v1 {} } }
Programming Languages — Technical specification for C++ extensions for concurrency
- ICS
- 35.060
- CCS
- 发布
- 2021-07-01
- 实施
Programming languages - C++ (Adopted ISO/IEC 14882:2020, sixth edition, 2020-12)
- ICS
- 35.060
- CCS
- 发布
- 2021-07-01
- 实施
ISO/IEC TR 24731 provides alternative functions for the C library that promote safer, more secure programming. ISO/IEC TR 24731-1 provides simple replacement functions for the library functions of ISO/IEC 9899:1999 that provide bounds checking. Those functions can be used as simple replacements for the original library functions in legacy code. ISO/IEC TR 24731-2:2010 presents replacements for many of these functions that use dynamically allocated memory to ensure that buffer overflow does not occur.
Information technology — Programming languages, their environments and system software interfaces — Extensions to the C library — Part 2: Dynamic Allocation Functions
- ICS
- 35.060
- CCS
- 发布
- 2021-07-01
- 实施
