Reliable Software Technologies Ada Europe 2000 : 5th Ada Europe International Conference Potsdam Germany June 26 30 2000. Proceedings This book constitutes the refereed proceedings of the 5th International Conference on Reliable Software Technologies Ada Europe 2000 held in Potsdam Germany in June 2000. The 23 revised full papers presented were carefully reviewed and selected from a large number of submissions. The papers are organized in topical sections on real time and safety critical systems tools APIs and components ASIS risk and reliability management UML formal analysis methods and software testing