ADA

This paper reports an update to the results of its one year study conducted by RCI in 1986 for five of its clients to determine the impact of Ada™ on software cost, productivity and quality. The paper begins by discussing the study's goals and the ...

This paper presents results and conclusions of a Research Program which, among other tasks, performed analyses of empirical data gathered from completed Ada projects and explored alternative methods for Ada cost modeling and estimation.

Among others, the ...

NTT is the first developer of a practical level APSE in Japan. Since 1985, NTT APSE has been used internally to develop basic software totaling more than 1MLOC (Mega Lines Of Code). During this work, some guidelines have been proposed for the effective ...

In this paper, we report on experience gained in the temporal analysis of multitasking Ada designs. The analysis tool-set, developed as part of the CAEDE project, includes an operational specification language, and deadlock, starvation and critical race ...

This paper discusses the software development effort for an Air Force command and control system. The software system is a combination of custom Ada application code and commercial off-the-shelf (COTS) IBM software. The Request for Proposal (RFP) and ...

The imposition of software configuration management practices prior to the last possible moment has traditionally been the norm for software projects. In the AFATDS Project at Magnavox software configuration management and centrally controlled ...

The combination of Ada® used as a programming language and as a program design language (PDL) can effectively help automate the enforcement of design methods and the creation of design documentation. This paper discusses how design automation can be ...

Current software development practices, including those specified in DOD-STD-2167, frequently prescribe the use of program design languages (PDLs) during preliminary and critical design. Lockheed has developed an Ada design language (ADL) that supports ...

Significant work has been done by others on tools that allow software engineers to graphically illustrate software designs and, in some cases, to produce code automatically from the graphical design. What we posit here is that, given the current ...

This paper incorporates some of the discussions by the ACM/SIGAda Working Group on Ada Numerics, the ISO/TC97/SC22/WG9 Rapporteur Group on an elementary functions package, and the Ada-Europe Ada Numerics Working Group. This is not a report from any one ...

This paper addresses the development of an Artificial Intelligence expert system, which performs tasks normally performed by experts in a given domain. In particular, a two-language approach to expert systems development will be examined, i.e., using ...

A methodology for the direct application of the Ada language to the problem of simulating a factory scale map network is presented. Some unique capabilities of Ada are compared to the facilities offered by existing simulation languages. The technique is ...

This paper describes the significant positive impact that the Ada® programming language can have on the development and application of simulation models. The Ada language has specific features which are shown to be ideally suited for implementing the ...

This paper presents two approaches for doing discrete-event simulation in Ada. One approach is based on coroutines, and the other solely uses the pseudo-parallel execution scheme of Ada tasks. Concerning coroutines, we present two techniques to ...

A standard package of low-level Ada tasking operations is needed, to support real-time embedded applications for which the existing Ada tasking operations are too slow or provide insufficient control over timing. This paper suggests criteria for such a ...

This paper introduces a new concept: “Self-Organization” in distributed operating system. Up to now, the communication facilities in distributed systems were almost based on the assumption: the human intervention. Software systems for C I M (Computer ...

This paper discusses real time Ada (60 Hz control loop) programming techniques developed during research to support a conversion of software written in PL/M-86 to Ada for a DoD missile system employing fiber optic technology. Two of the major ...

The Ada Language System/Navy (ALS/N) is a retarget of the Ada Language System (ALS) to Navy standard 32 bit and 16 bit target computers (AN/UYK-43, AN/UYK-44, and AN/AYK-14). We have developed a run time model which allows large Ada applications to be ...

Given Ada's semantics regarding dynamically allocated objects, do programmers believe that storage reclamation is impractical? At first glance, it would appear that given these semantics, one cannot derive workable models for reclaiming all unneeded ...

While working on several large-scale Ada projects, I have found what I consider a major problem with the Ada Tasking mechanism, that is, the reclamation of memory allocated to a dynamic task after the task has been terminated. I have written my own ...

One essential problem in reusability is classifying the reusable components. The library must be structured to facilitate the retrieving of code. Several approaches have been applied to this problem, but none addresses the evolution of software ...

It is well-known that data abstractions are crucial to good software engineering practice. We argue that algorithmic abstractions, or generic algorithms, are perhaps even more important for software reusability. Generic algorithms are parameterized ...

In this paper we are concerned with the question how to organize a library of reusable components in order to support the reusing process. We argue that at least two concepts must be provided, allowing access to multiple libraries and allowing for the ...