В настоящее время структурные методы контроля ориентированы в основном на обнаружение и доказательство отсутствия технологических ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Трапезников В.А.
Применение вычислительных машин в исследованиях и управлении производством
В настоящее время структурные методы контроля ориентированы в основном на обнаружение и доказательство отсутствия технологических и некоторых алгоритмических ошибок в записи программ, которые выполняются на этапе программной отладки.
