Rechercher

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...

1.1 Goals The goals of this part of ISO/IEC 10514 are: - to provide a rigorous definition of the language Modula-2 and its standard library by providing a mathematical model of both; - to provide a resolution of differences...

La présente Norme internationale spécifie la syntaxe et la sémantique du COBOL. Son objectif est de promouvoir un haut degré d'indépendance machine afin de permettre l'utilisation du COBOL sur divers systèmes de traitement de...

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 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 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...

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...

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-critical...