Основы объектно-ориентированного программирования

Корректность программы – это понятие

(Ответ считается верным, если отмечены все правильные варианты ответов.)

Варианты ответа

для формализации которого необходимо задание спецификации(Верный ответ)

которое можно формализовать триадой Хоара(Верный ответ)

которое можно определить, используя только термины самой программы

неформальное

Похожие вопросы

Условная корректность ПО означает?

К какому понятию относятся определения: "экземпляр класса, набор полей, понятие периода исполнения"?

К какому понятию относятся высказывания: "статическое понятие, применимое к тексту, идентификатор, имеет значение в период выполнения"?

К какому понятию относятся высказывания: "понятие периода исполнения, однозначно идентифицирует объект, может быть пустой"?

На основе изучения статического текста программы нельзя точно предсказать