15 Fakultätsübergreifend / Sonstige Einrichtung
Permanent URI for this collectionhttps://elib.uni-stuttgart.de/handle/11682/16
Browse
11 results
Search Results
Item Open Access Issues in designing object management systems(1990) Clow, Geoff; Plödereder, ErhardThis 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.Item Open Access Die Programmiersprache Ada : Hintergründe, Entwicklung und Sprachkonzepte(1981) Hummel, Helmut; Plödereder, ErhardDie 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.Item Open Access The data model of the Configuration Management Assistant(1989) Plödereder, Erhard; Fergany, AdelIn 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.Item 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, RichardA 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.Item Open Access Project SPERBER : background, status, future plans(1984) Plödereder, ErhardProject 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.Item Open Access Symbolic evaluation as a basis for integrated validation(1984) Plödereder, ErhardSymbolic 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.Item Open Access Object management issues for software engineering environments : workshop report(1989) Penedo, Maria Heloisa; Plödereder, Erhard; Thomas, IanDuring 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.Item Open Access Pragmatic techniques for program analysis and verification(1979) Plödereder, ErhardThe 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.Item Open Access Programming with Ada - the Ada environment(1986) Plödereder, ErhardThis 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.Item Open Access Data models in object management systems(1989) Plödereder, ErhardDuring 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.