Процесс сравнения двух уровней спецификации средств вычислительной техники или автоматизированной системы на надлежащее соответствие