Rechercher

This document specifies extensions to programming language C to include functions corresponding to operations specified and recommended in ISO/IEC 60559, but not supported in ISO/IEC 9899:2024 (also referred to as C23).

1 Scope This document specifies the form and establishes the interpretation of programs expressed in the base Fortran language. The purpose of this document is to promote portability, reliability, maintainability, and efficient execution of Fortran programs for use on a variety of computing systems. This document specifies • the forms that a program written in the Fortran language can take…

This document specifies a language-independent application programmer interface (API) to a set of services and functions. For integration into a programming language, the X3D abstract interfaces are embedded in a language-dependent layer obeying the particular conventions of that language. ISO/IEC 19777-5 specifies such a language-dependent layer for the C# languages, providing an implementation-…

This document specifies a language-independent application programmer interface (API) to a set of services and functions. For integration into a programming language, the X3D abstract interfaces are embedded in a language-dependent layer obeying the particular conventions of that language. ISO/IEC 19777-5 specifies such a language-dependent layer for the C# languages, providing an implementation-…

This document specifies requirements for data exchange at the interface between earth-moving machinery, as defined in ISO 6165, mobile road construction machinery, as defined in ISO 22242, and the worksite information systems. It focuses on data for management of a worksite and the assets specific to that worksite. This document includes: a)       methods of local position correction and…

This document provides guidance on the use of the Ravenscar profile for concurrent Ada software intended for verification up to, and including, the very highest levels of integrity. To this end, this document provides a complete description of the motivations behind the Ravenscar profile, to show how conformant programs can be analysed, and to give examples of usage. This document is aimed at a…

This document provides guidance on the use of the Ravenscar profile for concurrent Ada software intended for verification up to, and including, the very highest levels of integrity. To this end, this document provides a complete description of the motivations behind the Ravenscar profile, to show how conformant programs can be analysed, and to give examples of usage. This document is aimed at a…

This document specifies the C++ programming language layer for the language independent application program interface (API) of the Spatial Reference Model (SRM), ISO/IEC 18026.

This document specifies the C++ programming language layer for the language independent application program interface (API) of the Spatial Reference Model (SRM), ISO/IEC 18026.

This document defines the principles, methods and requirements for message exchanges between ships, ship representatives, and other shore parties via a peer-to-peer communication system. This document defines the message structure, including how the data content is assembled from other parts of the ISO 28005 series, and how digital signatures for authentication, integrity, and confidentiality of…