The 23 revised full papers presented were carefully reviewed a selected from a large number of submissions. The papers are organized in topical section on real-time a safety-critical systems, tools, APIs a components, ASIS, risk a reliability management, UML, formal analysis, methods a software testing.5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000, Proceedings Hubert B. Keller, Erhard PlApdereder. Another possibility would have been to use A SIS during code generation, to be able to find the right procedures to modify, remove or add. But this would ... GIMP home page, http://www.gimp.org /. 2. ... GtkAda Reference Manual, http://gtkada.eu.org/gtkada-rm-toc.html. 7.
|Title||:||Reliable Software Technologies Ada-Europe 2000|
|Author||:||Hubert B. Keller, Erhard Plödereder|
|Publisher||:||Springer Science & Business Media - 2000-06-14|