Book DescriptionThis book constitutes the refereed proceedings of the 10th International Conference on Reliable Software Technologies, Ada-Europe 2005, held in York, UK in June 2005 The 21 revised full papers presented were carefully reviewed and selected from numerous submissions The papers are organized in topical sections on applications, озмав design and scheduling, formal methods, Ada and education, certification and verification, distributed systems, language aspects, and Ravenscar technology.  Содержание2005 г 273 стр ISBN 3540262865.