Какие приемы способствуют достижению корректности программного проекта
(Ответ считается верным, если отмечены все правильные варианты ответов.)
Варианты ответа
Декомпозиция программы на простые модули
Вначале полностью строим программный проект, после чего доказываем его корректность
Проведение неформального доказательства корректности в процессе написания программного кода(Верный ответ)
Построение системы тестов(Верный ответ)
