Reliable Software Technologies Ada-Europe 2000

Reliable Software Technologies Ada-Europe 2000

4.11 - 1251 ratings - Source

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, /. 2. ... GtkAda Reference Manual, 7.

Title:Reliable Software Technologies Ada-Europe 2000
Author:Hubert B. Keller, Erhard Plödereder
Publisher:Springer Science & Business Media - 2000-06-14


You Must CONTINUE and create a free account to access unlimited downloads & streaming