Верификация программных систем геопространственного обеспечения ВМФ
Читать статью полностью
Верификация программных систем геопространственного обеспечения ВМФ(383,63 KB)Аннотация
Приводится обоснование необходимости функциональной верификации программных систем навигационно-гидрографического и гидрометеорологического обеспечения (НГГМО).
Ключевые слова:
точные вычисления
Список литературы
1. Грушин А.И. Верификация в вычислительной технике // Потенциал. – 2007. – № 4 (28). – С. 31–37.
2. European Symposium on Algorithm (ESA) // Lecture Notes in Computer Science Springer Berlin. – Vol. 3133. – Heidelberg, 2007.