skip to main content
10.1145/197694acmconferencesBook PagePublication PagesadaConference Proceedingsconference-collections
TRI-Ada '94: Proceedings of the conference on TRI-Ada '94
ACM1994 Proceeding
Publisher:
  • Association for Computing Machinery
  • New York
  • NY
  • United States
Conference:
TriAda94: Tri-Ada '94 Baltimore Maryland USA November 6 - 11, 1994
ISBN:
978-0-89791-666-0
Published:
11 November 1994
Sponsors:

Reflects downloads up to 21 Jan 2025Bibliometrics
Abstract

No abstract available.

Article
Free
The STARS process engine: language and architecture to support process capture and multi-user execution

Process-centered computing environments are currently in their infancy, with notable exceptions [1][19][21][22]. Two important components of envisioned environments are the language used to describe the processes, and the architecture for the language ...

Article
Free
An object-oriented approach to software process modeling and definition

This paper describes an approach to Software Process Modeling that uses DRAGOON, an object-oriented programming language with Ada-like syntax, to capture Software Process Models. These models share the advantages of object-oriented software. They can be ...

Article
Free
Lessons learned in implementing a team review process
Article
Free
Quality guidelines = designer metrics

In spite of the significant body of research on traditional source code metrics, there has been a general failure to produce conclusive evidence as to their effectiveness for measuring software quality. We describe and recommend a potentially much more ...

Article
Free
Software project reporting: management, measurement, and process improvement

This paper presents the rationale, framework, and detailed mechanisms of quantitative software project management. To make the presentation specific and useful, our focus is on the reports used to present project status. Quantitative software project ...

Article
Free
The GNAT project: a GNU-Ada 9X compiler

We describe the general organization of the GNAT compiler, its relationship to the GCC multilanguage compiler system, and some of the architectural details of the system. This paper serves as an introduction to the following papers in this session.

Article
Free
The GNAT compilation model

One of the novel features of GNAT is its unusual approach to the compilation process and the handling of the Ada library. The words novel and unusual only apply from a traditional Ada compilation perspective. By contrast, a typical C or C++ programmer ...

Article
Free
Article
Free
Integrating GNAT and GCC
Article
Free
Features of the GNU Ada runtime library

The Gnu Ada Runtime Library (GNARL) is being developed to support Ada 9X tasking for the Gnu NYU Ada Translator (GNAT). Together, they form a portable, freely distributable Ada 9X translation system. GNARL and GNAT communicate through a well-defined ...

Article
Free
Smart recompilation and the GNAT compiler

The GNAT project at New York University is building a high-quality Ada 9X compiler, to be distributed free and with sources, following the successful mechanisms established by the Free Software Foundation for the GCC compiler.

This paper describes the ...

Article
Free
Run-time check elimination for Ada 9X

An approach to the elimination of run-time checks in Ada 9X is presented. The approach is a flow analysis approach based on a combination of range propagation and assertion propagation. Range propagation computes estimates for the dynamic ...

Article
Free
Working with Ada 9X classes

Ada 9X refines the Ada 83 concept of class and introduces class-wide types to support run-time polymorphism. We study how the Ada definition of class compares to other definitions of this term. We examine how run-time polymorphism is introduced in Ada ...

Article
Free
Abstract data types are under full control with Ada 9X

Ada 83 did not provide enough control on the creation, assignment, and destruction of objects of user-defined types. This lack of control restricted type composition and prevented the full exercise of information hiding for abstract data types. Ada 9X ...

Article
Free
Implementing internal program representations with Ada and Ada 9X

In an earlier paper, the author discussed the use of Ada to implement the internal program representation for an Ada software re-engineering system. While many of Ada's features were used to advantage in the implementation, the lack of an inheritance ...

Article
Free
Easy-Sim: using Ada 9X in a graphics system software architecture

Software architectures increase productivity when used as the basis for developing applications in a particular domain. This paper describes the creation of Easy_Sim, an Ada 9X graphics software architecture and framework for distributed visual ...

Article
Free
Delegation: dynamic specialization

Delegation is a technique used in object-oriented programming. For instance, it has been used to implement (interface) inheritance in prototype languages. Another view is that it competes with the inheritance as a language feature. Yet another view is ...

Article
Free
Profiling in an object-oriented design environment that supports Ada 9X and Ada 83 code generation

Object-oriented techniques for design and development have taken a strong hold in academia, industry, and government. Our efforts in this area have been in the development of the object-oriented design environment, ADAM, that is programming-language ...

Article
Free
Ada-based programming language course in Moscow State University

Three-semester course of programming languages for third-year students of Computational Mathematics and Cybernetics Department of Moscow State University is described. Ada and Ada9X are used in the course for demonstration of conceptions and principles ...

Article
Free
Selecting a software development process

This paper describes the focusing on methods of selecting a software development process. It describes the analysis and design methods used to develop large and complex sytems. It provides guidelines for the use of Object Oriented and Structured Design ...

Article
Free
Always one more bug: applying AdaWise to improve Ada code

AdaWise, a set of tools currently under development at ORA, performs automatic checks to verify the absence of common run-time errors affecting the correctness or portability of Ada programs. The tools can be applied to programs of arbitrary size, and ...

Article
Free
Design of GUIs from a programming perspective

This paper presents a design method for graphical user interfaces. The method is based on semantic specification. Based on formalized style rules and guidelines, a user interface design proposal is derived from the functionality of an application. The ...

Article
Free
Article
Free
Article
Free
An object-oriented, distributed architecture for large-scale Ada systems

This paper presents an architectural model ideally suited for the description of large, distributed command and control systems. This model is organized around multiple dimensions (or views) of software architecture and is used to describe the software ...

Article
Free
Structural model: architecture for software designers

A structural model is the architectural map for a large software system or family of systems (domain). The structural model used in a domain represents the point of convergence for trade-offs between maintainability and performance, quality and ...

Article
Free
Secured systems and Ada: a trusted system software architecture

In this paper, we will present an architecture for developing a system reliant upon trusted Ada software, and some of the lessons learned in our having done such a development. Some background on trusted software and the trusted information systems ...

Article
Free
Orthogonal persistence and Ada

Research into persistent programming languages and systems in recent years has shown that the technology is useful for developing complex software in many problem domains. This paper explores the issues of adding persistence support to Ada, either as ...

Contributors
  • Florida Institute of Technology

Recommendations