SSAC,一个基于软件科学法的Ada程序复杂性度量工具

ＳＳＡＣ是一个基于软件科学法的Ａｄａ程序复杂性度量工具，其主要特征是能同时分别度量程序的顺序复杂性和并发复杂性。文中描述了Ａｄａ程序中并发操作符和并发操作元的定义和识别。同时提出在Ａｄａ程序复杂性综合度量中，并发复杂性的加权思想。     

Ada智能模拟包AISP的前向推理系统

ＡＩＳＰ是一个用Ａｄａ语言开发的智能模拟研究。本文以界面语言，知识库，推理机等几个方面详细介绍ＡＩＳＰ前向推理系统的设计及其两种应用途径；作为智能模拟包，构造军事智能模拟系统；作为专家系统工具，开发军事专家系统。     

用ASP技术将Web网页连接到数据库

本文介绍了ＡＳＰ技术的特点、编程语法、以及如何利用ＡＳＰ编制ＢＲＯＷＥＲ／ＳＥＲＶＥＲ方式的动态网页，并在结尾例举了笔者编制的一个程序片段。     

KBASE－P知识库系统的设计与实现

当前的实用知识库系统研究是将知识库查询语言嵌入到一个过程语言中．ＫＢＡＳＥ－Ｐ是一个通用的知识库程序设计语言．ＫＢＡＳＥ－Ｐ以ＫＢＡＳＥ作为查询语言，以ＦＤ－ＰＲＯＬＯＧ（我们开发的一个ＰＲＯＬＯＧ扩充）为过程性的宿主语言执行１／Ｏ和ＤＢ更新操作（用扩充的内部谓词）．由于良好的设计和实现，查询语言与宿主语言之间的阻抗不匹配问题相对较小．因而，ＫＢＡＳＥ－Ｐ是一个比较实用的知识库程序设计语言．ＫＢＡＳＥ－Ｐ系统支持逻辑程序设计语言（ＫＢＡＳＥ－Ｐ语言）的程序开发，提供了文本编辑、文件管理、谓词管理、事实操作、Ｄａｔａｌｏｇ查询、ＳＱＬ查询等功能．本文详细介绍了ＫＢＡＳＥ－Ｐ系统的设计和实现．     

用ASP技术将Web网页连接到数据库

ＡＳＰ技术的特点、编程语法以及如何利用ＡＳＰ编制ＢＲＯＷＳＥＲ／ＳＥＲＶＥＲ方式的动态网页,并在结尾例举了作者编制的１个程序片段     

PCLAgenda:一个基于过程的CASE环境

本文描述了ＰＣＬＡｇｅｎｄａ（ｐｒｏｃｅｓｓｃｏｎｔｒｏｌｉｎｇｌａｎｇｕａｇｅａｇｅｎｄａ）的设计与实现．ＰＣＬＡｇｅｎ－ｄａ是ＳＣＯＰ组合框架软件工具系统中提供的以过程为核心的软件工程环境，其主要功能是定义软件开发过程，指导、控制和自动化软件开发工作，支持开发人员的合作和协调．ＰＣＬＡｇｅｎｄａ的核心是基于ＳＣＯＰ软件开发方法学的、面向活动的软件过程模型.     

自已动手架设UBB讨论区

安装ＡＣＴＩＶＥ ＰＥＲＬ ｌ由于 ＵＬＴＩＭＡＴＥ ＢＨＬＬＥＴＩＮＢＯＡＲＤ ＭＭ．Ｍ＊ｕ ＣＧＩ撰写的讨论区程序,因此如果要在ＷＩＮＤＯＷＳ环境下执行,就必须安装ＰＥＲＬ执行程序。所以首先请到这里下载免费的ＡＣＴＩＶＥＰＥＲＬ程序：ＨＴＴＰ：／／ＷＷＷ．ＡＣＴＩＶＥＳＴＡＴＥ．ＣＯＭ／ＤＯＷＮ－ＬＯＡＤ／ＡＣＴＩＶＥＰＥＲＬ／ＷＩＮＤＯＷＳ／５．６／ＡＣＴＩＶＥＰＥＲＬ－５．６．０．６２３－ＭＳＷＩＮ３２－Ｘ８６－ＭＵＬＴＩ—ＴＨＲＥＡＤ．ＭＳＩ。 下载完后,请直接执行ＡＣＴＩＶＥＰＥＲＬ－５．…     

基于Ada的交叉引用语言CRL/Ada

本文介绍一种基于Ａｄａ的交叉引用语言ＣＲＬ／Ａｄａ,它用于描述Ａｄａ程序实体的定义与引用信息,在软件维护的过程中,利用它可以方便地获得软件源程序中的实体信息。本文将介绍它的设计思想、程序结构与应用。     

Ada软件开发系统SUNADADS—2的设计与实现

本文阐述了Ａｄａ软件开发系统ＳＵＮＡＤＡＤＳ－２系统功能的设计与实现。     

Ada软件SLICE分析器（ASA）

对程序进行分析和测试是提高软件可靠性有效途径，本文介绍的Ａｄａ软件ＳＬＩＣＥ分析器是一种对被测软件进行静态数据流分析的工具，它能缩小用户分析与检查被测程序的范围，帮助用户及时找到所关心的程序段和语句，为保证Ａｄａ软件系统的质量，提高开发与维护大型复杂软件系统的效率提供支持。     

Ada program partitioning language: a notion for distributing Adaprograms

Ada Program Partitioning Language (APPL) has been designed as part of Honeywell's Distributed Ada project. The goal of the project is to develop an approach for reducing the complexity of building distributed applications in Ada. In the proposed approach, an application is written as a single Ada program using the full capabilities of the Ada language. It is not necessary to factor the underlying hardware configuration into the program design. Once the program has been completed and tested in the host development environment, it is partitioned into fragments and mapped onto the distributed hardware. The partitioning and mapping are expressed in APPL and do not require changes to the Ada source. The main thrusts of the project include the design of APPL and the development of language translation tools and the run-time system to support Ada and APPL for a distributed target. The authors present an overview of APPL, the goals considered in the design, and issues that impact its implementation     

A parallel Ada system on an experimental multiprocessor

This paper describes the development of a parallel Ada system on an experimental MIMD multiprocessor. The system enables a single unmodified Ada program, with a number of tasks, to execute in parallel on different processors. Allocation and migration strategies are controlled by mechanisms in the run-time system, and are thus transparent to the Ada programmer. The parallel Ada system is based on a validated portable front-end compiler. Implementation issues related to the multiprocessor environment are pointed out, and solutions to these issues are suggested. The experimental multiprocessor environment, consisting of both hardware and software, is described. Applicable resource allocation strategies in, and feasible experiments with, the Ada system are discussed. The complete experimental system provides unique possibilities to experiment with, and monitor the effects of, design decisions at different levels in a multiprocessor environment.     

Experimenting with dynamic linking with ADA

An approach to achieving dynamic reconfiguration within the framework of Ada¹ is described. A technique for introducing a kernel facility for dynamic reconfiguration in Ada is illustrated, and its implementation using the Verdix VADS 5.5 Ada compiling system on a Sun3–120 running the 4.3 BSD Unix operating system is discussed. This experimental kernel allows an Ada program to change its own configuration dynamically, linking new pieces of code at run-time. It is shown how this dynamic facility can be integrated consistently at the Ada language level, without introducing severe inconsistencies with respect to the Standard semantics.     

On the Implementation and Use of Ada on Fault-Tolerant Distributed Systems

In this paper, we discuss the use of Ada® on distributed systems in which failure of processors has to be tolerated. We assume that tasks are the primary object of distribution, and that communication between tasks on separate processors will take place using the facilities of the Ada language. It would be possible to build a separate set of facilities for communication between processors, and to treat the software on each machine as a separate program. This is unnecessary and undesirable. In addition, the Ada language Reference Manual states specifically that a system consisting of communicating processors with private memories is suitable for executing an Ada program.     

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

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

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

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

Comparing ada and FORTRAN lines of code: Some experimental results

This paper presents the results of a study comparing pairs of functionally equivalent programs written in the FORTRAN and Ada languages. We found the Ada programs to require more lines of code than their functionally equivalent FORTRAN counterparts. However, we also observed that the overhead for Ada diminishes as program size increases. Our limited data suggested that there may be a cross-over point beyond which the size of an Ada program would be smaller than a functionally equivalent FORTRAN program. We explore some of the reasons for these economies of scale when using Ada. The implications of our findings on software cost estimating are also discussed.     

Program generation for Ada — a case study

Program generation software is increasingly being used, not only to assist non-computer professionals to produce their own applications, but also to provide tools for programmers and designers. As part of the toolkit for an Ada dialogue development system, a program generator has been written in Ada to generate the package which codes the dialogue manager for a specified user interface. The input specifications and the method of generation are described. The advantages and disadvantages of Ada as the implementation, target and specification language are discussed.     

Two implementations of the Ada program library

The programming language Ada defines a separate compilation mechanism which must enforce the language rules in the same manner when compiling a program either in several units or as one compilation unit. Two implementations of the Ada program library required by this mechanism are described. Each has an associated compiler manager program which is the user's interface to the library. The first maintains a central map file containing the library structure. The second uses the UNIX tool make to maintain the library and permits more flexibility in the UNIX operating system environment. Higher level tools could use the second manager as a component part.