Ada-Europe 2005: York, UK

Applications

Design and Scheduling Issues

Formal Methods

Ada and Education

Certification and Verification

Distributed Systems

Language Issues

Ravenscar Technology

a service of Schloss Dagstuhl - Leibniz Center for Informatics