一种实现Ada并行任务机制的新方法 被引量：3

1

作者 李赣生 王华民 裘纪海 《计算机学报》 EI CSCD 北大核心 1990年第12期934-939,共6页

本文提出了在单机上实现Ada语言的多任务的单栈存储组织的新方法。同一个任务一个栈的存储组织的方法比较,大大节省了存储空间,提高了任务环境的转接速度。

关键词 ADA语言 并行任务机制

在线阅读 下载PDF 职称材料

Ada95保护对象与面向数据的同步 被引量：6

2

作者 徐宝文 《计算机研究与发展》 EI CSCD 北大核心 1997年第1期72-77,共6页

本文详细讨论了Ａｄａ保护对象机制，分析其应用。

关键词 ADA 任务 保护对象 共享数据 面向数据的同步

在线阅读 下载PDF 职称材料

Ada95与面向对象的程序设计 被引量：5

3

作者 徐宝文 《计算机研究与发展》 EI CSCD 北大核心 1997年第1期58-65,共8页

本文首先分析了Ａｄａ８３对面向对象的程序设计的支持特征。

关键词 ADA 面向对象 程序设计 标记类型

在线阅读 下载PDF 职称材料

Ada95语言评述 被引量：3

4

作者 徐宝文 《计算机研究与发展》 EI CSCD 北大核心 1997年第1期53-57,共5页

Ａｄａ９５语言是在Ａｄａ８３基础上修订而成的，它几乎提供了现代程序设计范型及程序设计实践所需要的一切设施，它可以支持面向对象的程序设计、大型程序设计、实时与并行程序设计等等．本文介绍了Ａｄａ９５的研制背景、修订过程，... Ａｄａ９５语言是在Ａｄａ８３基础上修订而成的，它几乎提供了现代程序设计范型及程序设计实践所需要的一切设施，它可以支持面向对象的程序设计、大型程序设计、实时与并行程序设计等等．本文介绍了Ａｄａ９５的研制背景、修订过程，讨论了Ａｄａ９５的主要特色。 展开更多

关键词 ADA ADA83 ADA95 程序语言

在线阅读 下载PDF 职称材料

关于Ada95变体部分等语法的修正意见 被引量：1

5

作者 徐宝文 《计算机研究与发展》 EI CSCD 北大核心 1997年第1期78-80,共3页

本文指出了Ａｄａ９５参考手册中记录变体部分、记录聚集、分情形语句与异常处理段等语法描述中存在的问题。

关键词 ADA 记录变体部分 记录聚集 分情形语句

在线阅读 下载PDF 职称材料

Ada语言回顾与展望 被引量：1

6

作者 徐宝文 《计算机应用》 CSCD 1989年第3期46-49,20,共5页

本文概述了 Ada 语言的研制背景与过程,讨论了 Ada 与其它语言的区别、Ada 的成就与不足,分析了 Ada 的现状并展望了 Ada 的未来。

关键词 ADA语言 程序设计语言 软件工程

在线阅读 下载PDF 职称材料

Ada软件源代码分析器（ASCA）

7

作者 钱红兵 徐红 奚红宇 《计算机工程与设计》 CSCD 北大核心 1996年第3期51-54,共4页

论述了Ａｄａ软件源代码分析器的结构、功能以及一些特点。该工具是保证Ａｄａ软件系统质量的工具之一，可为高效地开发和维护大型、复杂的软件系统提供支持。

关键词 ADA语言 源代码分析器 程序语言

在线阅读 下载PDF 职称材料

BISE　Ada　8086／8096交叉转换系统的设计与实现

8

作者 蔡建平 《计算机研究与发展》 EI CSCD 北大核心 1994年第2期10-18,共9页

本文给出了基于机器代码程序文又转换的Ａｄａ交叉转换系统的设计方法和实现细节，简述了系统的基本构成和工作过程，指出了掌握代码交叉转换技术的重要意义。该系统的成功实现，为用Ａｄａ开发单片机应用软件提供了强有力的工具。

关键词 ADA语言 程序语言 交叉转换 设计

在线阅读 下载PDF 职称材料

Ada重载子程序的实现

9

作者 徐宝文 《计算机研究与发展》 EI CSCD 北大核心 1989年第11期36-41,共6页

重载子程序是Ada语言的一个新概念.本文根据我们所建立的Ada重载子程序实现模型,分析了重载对子程序实现的影响,介绍了重载子程序说明、体与调用的编译方法.

关键词 重载子程序 ADA语言

在线阅读 下载PDF 职称材料

Ada语言与软件重用 被引量：3

10

作者 刘坚 刘晓华 《西安电子科技大学学报》 EI CAS CSCD 北大核心 1998年第6期733-737,共5页

详细讨论了Ａｄａ８３和Ａｄａ９５语言机制对软件重用的支持．内容涉及Ａｄａ８３的抽象数据类型、静态多态、派生类型和Ａｄａ９５的类型扩展与继承、动态多态、子库单元等．

关键词 ADA83 ADA95 软件重用 ADA语言

在线阅读 下载PDF 职称材料

Ada95层次库结构与大型软件开发 被引量：3

11

作者 徐宝文 《计算机研究与发展》 EI CSCD 北大核心 1997年第1期66-71,共6页

Ａｄａ９５提出了层次库和后扩库单元的概念并提供了相应的设施，对Ａｄａ８３的分别编译设施与可见性规则进行了扩充．这些扩充不仅可以减少重编译和重测试，而且也有利于把一个大系统分成若干个子系统进行开发，有利于进行面向对象的... Ａｄａ９５提出了层次库和后扩库单元的概念并提供了相应的设施，对Ａｄａ８３的分别编译设施与可见性规则进行了扩充．这些扩充不仅可以减少重编译和重测试，而且也有利于把一个大系统分成若干个子系统进行开发，有利于进行面向对象的程序设计．本文对层次库的概念与设施进行了详尽的介绍。 展开更多

关键词 ADA 层次库 后扩库单元 程序设计

在线阅读 下载PDF 职称材料

Ada软件质量保证系统的构成框架和集成机制 被引量：2

12

作者 廖彬山 高仲仪 《计算机研究与发展》 EI CSCD 北大核心 1995年第10期55-59,共5页

本文主要探讨建造Ａｄａ软件质量保证系统应考虑的技术成分和环境的构成要素，并给出系统的原型框架。

关键词 软件质量 框架 软件集成 质量保证 ADA语言

在线阅读 下载PDF 职称材料

VAX/Ada调试符号表的形式化描述 被引量：1

13

作者 蔡建平 《计算机工程与设计》 CSCD 北大核心 1989年第5期40-46,共7页

本文叙述了分析研究调试符号表(DST表)的意义和目的,介绍了DST表提供的基本信息,对由VAX/Ada生成的支持Ada源程序调试的调试信息——调试符号表进行了形式化的描述,给出了快速查询DST表的运行符号表(RST表)的数据结构。

关键词 ADA语言 源程序

在线阅读 下载PDF 职称材料

提高Ada并发效率的一种途径

14

作者 赵恒 王振宇 《计算机应用与软件》 CSCD 北大核心 2001年第8期29-31,65,共4页

Ada的会合机制使我们能在高级语言一级上描述系统的并发活动,从而避免了在使用低级通信原语时所不可避免的问题。但由于会合机制是一种完全同步的实现机制,因此其并发效率较低。为此,本文提出:采用基于Ada保护对象的(异步)信箱机制实现... Ada的会合机制使我们能在高级语言一级上描述系统的并发活动,从而避免了在使用低级通信原语时所不可避免的问题。但由于会合机制是一种完全同步的实现机制,因此其并发效率较低。为此,本文提出:采用基于Ada保护对象的(异步)信箱机制实现Ada会合的服务模型,使之既具有会合机制的高可靠性,又能提高系统的并发度和实现效率。 展开更多

关键词 ADA语言 并发程序设计 并发效率 软件系统

在线阅读 下载PDF 职称材料

Ada语法制导编辑器的设计与实现

15

作者 朱明远 柳斌 《计算机学报》 EI CSCD 北大核心 1990年第6期429-435,共7页

Ada语法制导编辑器ASDE是集成化的Ada程序设计环境AWA(Ada working Assistant)的核心系统。它引导用户按照Ada的语法规则编写程序,支持自顶向下逐步求精的程序设计方法,并提供了与其它软件工具的接口,使得用户在编辑状态下就可以执行其... Ada语法制导编辑器ASDE是集成化的Ada程序设计环境AWA(Ada working Assistant)的核心系统。它引导用户按照Ada的语法规则编写程序,支持自顶向下逐步求精的程序设计方法,并提供了与其它软件工具的接口,使得用户在编辑状态下就可以执行其它的系统命令。本文首先介绍ASDE所采用的模板驱动方式的语法制导编辑模型,然后详细描述了ASDE的功能、总体结构和主要实现技术。 展开更多

关键词 ADA语言 语法制导 编辑器

在线阅读 下载PDF 职称材料

一种实现Ada支撑程序包的方法

16

作者 姜静波 陈实 韩青 《计算机工程与应用》 CSCD 北大核心 1989年第11期187-194,共8页

本文给出一种实用、有效的Ada支撑程序包的实现方法,并讨论该实现方法的技术难点以及所需要的技术支持和可能存在的问题.

关键词 ADA语言 支撑程序包

在线阅读 下载PDF 职称材料

一个实用的Ada源级调试器的设计和实现

17

作者 梁成才 《计算机应用与软件》 CSCD 北大核心 2001年第5期43-48,共6页

Ada是美国国家军用标准编程语言。近年来,我国也开展了对Ada及其开发环境的研究工作。本文首先介绍高级语言开发环境中源级符号调试器的基本原理,然后给出了一个实用性的Ada源级调试器的设计和实现关键技术。

关键词 ADA语言 程序排错 源级调试器 符号表 设计 软件系统

在线阅读 下载PDF 职称材料

并行程序的流程图分析法 被引量：2

18

作者 马军 马绍汉 《软件学报》 EI CSCD 北大核心 1995年第A01期182-186,共5页

本文给出一种对Ａｄａ并行程序的流程图分析法，该方法不仅给出在并行程序中，并发多任务之间相互通信的一种可视化的表示，同时可检查出地程序中存在的死锁，并能启发如何消除死锁。并行流程图在检查死锁的方便性，消除死锁的启发性，... 本文给出一种对Ａｄａ并行程序的流程图分析法，该方法不仅给出在并行程序中，并发多任务之间相互通信的一种可视化的表示，同时可检查出地程序中存在的死锁，并能启发如何消除死锁。并行流程图在检查死锁的方便性，消除死锁的启发性，实际应用的可行性和对并行算法思想的描述性等方面明显优于已知的Ｐｅｔｒｉ网分析法。 展开更多

关键词 ADA语言 并行程序 流程图分析法

在线阅读 下载PDF 职称材料

ADA中间语言DIANA界面上的二个工具

19

作者 李爱武 《计算机学报》 EI CSCD 北大核心 1989年第8期638-641,共4页

1.DIANA的外部表示文法(1)〈DIANA程序〉::=〈使用结点〉〈结点序列〉(2)〈使用结点〉::=名字〈属性标号地址〉|整数〈标号地址〉(3)〈属性标号地址〉::=〈属性部分〉|:〈结点〉|^(4)〈标号地址〉::=:〈结点〉|^(5)

关键词 ADA语言 DIANA 界面 程序设计语言

在线阅读 下载PDF 职称材料

从软件工程看Ada程序设计语言

20

作者 赵春泉 《计算机工程与应用》 CSCD 北大核心 1989年第9期13-18,共6页

Ada语言是一种新的现代高级程序设计语言,它代表了现代高级程序设计语言的发展水平。本文从软件工程的角度分析了Ada语言所具有的主要特征和这些特征对软件工程的支持及贡献。目的在于更深入地认识Ada语言及其作用,促进在软件工程领域... Ada语言是一种新的现代高级程序设计语言,它代表了现代高级程序设计语言的发展水平。本文从软件工程的角度分析了Ada语言所具有的主要特征和这些特征对软件工程的支持及贡献。目的在于更深入地认识Ada语言及其作用,促进在软件工程领域中更好地开发应用Ada语言。 展开更多

关键词 软件工程 ADA语言 程序设计语言

在线阅读 下载PDF 职称材料