Справочник от Автор24
Найди эксперта для помощи в учебе
Найти эксперта
+2

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Кодировщик программ

программист, пишущий и автономно тестирующий код компонент программ.

🌟 Рекомендуем тебе

Цикл с постусловием

цикл, в котором условие проверяется после выполнения тела цикла.

🌟 Рекомендуем тебе
Смотреть больше терминов

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

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

Все сервисы Справочника в твоем телефоне! Просто напиши Боту, что ты ищешь и он быстро найдет нужную статью, лекцию или пособие для тебя!

Перейти в Telegram Bot