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

Перегляд Проблеми програмування, 2006 за темою "Теоретичні та методологічні основи програмування"

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

Перегляд Проблеми програмування, 2006 за темою "Теоретичні та методологічні основи програмування"

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

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

Пошук


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

Перегляд

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