1494548
9783540676690
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.Keller, H. B. is the author of 'Reliable Software Technologies Ada-Europe 2000 5th Ada-Europe International Conference Potsda, Germany, June 26-30, 2000 Proceedings' with ISBN 9783540676690 and ISBN 3540676694.
[read more]