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.

Скачать книгу бесплатно (pdf, 3.27 Mb)

---

Читать «Reliable Software Technologies Ada-Europe 2000: 5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000, Proceedings »