Plödereder, Erhard
Ploedereder, Erhard
Erhard Ploedereder researcher ORCID ID = 0000-0002-3654-9535
VIAF ID: 312859109 ( Personal )
Permalink: http://viaf.org/viaf/312859109
Preferred Forms
4xx's: Alternate Name Forms (3)
5xx's: Related Names (1)
- 510 2 _ ‡a Universität Stuttgart ‡b Institut für Softwaretechnologie ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
Works
Title | Sources |
---|---|
Ada 2012 reference manual language and standard libraries ; international standard ISO/IEC 8652/2012(E) | |
Ada compiler validation | |
Automotive - safety & security 2012 Sicherheit und Zuverlässigkeit für automobile Informationstechnik ; 14. - 15.11. 2012 in Karlsruhe | |
Big Data – Komplexität meistern Tagung vom 22. - 26. September 2014 in Stuttgart | |
Building consensus for Ada 9X | |
data model of the Configuration Management Assistant | |
How to program in Ada 9X, using Ada 83 | |
Issues in designing object management systems | |
Object management issues for software engineering environments workshop report | |
overview of DoD-STD-1838A (proposed), the common APSE interface set, revision A | |
Pragmatic techniques for program analysis and verification | |
Programmiersprache Ada Hintergründe, Entwicklung und Sprachkonzepte | |
Programming with Ada - the Ada environment | |
Project SPERBER background, status, future plans | |
Symbolic evaluation as a basis for integrated validation | |
Wiederverwendung als Wunderwaffe? |