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