ИС специализированная в соответствии с требованием заказчика
CSIC, customer specified IC
Russian-English Computer dictionary
контроль соответствия типов
type checking Проверка соответствия между операциями и комбинациями типов операндов, между формальными и фактическими параметрами и между левой и правой частями присваивания. Контроль типов может выполняться статически - во время трансляции, и динамически - во время выполнения программы.
Russian-English Computer dictionary
проверка соответствия программы спецификациям
code audit
Russian-English Computer dictionary
проверка соответствия типов
type checking Проверка соответствия между операциями и комбинациями типов операндов, между формальными и фактическими параметрами и между левой и правой частями присваивания. Контроль типов может выполняться статически - во время трансляции, и динамически - во время выполнения программы.
Russian-English Computer dictionary
проверять соответствие типов
type check
Russian-English Computer dictionary
редактирование ИС с обеспечением соответствия принципиальной схеме
correct by construction editing
Russian-English Computer dictionary
редактирование с обеспечением соответствия принципиальной схеме
correct - by - construction editing топологии ИС
Russian-English Computer dictionary
режим полного соответствия
WYSIWYG, What You See Is What You Get Режим работы системы подготовки текстов, при котором изображение на экране максимально приближено к печатному тексту, являющемуся результатом работы.