检索结果-内蒙古大学图书馆

ISO/IEC 8652:2012 specifies the form and meaning of programs written in the programming language Ada. Its purpose is to promote the portability of Ada programs to a variety of computing systems. This third edition of ISO/IEC 8652 focuses on improvements in those user domains where safety and criticality are prime concerns. It enhances the functionality of containers, improves the ability to write and enforce contracts for Ada entities (for instance, via preconditions), and adds to the capabilities of Ada to perform on multicore and multithreaded architectures. Ada is designed to support the construction of long‐lived, highly reliable software systems. The language includes facilities to define packages of related types, objects, and operations. The packages may be parameterized and the types may be extended to support the construction of libraries of reusable, adaptable software components. The operations may be implemented as subprograms using conventional sequential control structures, or as entries that include synchronization of concurrent threads of control as part of their invocation. Ada supports object‐oriented programming by providing classes and interfaces, inheritance, polymorphism of variables and methods, and generic units. The language treats modularity in the physical sense as well, with a facility to support separate compilation. The language provides rich support for real‐time, concurrent programming, and includes facilities for multicore and multiprocessor programming. Errors can be signaled as exceptions and handled explicitly. The language also covers systems programming;this requires precise control over the representation of data and access to system‐dependent properties. Finally, a predefined environment of standard packages is provided, including facilities for, among others, input‐output, string manipulation, numeric elementary functions, random number generation, and definition and use of containers. Foremost in the design of Ada is the int

关键词： ADA语言人工语言指令结构计算机软件数据处理信息技术程序架构程序交换程序设计程序设计语言

来源：评论

学校读者我要写书评

暂无评论

学习技术的标准满足运行时间服务通信的ECMAScript应用程序设计接口

学习技术的标准满足运行时间服务通信的ECMAScript应用程序设计...

引用

标准类型：其他国外标准(光盘)

来源：评论

学校读者我要写书评

暂无评论

信息技术.程序设计语言.Ada.修改件1

信息技术.程序设计语言.Ada.修改件1

引用

标准类型：行业标准

This standard is Information technology - Programming languages - Ada; Amendment 1

标准号: ISO/IEC 8652 AMD 1-2007

This standard is Information technology - Programming languages - Ada; Amendment 1

关键词： Ada语言人工语言指令结构计算机软件数据处理信息技术程序架构程序交换程序设计程序设计语言

来源：评论

学校读者我要写书评

暂无评论

程序设计语言 APL

程序设计语言 APL

引用

标准类型：行业标准

Describes the semantics and syntax of the APL progamming language and the environment for the application, interchange and the portability of APL programs. Defines requirements for conformance with the standard.

标准号: ISO 8485-1989

关键词：数据处理信息处理计算机程序计算机信息交流程序交换字符集程序设计程序设计语言程序设计语言

来源：评论

学校读者我要写书评

暂无评论

信息技术程序设计语言 Ada

信息技术程序设计语言 Ada

引用

标准类型：行业标准

标准号: ISO/IEC 8652-1995

This International Standard specifies the form and meaning of programs written inAda. Its purpose is to promote the portability of Ada programs to a variety ofdata processing systems. 1 Extent This International Standard specifies: · The form of a program written in Ada; · The effect of translating and executing such a program; · The manner in which program units may be combined to form Ada programs; · The language-defined library units that a conforming implementation is requiredto supply; · The permissible variations within the standard, and the manner in which theyare to be documented; · Those violations of the standard that a conforming implementation is requiredto detect, and the effect of attempting to translate or execute a programcontaining such violations; · Those violations of the standard that a conforming implementation is notrequired to detect. This International Standard does not specify: · The means whereby a program written in Ada is transformed into object codeexecutable by a processor; · The means whereby translation or execution of programs is invoked and theexecuting units are controlled; · The size or speed of the object code, or the relative execution speed ofdifferent language constructs; · The form or contents of any listings produced by implementations; inparticular, the form or contents of error or warning messages; · The effect of unspecified execution. · The size of a program or program unit that will exceed the capacity of aparticular conforming implementation. 2 Structure This International Standard contains thirteen sections, fourteen annexes, and anindex. The core of the Ada language consists of: · Sections 1 through 13 · Annex A, "Predefined Language Environment" · Annex B, "Interface to Other Languages" · Annex J, "Obsolescent Features" The following Specialized Needs Annexes define features that are needed by certainapplication areas: · Annex C, "Systems Programming" · Annex D, "Real-Time Systems" · Annex E, "Distributed Systems" ·

关键词：计算机软件程序交换程序设计语言程序结构程序设计命令结构 ADA 语言数据处理人工语言信息技术

来源：评论

学校读者我要写书评

暂无评论

信息技术程序设计语言 Ada:语言处理器的一致性评价

信息技术程序设计语言 Ada:语言处理器的一致性评价

引用

标准类型：行业标准

标准号: ISO/IEC 18009-1999

1 This International Standard establishes requirements for certifying an assessment that an Ada language processor conforms to the requirements of the Ada language standard, ISO/IEC 8652. It places requirements on the organization that performs the assessment, the assessment procedures, and the test suite used in the assessment. Finally, it places requirements on the form for the certificate of conformity. 2 This International Standard concerns only the assessment of conformity to the language requirements of ISO/IEC 8652. It does not concern the assessment of any other characteristics of a language processor or of the construction process used by the manufacturer of the language processor. NOTE In the sense of [ISO/IEC Guide 23], the Ada language standard, ISO/IEC 8652, is to be regarded as a standard for a specific property rather than a comprehensive product standard. 3 This International Standard is intended to be primarily suitable for use by a third party authority although portions of it may also be applied by a supplier (first party) or by a user or purchaser (second party). 4 An Ada language processor may be claimed to conform to the requirements of ISO/IEC 8652 regardless of the application of this International Standard. This International Standard prescribes the method for obtaining a certification that an Ada language processor conforms to ISO/IEC 8652. Customers desiring to acquire a language processor certified as conforming should explicitly require that certification by citing this International Standard. 5 Certification should not be construed as guaranteeing that the certified product is free of non-conformities or defects; it only certifies that no evidence of non-conformity was found during the certification process.

关键词：估计一致性信息技术定义计算机软件 ADA 语言程序交换数据处理程序处理机人工语言程序设计语言

来源：评论

学校读者我要写书评

暂无评论

标准类型：行业标准

学校读者我要写书评

暂无评论

一种异型信道转接器的设计

引用

测控技术 1999年第11期18卷 38-40页

作者：王玉林武汉汽车工业大学电子与信息学院 430070

介绍了一种异型信道转接器的功能特点、硬件方案、关键技术和软件设计技巧。

关键词：转接器程序交换单片机设计信道

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：