Bitte benutzen Sie diese Kennung, um auf die Ressource zu verweisen: http://dx.doi.org/10.18419/opus-7373
Langanzeige der Metadaten
DC ElementWertSprache
dc.contributor.authorPlödereder, Erhardde
dc.date.accessioned2010-10-19de
dc.date.accessioned2016-03-31T11:42:53Z-
dc.date.available2010-10-19de
dc.date.available2016-03-31T11:42:53Z-
dc.date.issued1986de
dc.identifier.other350989974de
dc.identifier.urihttp://nbn-resolving.de/urn:nbn:de:bsz:93-opus-56757de
dc.identifier.urihttp://elib.uni-stuttgart.de/handle/11682/7390-
dc.identifier.urihttp://dx.doi.org/10.18419/opus-7373-
dc.description.abstractThis 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.en
dc.language.isoende
dc.rightsinfo:eu-repo/semantics/openAccessde
dc.subject.classificationCompiler , ADAde
dc.subject.ddc620de
dc.titleAda compiler validationen
dc.typeconferenceObjectde
dc.date.updated2011-09-30de
ubs.fakultaetFakultätsübergreifend / Sonstige Einrichtungde
ubs.institutSonstige Einrichtungde
ubs.opusid5675de
ubs.publikation.sourceApplication of ADA higher order language to guidance and control : the material in this publ. was assembled … presented on 20-21 May 1986 in Ottawa, Canada, 2-3 June 1986 in London. Neuilly sur Seine, France : AGARD, 1986 (AGARD lecture series 146). - ISBN 92-835-1527-7, S. 7.1-7.10de
ubs.publikation.typKonferenzbeitragde
Enthalten in den Sammlungen:15 Fakultätsübergreifend / Sonstige Einrichtung

Dateien zu dieser Ressource:
Datei Beschreibung GrößeFormat 
ploe2.pdf1,88 MBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repositorium sind urheberrechtlich geschützt.