Skip navigation
Zur Startseite
Auflistung nach
Bereiche
& Sammlungen
Auflistung nach:
Erscheinungsdatum
Autor
Titel
Schriftenreihe
Institut
Hilfe
Über OPUS
Publizieren mit OPUS
Rechtliche Informationen
Suchen & Browsen
Anmelden:
Mein OPUS
Abonnement
Neuerscheinungen
Benutzerprofil bearbeiten
Universität Stuttgart
OPUS - Online Publikationen der Universität Stuttgart
Deutsch
English
OPUS
Auflistung nach Autor Plödereder, Erhard
Gehe zu:
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
oder geben Sie die Anfangszeichen ein:
Sortiert nach:
Titel
Erscheinungsdatum
Einreichdatum
Sortiert nach:
Aufsteigend
Absteigend
Treffer/Seite
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Autoren/Einträge:
Alle
1
5
10
15
20
25
30
35
40
45
50
Anzeige der Treffer 7 bis 15 von 15
< zurück
Erscheinungsdatum
Titel
Autor(en)
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