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

• Класифікатори та каталоги
• Розробка комп'ютерної системи і програмного забезпечення

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

Підтеми:

• Тестування програмного забезпечення
• Формальна технічна перевірка. Наскрізний контроль

Документи:

• Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем [Текст] / А.В. Колчин, А.А. Летичевский, С.В. Потиенко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 146-150.