Зведений каталог бібліотек Миколаєва

• Класифікатори та каталоги
• Гарантії якості і програмного забезпечення. Варіація і оцінка (V&V)

Формальна технічна перевірка. Наскрізний контроль

Документи:

• Доведення властивості коректної роботи банківської системи виплати грошових переказів [Текст] / Ю.А. Остаповська, Т.В. Панченко, Н.В. Поліщук, М.О. Картавов // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 119-132.