Наукова електронна бібліотека
періодичних видань НАН України

Перегляд Проблеми програмування, 2003 за назвою

Репозиторій DSpace/Manakin

Перегляд Проблеми програмування, 2003 за назвою

Сортувати за: Порядок: Результатів:

  • Программно-технологический комплекс имитационного моделирования вероятностных технологических процессов 
    Максимей, И.В.; Левчук, В.Д.; Попова, Е.О.; Поташенко, А.М. (2003)
    На основе анализа особенностей технологических процессов производства с переменной структурой определены требования к средствам автоматизации их проектного моделирования. Излагается состав и структура программно-технологического ...
  • Процесологічні середовища моделювання 
    Редько, И.В. (2003)
    Розвиваються інтенсіональні засади моделювання. Дається розгорнута експлікація понять дескриптивного процесу. Досліджуються процесологічні аспекти моделювання предметних областей. Вводяться поняття часткової функції, акції ...
  • Розвиток спіральної моделі життєвого циклу програмних систем 
    Алексєєв, В.А.; Терещенко, В.С. (2003)
    Пропонуються два нових види спіральної моделі життєвого циклу програмної системи для різних режимів розробки: доводки характеристик системи до характеристик, закладених у вимогах замовника, та створення нової версії системи ...
  • Синтез автомата, специфицированного множеством дизъюнктов 
    Чеботарев, А.Н. (2003)
    Предложен подход к синтезу автомата, специфицированного логической формулой в конъюнктивной нормальной форме (к.н.ф.). Хотя при этом используется метод синтеза автомата по формуле, представленной в дизъюнктивной нормальной ...
  • Система символьных вычислений для программирования динамических приложений 
    Дорошенко, А.Е.; Шевченко, Р.С. (2003)
    Описана система символьных вычислений, предназначенная для встраивания в промышленные приложения с целью обеспечения их гибкости и настраиваемости соответственно изменяющимся требованиям и условиям функционирования. Предложен ...
  • Средства построения звукового интерфейса для незрячих пользователей ПК 
    Рувинская, В.М.; Пригожев, А.С. (2003)
    Рассматриваются основные достоинства и недостатки наиболее распространённых средств доступа незрячих к ПК. Предлагаются структура и функции слуховой среды для незрячих, с помощью которых они смогут разрабатывать программы ...
  • Угрозы информации и услуги безопасности 
    Антонюк, А.А.; Жора, В.В.; Мостовой, В.Н. (2003)
    Рассматривается классификация угроз информации в соответствии с требованиями национального стандарта по защите информации. Дается их формальное описание, а также формальное описание некоторых услуг по обеспечению безопасности ...
  • Узагальнена композиційна модель символьної обробки 
    Винник, В.Ю. (2003)
    У концептуально-методологічному середовищі композиційного та експлікативного програмування розглядається задача побудови системи взаємопов’язаних адекватних математичних моделей семантики програм символьної обробки, що ...
  • Формальные модели компонентного программирования 
    Грищенко, В.Н. (2003)
    Предложен подход к построению формальных моделей компонентного программирования как основы создания компонентной теории. Рассмотрены модели компонентов, компонентных сред, определены внешняя и внутренняя компонентные ...

Пошук


Розширений пошук

Перегляд

Мій обліковий запис