Categoria: IT Освіта

Слід зазначити, що залучення доказового підходу до проєктування ПЗ дозволяє виявити помилки в програмі до її виконання. У цьому напрямку багато працювали Кнут, Дейкстра і Вірт. Професор Вірт при розробці Паскаля і Оберона за рахунок строгості їх синтаксису домігся математичної доказовості виконання і правильності програм, написаної на цих мовах. Команда розробників є відповідальною за доставку…