Денотационная семантика

Предмет Программирование

👍 Проверено Автор24

наиболее строгий метод для описания смысла программ.

Научные статьи на тему «Денотационная семантика»

Понятие семантики в информатике

Семантика денотации....
Очень важные, можно сказать пионерские итоги формирования денотационных семантик сделаны в публикациях...
Семантика интерпретаций....
Семантика трансляций....
Семантика трансформации.

Статья от экспертов

Формальное представление функциональной модели многокритериальной системы разграничения и контроля доступа к информационным ресурсам

Приводится формальное описание модели системы разграничения и контроля доступа к защищаемой информации на основе политик безопасности мандатного типа для систем электронного документооборота. Разработанная модель является средством конструирования систем разграничения доступа, предоставляющим возможности для множественной категоризации субъектов и объектов в пространстве с иерархической структурой и совместного применения политик безопасности, соответствующих категориям различных типов. Сформулированы определения правил политики безопасности для категорий и для системы в целом. Модель построена в виде множества полных монотонных функций, аргументы и результаты которых определяются на частично упорядоченных множествах, составляющих систему типов. Модель содержит средства полиморфной типизации субъектов и объектов согласно их принадлежности к различным категориям, унифицированный язык задания политик безопасности мандатного типа, а также набор операций для доступа субъектов к объектам.

Creative Commons

Научный журнал

Языковые средства построения баз знаний интеллектуальных help-систем для разработчиков программ, ориентированных на обработку знаний

Рассмотрена модель базы знаний интеллектуальной help-системы для разработчиков программ, ориентированных на обработку знаний, предложен семантический язык, предназначенный для описания базы знаний help-системы. Семантический язык является подъязыком SC-кода, являющегося базовым языком представления знаний различного вида. Язык включает ключевые понятия, классы ключевых понятий и отношения. Использование языка представлено на примере проектирования базы знаний справочной подсистемы интеллектуальной help-системы по технологии проектирования программ на языке SCP.

Creative Commons

Научный журнал

Еще термины по предмету «Программирование»

Виртуальная консоль

действующая программная модель системной консоли.

Система программирования

система, образуемая языком программирования, компиляторами или интерпретаторами программ, представленных на данном языке, соответствующей документацией, а также вспомогательными средствами для подготовки программ к форме, пригодной для выполнения.

Системное ПО

это набор программ, обеспечивающих работу компьютера, в том числе управление ресурсами ЭВМ, взаимосвязь ЭВМ и пользователя, создание копий используемой информации, проверка работоспособности устройств компьютера, выдача справочной информации и другие функции.

Смотреть больше терминов

Повышай знания с онлайн-тренажером от Автор24!

Напиши термин
Выбери определение из предложенных или загрузи свое
Тренажер от Автор24 поможет тебе выучить термины с помощью удобных и приятных карточек

Попробовать тренажер