Browsing by Author "Plödereder, Erhard"

Now showing 1 - 15 of 15

Open Access
Ada compiler validation
(1986) Plödereder, Erhard
This paper discusses Ada Compiler Validation from the viewpoint of both the compiler supplier and the compiler user. The objectives of the requirement for validation and the resulting benefits, as well as the limitations of validation are presented. The process of Ada compiler validation is detailed along with the various problems as well as issues relating to validation and the use of validated compilers. Solutions to these problems and issues are explained, as they are proposed in a recent AJPO draft of a revised validation policy.
Open Access
Building consensus for Ada 9X
(1992) Plödereder, Erhard
Language design is a most difficult task. While the original design of a language has the distinct advantage of filling a blank page, the revision of a language needs to abide by a number of constraints that limit the degree of design freedom. These constraints are both of a technical and a nontechnical nature. In a language revision, each desired change has both a benefit and a cost. Deciding which changes to incorporate into the language becomes a cost/benefit analysis within the framework of the existing constraints. In this article, we will explore some of these constraints and their impact on the Ada 9X revision process.
Open Access
The data model of the Configuration Management Assistant
(1989) Plödereder, Erhard; Fergany, Adel
In an environment in which systems are configured by reusing existing subsystems, the determination of complete and consistent configurations is a non-trivial and error-prone task, although considerable information about the subsystems may already be available from previous configurations. The Configuration Management Assistant is a tool that supports tracking and exploiting such information in the difficult process of re-configuration on a large scale. Its data model was designed to be as independent as possible of configuration management policies and procedures and yet provide substantive assistance in this process. The most important elements of this data model are described in this paper.
Open Access
Data models in object management systems
(1989) Plödereder, Erhard
During recent years, several research efforts in the area of software development environments have focused on the provision of uniform Object Management Systems (OMS) as a framework for tool integration and communication. This paper summarizes discussions of an OMS Workshop on the issues that arise in defining an appropriate data model for an OMS.
Open Access
How to program in Ada 9X, using Ada 83
(1992) Plödereder, Erhard
Existing software will have to be transitioned from Ada 83 to Ada 9X. This paper explains presently known incompatibilities between the existing Ada standard and its proposed revision. It provides guidelines to users, which will make their Ada 83 code upward compatible with Ada 9X.
Open Access
Issues in designing object management systems
(1990) Clow, Geoff; Plödereder, Erhard
This paper summarizes the discussions of the Object Management System (OMS) session at the Chinon Workshop. The session identified numerous capabilities which might be required in an OMS. The facilities which were agreed upon as essential to an OMS are presented in Section 1, OMS Core Facilities. A number of issues in the realization of these and other capabilities, influenced in part by specific application scenarios, are discussed in Section 2, OMS Requirements Issues. Promising applications requiring further investigation can be found in Section 3, Perceptions for the Future. Some global observations on the past and future conduct of the OMS field are summarized in Section 4, Concluding Observations.
Open Access
Object management issues for software engineering environments : workshop report
(1989) Penedo, Maria Heloisa; Plödereder, Erhard; Thomas, Ian
During recent years, several research efforts in the area of software development environments have focused on the provision of uniform Object Management Systems (OMS) as a framework for tool integration and communication. This paper summarizes discussions of an OMS Workshop on the issues that arise in defining an appropriate data model for an OMS.
Open Access
An overview of DoD-STD-1838A (proposed), the common APSE interface set, revision A
(1988) Munck, Robert; Oberndorf, Patricia; Plödereder, Erhard; Thall, Richard
A five-year effort under the Ada Joint Program Office has developed a proposed standard for a host system interface as seen by tools running in an Ada Programming Support Environment (APSE). Standardization of this interface as DOD-STD-1838A will have a number of desirable effects for the Department of Defense, including tool portability, tool integration, data transportability, encouragement of a market in portable tools, and better programmer productivity. As the capability of tools to communicate with each other is a central requirement in APSEs, the Common APSE Interface Set (CAIS) has paid particular attention to facilitate such communication in a host-independent fashion. CAIS incorporates a well-integrated set of concepts tuned to the needs of writers and users of integrated tool sets. This paper covers several of these concepts: the entity management system used in place of a traditional filing system, object typing with inheritance, process control including atomic transactions, access control and security, input/output methods, support for distributed resource control, and facilities for inter-system data transport.
Open Access
Pragmatic techniques for program analysis and verification
(1979) Plödereder, Erhard
The Program Development System (PDS) is a collection of programming tools created as an extension of the ECL programming system23. It contains components that assist the programmer in the definition and modular structuring of large programs at different levels of algorithmic abstraction. These components are supplemented by a program analysis package that produces an information pool to be used for such tasks as source-to-source optimization, semi-automated program documentation, fault detection and program verification. This paper describes the core of the analyzing package, the Symbolic Evaluator. In its implementation we have incorporated pragmatic methods for handling data sharing patterns, and for characterizing and reasoning about the behaviour of loops and procedures. The impact of these methods upon program verification techniques is briefly discussed.
Open Access
Die Programmiersprache Ada : Hintergründe, Entwicklung und Sprachkonzepte
(1981) Hummel, Helmut; Plödereder, Erhard
Die aufgezeigten Phasen der Ada-Entwicklung beleuchten die beispiellose Vorarbeit, die zur endgültigen Festlegung von Ada führte. Die äußerst intensive Interaktion zwischen zukünftigen Benutzern, Sprachexperten und dem Entwicklungsteam hat stark dazu beigetragen, daß Ada dem derzeitigen Wissenstand im Bereich der Programmiersprachen entspricht und gleichzeitig den Bedürfnissen des Anwenders optimal gerecht wird.
Open Access
Programming with Ada - the Ada environment
(1986) Plödereder, Erhard
This paper examines two aspects of using Ada for the implementation of large program systems. First, those elements of the Ada language that are particularly targeted at programming in the large are discussed. Conclusions about appropriate design methodologies that match these language features are presented along with an explanation of some potential problems. Second, an overview of efforts to develop programming support environments for Ada beyond the Ada compilation system is given. The rationale and the scope of on-going standardization work in the area of Ada Programming Support Environments (APSE) is presented.
Open Access
Project SPERBER : background, status, future plans
(1984) Plödereder, Erhard
Project SPERBER is concerned with the development of a high-quality software environment facilitating the development of software written in Ada or Basic Pearl. It is to be used for the design, implementation, maintenance and enhancement of embedded system software. This presentation elaborates on the background that led to project SPERBER, presents its current status and outlines future plans. It also provides an overview of the system structure from the viewpoint of a user.
Open Access
A semantic model for the analysis and verification of programs in general, higher-level languages
(Cambridge, Mass. : Center for Research in Computing Technology, 1980) Plödereder, Erhard
Today the predominant theoretical basis for the semantic analysis of programs is the inductive assertion method due to floyd 'Floyd1', and the deductive logical systems subsequently developed by Hoare and others. Howoever, these systems link the derivation of knowledge about programs directly to the verification of asserted programs; they do not provide an adequate basis for such tasks as source-to-source optimization, interactive program documentation, or static performance analysis. In varying degrees, they require the user to provide redundant specificatlons trlvially derivable from the program text. Furthermore,several features found in hlgher-level programming languages create substantial problems for the practical application of these deductive systems.
Open Access
Symbolic evaluation as a basis for integrated validation
(1984) Plödereder, Erhard
Symbolic evaluation derives information about the static and dynamic semantics of programs by means of a static and global program analysis. This information is then deposited in a program data base to be used by various tools supporting program development and validation The theoretical foundations of Symbolic Evaluation were developed at Harvard University. The Harvard Program Development System (PDS) included as a component for semantic analysis a prototype implementation of a symbolic evaluator. This paper presents the model underlying symbolic evaluation and discusses its impact on tools for program development and validation.
Open Access
Wiederverwendung als Wunderwaffe?
(1993) Plödereder, Erhard
Die Wiederverwendung von Software wird derzeit als geeignete Methode angesehen, dem Anstieg der Komplexität und der Entwicklungskosten entgegenzuwirken. Eine erfolgreiche Wiederverwendung verspricht klare Vorteile. Wiederverwendung ist keine Wunderwaffe. Sie ist aber Bestandteil einer umfassenden Strategie für das Software-Engineering, mit der Qualität und Produktivität schrittweise verbessert werden können.