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

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

基于ALI的ADA语言静态分析器的研究与实现

Ada语言源代码经编译器编译后生成一个后缀名为Ali的文本文件。该Ali文件中包含了丰富的有关Ada源代码的信息。该文剖析了由M1750Ada编译器编译生成的Ali文件内包含的具体信息内容,并介绍了基于Ali文件的分析并结合Lex词法分析工具来实现ADA语言静态分析器的过程。     

The Ada Language System

The ALS–a portable, retargetable, integrated environment–is being designed to meet rigorous Stoneman requirements. It addresses critical development and maintenance problems of embedded computer systems.     

分布式Ada语言系统的实现

基于Ada 95参考手册附录E“分布式系统”中的思想,提出了实现分布式Ada语言系统的一些概念和设计思想,并给出了实现分区通信子系统的具体方案.在此基础上,通过一些前置处理,并利用已实现的分区通信子系统的接口,实现了分布式Ada语言系统.最后通过一个实例,具体介绍了分布式Ada语言系统的程序设计方法.     

代码依赖可视化系统

分析了代码依赖可视化在智能化软件开发中的作用，在总结代码依赖特点和信息可视化系统一般流程的基础上，提出了代码依赖可视化系统的设计.该系统使用力导向节点连接图和层次边聚合图作为可视化形式，基于对两种可视化形式布局特点的深入分析，分别针对力导向节点连接图和层次边聚合图创造了过滤子节点和聚合叶节点的交互设计.在使用多种软件技术实现了代码依赖可视化原型系统dpViz之后，将系统试用于企业软件开发中，实验结果表明该可视化原型系统可有效增进代码分析效率.     

基于群机系统的Ada编译程序

为了使Ａｄａ程序运行在松散耦合分布式系统并且降低程度员开发分布Ａｄａ的程序的工,设计并实现了基于该环境下的Ａｄａ编译程序。     

Ada95分布系统模型的分析

本文详细分析了Ada95分布系统模型的语义,重点探讨了分布单元的构成、通信和库单元分类编译指示,最后给出了网络应用的例子。     

Ada语言在控制系统仿真中的应用

以编制解算三通道控制系统方程为例．本文对Ａｄａ语言在仿真方面的适用性进行了初步研究．     

任意公理系统的依赖基

形式化定义了值依赖的公理、公理系统及依赖基。严格证明了任何公理系统对任何背景都具有依赖基,给出 了对任意一个公理系统求任意背景依赖基的方法,并证明了每个公理系统的依赖基不唯一。进而还提出了一种诱导 背景,通过诱导背景可把这个证明过程及依赖基的计算过程形象地反映出来。     

Ada并发程序设计

<正> 该书1984年出版,作者系美国贝尔实验室的Narain Gehani。该书从公认的第一个提供高级通用并发程序设计设施的Ada语言着手,全面地介绍了Ada语言中的并发程序设计设施,以及如何有效利用这些设施编写并发程序;概述了在其它语言的并发程序设计设施;讨论了并发程序设计中的一些细节问题;书末还附录了Ada顺序程序设计的概要。目前,各种大小的并行计算机及操作系统都已相继问世并投入实际使用。并行处理将是今后几年计算机工程和应用的发展方向之一,也是新一代计算机的核心技术之一。但是如果缺乏高度并行的程序设计语言和方法,将会给广泛的应用带来很大障碍,这已引起计算机各     

Ada软件开发环境中求助技术

在软件开发环境中为软件设计人员提供界面友好、方便快捷的工具是一个优秀软件所须具备的特性之一。本文分析了Ada软件开发环境中的求助功能的特点,详细说明了其设计方法和实现中的一些关键技术,并总结了设计求助功能的一些基本原则。     

Ada并发程序设计

<正> 该书1984年出版,作者系美国贝尔实验室的Narain Gehani。 该书从公认的第一个提供高级通用并发程序设计设施的Ada语言着手,全面地介绍了Ada语言中的并发程序设汁设施,以及如何有效利用这些设施编写并发程序;概述了在其它     

Composition Analyzer: support tool for composition analysis on painting masterpieces

In this paper, we propose a tool for extracting compositional information from pictures called the Composition Analyzer. This tool extracts such compositional information as the sizes, shapes, proportions, and locations of figures, by two processes. More specifically, it first segments a picture into figures and a ground by a figure extraction method we developed. It then extracts the above compositional information from the figures based on the Dynamic Symmetry principle. The extracted compositional information is used to refine the picture, and as such, facilitates the production of multimedia for non-professionals.     

Implementing Ada Exceptions

Can exceptions be implemented for Ada without imposing overhead on normal execution? Yes, as long as certain rules are followed.     

Ada并发程序设计

<正> 死锁,不一定的时序和不一定的轮询都是并发程序设计问题,这些问题通常对顺序程序设计不感兴趣,甚至无关。这些问题发生在并发程序设计之中,而不管程序设计语言提供了什么样的并发程序设计设施。但是,程序设计语言中的并发设施的精确特性对这些问题的严重性与经常性确有影响。本章讨论三个并发程序设计问题:死锁,程序中的最大并发特性,以及Ada中的轮询偏向。 1.死锁当程序中的一个或多个任务被永远阻塞时,死锁就发生了,因为需求不能满足。在一些任务中,死锁会成为某些任务中的一种     

信息系统应用关系分析器

信息系统应用关系分析器是一个以三维可视化的方式分析信息系统的应用之间关系的工具.可以以三维可视化的方式直观的展示所有应用节点、应用之间的关联关系、流向关系、应用基本信息、应用监控信息和应用告警信息等,并且能够在某一应用节点出现问题时直观、快速、准确的定位故障节点以及影响范围.同时分析器还可以以三维可视化的方式展示应用节点所包含的内部系统结构以及各结构之间的关联关系.分析器数据来源来自关系数据库、后端使用J2EE技术,三维可视化使用Unity3D.整个分析器具有部署灵活、扩展性好、操作简便、数据呈现清晰直观等特性.     

Debugging Ada Tasking Programs

Debuggers for parallel programs have to be more than passive information gatherers-they should automatically detect errors. Powerful task debuggers for Ada can be constructed by extending existing tools that detect deadlock.