Travelled to:1 × France
1 × Sweden
1 × Switzerland
2 × USA
Collaborated with:∅ R.Feith
Talks about:ada (5) compil (3) valid (3) tool (2) transit (1) project (1) program (1) languag (1) environ (1) conform (1)
Person: Michael Tonndorf
DBLP: Tonndorf:Michael
Facilitated 1 volumes:
EdContributed to:
19991998199619931993Wrote 5 papers:
- SIGAda-1999-Tonndorf #ada #programming language #question
- Ada conformity assessments: a model for other programming languages? (MT), pp. 89–99.
- AdaEurope-1998-Tonndorf #ada #case study #compilation #experience
- Ten Years of Tool Based Ada Compiler Validations. An Experience Report (MT), pp. 176–187.
- AdaEurope-1996-FeithT #ada #realtime #scalability
- Planning the Transition to Ada 95 for a Large Real-Time Project (RF, MT), pp. 500–511.
- AdaEurope-1993-Tonndorf #ada #compilation #performance #validation
- An Efficient Compiler Validation Method for Ada 9X (MT), pp. 95–107.
- TRI-Ada-1993-Tonndorf #ada #compilation
- An Integrated Tool Environment for Ada Compiler Validations (MT), pp. 268–276.