Information technology — Programming languages — Fortran — Enhanced Module Facilities
ISO/IEC TR 19767:2004 specifies an extension to the module facilities and the syntax of definition of procedures in the programming language Fortran. The Fortran language is specified by ISO/IEC 1539-1:2004. The extension allows program authors to develop the implementation details of concepts in new program units, called "submodules," that cannot be accessed directly by use association…
Information technology - Programming languages - Fortran - Enhanced Module Facilities
ISO/IEC TR 19767:2004 specifies an extension to the module facilities and the syntax of definition of procedures in the programming language Fortran. The Fortran language is specified by ISO/IEC 1539-1:2004. The extension allows program authors to develop the implementation details of concepts in new program units, called "submodules," that cannot be accessed directly by use association…
Information technology - Programming languages - Guide for the use of the Ada Ravenscar Profile in h...
ISO/IEC TR 24718:2005 gives a complete description of the motivations behind the Ada Ravenscar Profile, to show how conformant programs can be analysed and to give examples of usage. The profile is a subset of the Ada tasking model, restricted to meet the real-time community requirements for determinism, schedulability analysis and memory-boundedness, as well as being suitable for mapping to a…
Information technology -- Programming languages -- Guide for the use of the Ada Ravenscar Profile in...
The electronic version of this International Standard can be downloaded from the ISO/IEC Information Technology Task Force (ITTF) web site.
ISO/IEC TR 24718:2005 gives a complete description of the motivations behind the Ada Ravenscar Profile, to show how conformant programs can be analysed and to give examples of usage. The profile is a subset of the Ada tasking model, restricted to meet the…
Information technology — Programming languages — Guide for the use of the Ada Ravenscar Profile in h...
ISO/IEC TR 24718:2005 gives a complete description of the motivations behind the Ada Ravenscar Profile, to show how conformant programs can be analysed and to give examples of usage. The profile is a subset of the Ada tasking model, restricted to meet the real-time community requirements for determinism, schedulability analysis and memory-boundedness, as well as being suitable for mapping to a…
Information technology — Guidelines for the management of software documentation
ISO/IEC TR 9294:2005 offers guidance on the management of software documentation to managers responsible for the production of software or software-based products. This guidance is intended to assist managers in ensuring that effective documentation is produced in their organizations.
ISO/IEC TR 9294:2005 addresses the policies, standards, procedures, resources and plans with which managers must…
Information technology — Security techniques — A framework for IT security assurance — Part 1: Overv...
ISO/IEC TR 15443 is a multi-part type 3 Technical Report to guide the IT security professional in the selection of an appropriate assurance method when specifying, selecting, or deploying a security service, product, or environmental factor such as an organization or personnel (known as a deliverable). The aim is to understand the assurance type and amount required to achieve confidence that the…
Information technology - Guidelines for the management of software documentation
ISO/IEC TR 9294:2005 offers guidance on the management of software documentation to managers responsible for the production of software or software-based products. This guidance is intended to assist managers in ensuring that effective documentation is produced in their organizations.
ISO/IEC TR 9294:2005 addresses the policies, standards, procedures, resources and plans with which managers must…
Information technology - Security techniques - A framework for IT security assurance - Part 1: Overv...
ISO/IEC TR 15443 is a multi-part type 3 Technical Report to guide the IT security professional in the selection of an appropriate assurance method when specifying, selecting, or deploying a security service, product, or environmental factor such as an organization or personnel (known as a deliverable). The aim is to understand the assurance type and amount required to achieve confidence that the…
Environmental Qualification of Equipment for CANDU Nuclear Power Plants
1 Scope
1.1
This Standard specifies the requirements for an environmental qualification (EQ) program for CANDU nuclear power plants (see Figure 1). The program comprises a set of planned and coordinated activities that establishes auditable assurance that the equipment required to perform safety functions will meet or exceed the functional and performance requirements under accident…
