Доработка (вычисления)
Уточнение (вычисление) Основные понятия в информатике Уточнение данных: преобразование абстрактных моделей данных в конкретные структуры данных. Уточнение операций: преобразование спецификаций […]
Вики
Formal methods terminology
Вики
Корректность (информатика)
Корректность (информатика) Алгоритм считается корректным по отношению к спецификации, если ведет себя так, как указано. Функциональная корректность относится к поведению