Rechercher

1 Scope 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 independent bodies. These guidelines or standards vary according to the application area, industrial sector or nature of the risk involved. For safety applications, the…

1 Scope 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 independent bodies. These guidelines or standards vary according to the application area, industrial sector or nature of the risk involved. For safety applications, the…

This part of ISO 13281 specifies a minimum set of services to be provided and interface requirements for creating a MAPLE. The specifications in this part of ISO 13281 are specifically for software developers of MAPLE environments, system integrators, and software tool developers. Specifications that address the needs of users such as program developers, planners and operators in a manufacturing…

This National Standard of Canada is equivalent to International Standard ISO/IEC 13719-1:1998. 1 Scope This part of ISO/IEC 13719 specifies PCTE in abstract, programming-language-independent, terms. It specifies the interface supported by any conforming implementation as a set of abstract operation specifications, together with the types of their parameters and results. It is supported…

This National Standard of Canada is equivalent to International Standard ISO/IEC 13719-2:1998. 1 Scope 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, some freedom being allowed to the implementor. Some of…

This National Standard of Canada is equivalent to International Standard ISO/IEC 13719-3:1998. 1 Scope This part of ISO/IEC 13719 defines the binding of the Portable Common Tool Environment (PCTE) interfaces, as specified in ISO/IEC 13719-1, to the Ada programming language. A number of features are not completely defined in ISO/IEC 13719-1, some freedom being allowed to the implementor.…

This National Standard of Canada is equivalent to International Standard ISO/IEC 14361:1996. 1.1 Scope The purpose of this International Standard is to provide APIs supporting the development of applications that are users of the message transfer system, and gateways that incorporate or use X.400 mail functionality. This includes gateways between X.400 mail networks and proprietary mail…

This National Standard of Canada is equivalent to International Standard ISO/IEC 14362:1996. 1.1 Scope This International Standard defines requirements for test methods for measuring conformance to ISO/IEC 14360 {1}. ISO/IEC 14360 {1} is stated in terms that are independent of any particular programming language, but each implementation that conforms to it implements a particular…

This National Standard of Canada is equivalent to International Standard ISO/IEC 14364:1996. 1.1 Scope This International Standard defines an ISO/IEC 9989 {1}¹ C language binding to the language-independent API defined in ISO/IEC 14360 {2} (¹The numbers in curly brackets correspond to those of the references in 1.2.). It is intended to support application portability at the source-code…