Michael Tonndorf - Veröffentlichungen allgemein

(1 - 5 von 5

)

Ada - Europe '93 | SpringerLinklink.springer.com › book

link.springer.com

Michael Tonndorf. Pages PDF · Avoiding anomalies in inheritance schemes. Frederic H. Wild III. Pages

An efficient compiler validation method for Ada 9X | SpringerLink

link.springer.com

This paper describes a method which minimises the manual effort that is required to analyse the result of an Ada compiler validation. The method is not...

Reliable Software Technologies — Ada-Europe | SpringerLink

link.springer.com

This book presents the refereed proceedings of the Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe'98, held in Uppsala,...

Ten years of tool based Ada compiler validations an experience report...

link.springer.com

This paper summarizes IABG's experience as an Ada Validation Facility from the last decade. The paper puts an emphasis on the improvement of the validation...

Verwandte Suchanfragen zu Michael Tonndorf

Roland Stahl
Wolf Zimmer
Jörg Ziemann

Erich Schmidt
Alfred Zapp
Holger Bindschus

Enrico Gromm
Markus Kalb
Andreas Härter

Person "Tonndorf" (4)
Vorname "Michael" (149265)
Name "Tonndorf" (85)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: 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

Veröffentlichungen allgemein Michael Tonndorf

Ada - Europe '93 | SpringerLinklink.springer.com › book

An efficient compiler validation method for Ada 9X | SpringerLink

Reliable Software Technologies — Ada-Europe | SpringerLink

Ten years of tool based Ada compiler validations an experience report...