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

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

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

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

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

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

Пошук


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

Перегляд

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