skip to main content
10.1145/255471acmconferencesBook PagePublication PagesadaConference Proceedingsconference-collections
TRI-Ada '90: Proceedings of the conference on TRI-ADA '90
ACM1990 Proceeding
Publisher:
  • Association for Computing Machinery
  • New York
  • NY
  • United States
Conference:
Tri-Ada90: Tri-Ada '90 Baltimore Maryland USA December 3 - 6, 1990
ISBN:
978-0-89791-409-3
Published:
01 December 1990
Sponsors:
SIGAda, Baltimore SIGAda Chapter

Reflects downloads up to 21 Jan 2025Bibliometrics
Abstract

No abstract available.

Article
Free
Proving specifications of tasking systems using Ada/TL

ADA/TL is a language for specification of the behavior of systems of communicating tasks. It merges concepts of the specification part of ADA, VDM specification of packages, and temporal logic specification of task behavior. The TL part consists of ...

Article
Free
Towards reuse of verified Ada software

Reuse of software, and formal verification, are two important problems of software engineering. A great deal of effort has been expended on each these two problems separately, but with limited success. The two problems are in fact related, and attacking ...

Article
Free
A tailored design language: putting model based formal specification into practice

This paper introduces a model based formal design language aimed at supporting the practical use of rigorous methods within an industrial framework. The language consists of a core that is tailored to suit particular implementation languages, enabling ...

Article
Free
A prototype implementation of the SQL Ada module extension (SAME) method

As Ada becomes more widespread, the ability to access commercial database technologies through Ada systems becomes a significant issue. Researchers throughout our industry are investigating interface approaches between Ada and these technologies, ...

Article
Free
A prototype implementation of the Ada binding to POSIX

The IEEE P1003.5 Working Group is developing a standard Ada Binding to POSIX Operating System services. This paper describes the basic approach and some of the techniques used in developing a prototype implementation of this POSIX Ada Binding. The ...

Article
Free
Ada interface technology (panel)
Article
Free
A comparison of experiences with the maintenance of object-oriented systems: Ada vs. C++

This paper discusses the relative ease with which systems are maintained using the mechanisms supported by Ada versus those supported by C++. The paper opens with a discussion of significant aspects of object-oriented development, followed by comments ...

Article
Free
Reverse engineering Ada into HOOD
Article
Free
How much object-orientation in Ada? (panel)
Article
Free
Article
Free
Personal thoughts on Ada's object orientation

Ada's original design incorporated some of the best concepts of object-oriented programming in the context of its design objectives and the Steelman requirements. Only minor modifications are required to give Ada even more power. Drastic changes to make ...

Article
Free
Position paper

On the issue of adding Object Oriented Programming Language features to Ada, I find myself with a mixed view of the issue. As a proponent, innovator, and user of object oriented technology since my introduction to Ada in 1983, I want to gain the ...

Article
Free
DAda—an Ada preprocessor for functional programming

The impact of declarative (functional) programming is inhibited by the need to learn/use new languages. A series of language extensions implemented by preprocessing, which integrates functional programming into the Ada culture, is described. Features ...

Article
Free
Ada systems
Article
Free
A real-time Ada design method based on DoD-STD-2167A

This paper presents the THOMSON CSF design methodology used on large Real-Time Ada projects compliant with the DOD-STD-2167A standard.

This design methodology was defined within the context of the RMR radar software project. RMR software is still under ...

Article
Free
A new approach to prototyping Ada-based hardware/software systems

Prototyping is not a single technique, but rather a collection of widely diverse activities, with highly fragmented support technology. TRW and Stanford have recently collaborated to develop an approach for reducing this fragmentation in the future. ...

    Article
    Free
    A proposal for a recursive object-oriented life-cycle

    This paper describes the recursive object oriented life-cycle which has been developed in conjunction with the authors' Object Oriented Development (OOD) methods. The basic goals that a life-cycle must satisfy are described and the recursive life-cycle ...

    Article
    Free
    Simulation and design in an object-oriented world: a methodology for large software systems

    If one were to make even a casual review of the literature relating to software engineering principles, design methodologies, and the like, then one would be overwhelmed by the efforts of the community to get their arms around the various approaches and ...

    Article
    Free
    Fashioning conceptual constructs in Ada

    It is believed that future progress of software productivity depends upon capturing the essence of software in a unit called conceptual construct [BRO87]. The objective of this investigation is to characterize the conceptual construct in Ada code. The ...

    Article
    Free
    Toward a real-time Ada design methodology
    Article
    Free
    Ada education in universities (panel)
    Article
    Free
    Reuse: the two concurrent life cycles paradigm

    Since its introduction, Ada has held out the promise of significant productivity gains resulting from the ability to reuse design and code components more effectively. However, these gains will not occur simply because of the powerful features of the ...

    Article
    Free
    Article
    Free
    Process and products for software reuse in Ada

    The large scale application of reuse to support software development is not a new concept. Over twenty years ago, M. D. McIlroy expressed the need for: “… standard catalogues of routines, classified by precision, robustness, time-space performance, size ...

      Article
      Free
      On the accuracy of predicting rate monotonic scheduling performance

      Rate monotonic scheduling provides analytic techniques that allow the feasibility and processor utilization of a set of periodically scheduled tasks to be computed. However, the scheduling model must be adapted to take into account specific ...

      Article
      Benchmarking for deadline-driven computing

      Hartstone is a series of timing requirements for testing a system's ability to handle hard real-time applications. It is specified as a set of processes with well-defined workloads and timing constraints. The name Hartstone derives from HArd Real Time ...

      Article
      Free
      The performance of a prototype coprocessor for Ada tasking

      A special purpose VLSI coprocessor has been designed to support the real-time functionality of Ada Tasking. The coprocessor has been successfully implemented, and this paper concludes the project by evaluating its performance.

      The performance is measured ...

      Contributors
      • Florida Institute of Technology

      Recommendations