Rechercher

This part of ISO/IEC 13719 defines the binding of the Portable Common Tool Environment (PCTE), as specified in ISO/IEC 13719-1, to the C programming language. A number of features are not completely defined in ISO/IEC 13719-1...

This International Standard specifies syntax and semantics of the computer programming language ISLISP by specifying requirements for a conforming ISLISP processor and a conforming ISLISP text. This International Standard...

La présente Norme internationale spécifie la syntaxe et la sémantique du langage de programmation informatique ILISISP en spécifiant les exigences pour un processeur ILISISP conforme et un texte ILISISP conforme. (a) la...

This Standard specifies - rules for secure coding in the C programming language, and - code examples. This Standard does not specify - the mechanism by which these rules are enforced, or - any particular coding style to be...

This document specifies software programming language vulnerabilities to be avoided in the development of systems where assured behaviour is required for security, safety, mission-critical and business-critical software. In...

This Technical Report specifies the interfaces and behavior of a common class library for managing sets of object references in COBOL. The purpose of this Technical Report is to promote a high degree of portability in...

This Technical Report specifies the syntax and semantics for object finalization in COBOL. The purpose of this Technical Report is to promote a high degree of portability in implementations of object finalization, even though...

This Technical Report specifies the syntax and semantics for object finalization in COBOL. The purpose of this Technical Report is to promote a high degree of portability in implementations of object finalization, even though...

This Technical Report specifies the interfaces and behavior of a common class library for managing sets of object references in COBOL. The purpose of this Technical Report is to promote a high degree of portability in...

Ce rapport technique fournit des conseils sur l’utilisation d’Ada lors de la production de systèmes à haute intégrité. Lors de la production de telles applications, il est généralement nécessaire de démontrer le respect des...

1. Scope This Technical Report specifies software programming language vulnerabilities to be avoided in the development of systems where assured behaviour is required for security, safety, mission-critical and business...