Введение в программную инженерию

Какие из указанных методов обеспечения качества ПО относятся к формальным методам?

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

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

наладка качественного процесса

обеспечение качества кода

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

проверка на моделях определенных свойств(Верный ответ)

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

Какие требования описывает такие характеристики системы, как надежность, особенности поставки, определенный уровень качества?

Какие диаграммы относятся к структурным диаграммам?

Какие диаграммы относятся к поведенческим диаграммам?

Какие диаграммы относятся к структурным диаграммам?

Какие продукты относятся к клиентской части VSTS?

Какие продукты не относятся к серверной части VSTS?

Какие продукты относятся к серверной части VSTS?

Какая из указанных моделей является двумерной?

Какая из указанных практик проводится в конце каждого Sprint?

Какая из указанных практик проводится в начале каждого Sprint?