Промышленные автоматизированные системы /Automation of construction production and building materials industry

Обеспечение надежности процесса программирования (reliability programming support) — метод информатики, включающий совокупность языковых, синтаксических и семантических средств, способов и приемов написания программ, обеспечивающих наиболее раннее

Обеспечение надежности программ (program reliability support) — метод информатики, состоящий из совокупности синтаксических и семантических средств и способов их применения, обеспечивающих автоматическое обнаружение, локализацию, индикацию

Обеспечение машинной независимости (machine independence support) — средства и методы информатики, обеспечивающие независимость программ от характеристик ВМ или, наоборот, явно учитывающих эти характеристики так, чтобы

Обеспечение доступа к ресурсам (access to resources support) — метод информатики, включающий способы эффективного использования вариантов примитивов ВМ или их последовательностей, а также операционных примитивов,

Обеспечение документируемости (provision support) — метод информатики, включающий совокупность приемов и правил оформления исходных, промежуточных и итоговых текстов данных и программ в виде листингов, билистингов

Ноутбук (блокнот) — компьютер. По размерам близок к книге крупного формата. Имеет вес около 3 кг. Помещается в портфель-дипломат. Обычно комплектуется модемом (для связи с

Непротиворечивость знаний (noncontradiction knowledge) — свойство знаний не содержать противоречия фактов, фраз, предложений, абзацев и фрагментов текста друг другу. Интеллектуальная система обнаруживает локальные или глобальные

Алгоритм нормальный (normal algorithm) — алгоритм, заданный схемой из формул подстановок и предназначенный для переработки слов из символов. А.н. послужил основой для установления общих свойств алгоритмов,