Verification of program systems of geospatial maintenance of the navy

Y. N. Zhukov

  Верификация программных систем геопространственного обеспечения ВМФ(383,63 KB)

Abstract

The substantiation of necessity of functional verification of program systems is resulted.

Keywords:

exact calculations

References

1. Грушин А.И. Верификация в вычислительной технике // Потенциал. – 2007. – № 4 (28). – С. 31–37. 2.  European Symposium on Algorithm (ESA) // Lecture Notes in Computer Science Springer Berlin. – Vol. 3133. – Heidelberg, 2007.