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

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

вопрос

Правильный ответ:

проверка на моделях определенных свойств
доказательство правильности работы программ
наладка качественного процесса
обеспечение качества кода
Сложность вопроса
26
Сложность курса: Введение в программную инженерию
71
Оценить вопрос
Очень сложно
Сложно
Средне
Легко
Очень легко
Комментарии:
Аноним
Кто гуглит эти тесты inuit? Это же элементарно (я не ботан)
07 авг 2017
Оставить комментарий
Другие ответы на вопросы из темы программирование интуит.