منابع مشابه
On Programming Atomic Actions in Ada 95
This paper describes the development of two kinds of atomic action schemes for Ada 95. We start by discussing the basic features required of an atomic action scheme and what choices, e.g. between synchronous and asynchronous actions, are appropriate for Ada 95. We then present two implementations of actions; first using Ada 95 packages to create asynchronous actions and secondly, as sets of tas...
متن کاملTesting Techniques for Ada 95
ions that are designed in this way, using a private child package to declare package body data, are not only easier to test but are also more easily extended. Besides their usefulness as a replacement for test points, hierarchical library units can also improve the testability of a system in other ways. In particular, there are many operations which are specific to testing that would benefit fr...
متن کاملPersistence Extensions to Ada 95
This paper describes proposed extensions to the Ada95 programming language to provide support for persistent programming. The extensions support transparent migration of data between a program's address space and a persistent store in a way that preserves both type safety and encapsulation of ADT's.
متن کاملFinite Unions for Ada 95
In a recent project the Ada language turned out to be not as flexible as we expected it to be. This forced us to model our application in a way that was less elegant, less maintainable and less efficient. In this paper we propose to add a language construct to the language that would enable us to do what we were missing. The extension is based on finite unions with dispatching and can quite eas...
متن کاملNetwork Applications in Ada 95 Jörg Kienzle
This document describes an approach to support network applications, that is client-server applications with a dynamic number of short-lived clients, within the original Ada 95 distributed systems model. The conformance of this concept with the Ada Standard is verified. An implementation based on GLADE, the implementation for the GNAT compiler of Annex E of the Ada Reference Manual, is presente...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computers in Physics
سال: 1998
ISSN: 0894-1866
DOI: 10.1063/1.4822631