Universität Stuttgart
OPUS - Online Publikationen der Universität Stuttgart
Auflistung nach Autor Plödereder, Erhard
Anzeige der Treffer 1 bis 15 von 15
Erscheinungsdatum | Titel | Autor(en) |
1986 | Ada compiler validation | Plödereder, Erhard |
1992 | Building consensus for Ada 9X | Plödereder, Erhard |
1989 | The data model of the Configuration Management Assistant | Plödereder, Erhard; Fergany, Adel |
1989 | Data models in object management systems | Plödereder, Erhard |
1992 | How to program in Ada 9X, using Ada 83 | Plödereder, Erhard |
1990 | Issues in designing object management systems | Clow, Geoff; Plödereder, Erhard |
1989 | Object management issues for software engineering environments : workshop report | Penedo, Maria Heloisa; Plödereder, Erhard; Thomas, Ian |
1988 | An overview of DoD-STD-1838A (proposed), the common APSE interface set, revision A | Munck, Robert; Oberndorf, Patricia; Plödereder, Erhard; Thall, Richard |
1979 | Pragmatic techniques for program analysis and verification | Plödereder, Erhard |
1981 | Die Programmiersprache Ada : Hintergründe, Entwicklung und Sprachkonzepte | Hummel, Helmut; Plödereder, Erhard |
1986 | Programming with Ada - the Ada environment | Plödereder, Erhard |
1984 | Project SPERBER : background, status, future plans | Plödereder, Erhard |
1980 | A semantic model for the analysis and verification of programs in general, higher-level languages | Plödereder, Erhard |
1984 | Symbolic evaluation as a basis for integrated validation | Plödereder, Erhard |
1993 | Wiederverwendung als Wunderwaffe? | Plödereder, Erhard |