Rechercher

Scope This Technical Report provides a description of the motivations behind the Ravenscar Profile, to show how Ada programs using the profile can be analysed, and gives examples of usage.

Scope This Technical Report specifies the syntax and semantics for XML support in COBOL. The purpose of this Technical Report is to promote a high degree of portability in implementations, even though some elements are...

This standard establishes the requirements for systems engineering activities to be performed on projects of the United States (US) Department of Defense (DoD) and other defense agencies across the entire system life cycle...

ISO/IEC TR 24731 specifies a series of extensions of the programming language C, specified by ISO/IEC 9899:1999. ISO/IEC 9899:1999 provides important context and specification for this part of ISO/IEC TR 24731. Clause 4...

Cette norme établit les exigences relatives aux activités d'ingénierie des systèmes à exécuter sur les projets du Département de la Défense des États-Unis (DoD) et d'autres agences de défense tout au long du cycle de vie du...

This Standard extends programming language C to include support for attributes specified and recommended in ISO/IEC/IEEE 60559:2011

La présente partie de l'ISO/CEI TS 18661 étend le langage de programmation C pour inclure la prise en charge des attributs spécifiés et recommandés dans l'ISO/CEI/IEEE 60559:2011.

This part of ISO/IEC 24709 defines a number of test assertions written in the assertion language specified in ISO/IEC 24709-1:2007. This part of ISO/IEC 24709 specifies all the test assertions that are to be executed for...

This Standard defines the elements necessary to establish a cyber security management system (CSMS) for industrial automation and control systems (IACS) and provides guidance on how to develop those elements. This standard...

This document provides a tutorial of SQL routines and types using the Java™ programming language. This document discusses the following features of the SQL Language: The use of routines written in the Java programming...

La présente partie de l'ISO/CEI 9075 spécifie la possibilité d'invoquer des méthodes statiques écrites dans le langage de programmation Java™ en tant que routines appelées SQL et d'utiliser des classes définies dans le...

This Technical Report specifies a series of extensions of the programming language C, specified by International Standard ISO/IEC 9899:1999. These extensions can be useful in the mitigation of security vulnerabilities in...