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

Перегляд Проблеми програмування, 2007, №2 за датою випуску

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

Перегляд Проблеми програмування, 2007, №2 за датою випуску

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

  • Алгебраическое проектирование программ: алгоритмы, объекты, инструменты 
    Дорошенко, А.Е.; Захария, Л.М.; Цейтлин, Г.Е. (2007)
    Освещены современные исследования средств проектирования алгоритмов и программ. Известный тезис Вирта: "алгоритмы + структуры данных = программы" распространен на современные исследования по методологии и технологии ...
  • Інтенсіонально-орієнтований підхід до побудови логічних систем 
    Нікітченко, М.С.; Шкільняк, С.С. (2007)
    Запропоновано інтенсіонально-орієнтований підхід до визначення основних понять логіки. Розглянуто інтенсіонали понять даного, функції та композиції. Введено поняття номінату (номінативного даного) та розглянуто його зв'язки ...
  • Об оценке сложности и координации вычислений в многопоточных программах 
    Дорошенко, А.Ю.; Жереб, К.А.; Яценко, Е.А. (2007)
    Предложен метод оценки вычислительной сложности алгоритмов на основе алгебраического подхода. Разработана методика применения системы переписывания правил для преобразования конструкций координации вычислений в многопоточных ...
  • Підхід до керування надійністю та якістю програмних систем 
    Коваль, Г.І. (2007)
    Розглянуто головні задачі інженерії надійності та якості програмних систем і визначено місце і роль прогнозування та оцінювання надійності та якості у циклі керування проектом. Установлено взаємозв'язок елементів сучасної ...
  • First experience of using INTSPEI P-Modeling Framework in software development projects 
    Pavlov, V.L.; Boyko, N.I.; Babich, A.V. (2007)
    INTSPEI P-Modeling Framework - це набір принципів, методів та інструментів, який має на меті розширення існуючих методологій розробки програмного забезпечення, що дозволяє зробити командну працю розробників більш ефективною ...
  • Моделі і методи тестування програмних систем 
    Коротун, Т.М. (2007)
    Підсумовано основні результати досліджень з проблематики тестування програмних систем (ПС). Зазначено місце та роль тестування, наведено основні методи та моделі інженерії тестування ПС оброблення даних. Запропоновано ...
  • Підходи до композиції сервісів в семантичному WEB середовищі 
    Дерецький, В.О. (2007)
    Технології мережних сервісів дозволяють програмним системам забезпечувати гнучкий і динамічний механізм інтеграції автономних систем програмного та інформаційного забезпечення в розподіленому мережному середовищі з ціллю ...
  • Інтеграція наукових електронних бібліотек на основі протоколу ОАІ-РМН 
    Резніченко, В.А.; Новицький, О.В.; Проскудіна, Г.Ю. (2007)
    Розглянуто підхід до інтеграції електронних бібліотек на базі технології ініціативи відкритих архівів, а саме за допомогою протоколу ОАІ-РМН. Описано досвід побудови інтегрованих бібліотечних систем, а також інструменти ...
  • Метод об'єктно-компонентного проектування програмних систем 
    Грищенко, В.М. (2007)
    Запропоновано комплексний метод проектування компонентних програмних систем, який засновано на концепції двофазового аналізу та проектування. Завдання першої фази полягає в аналізі предметної області (ПрО) з метою побудови ...
  • Интерфейс в программировании 
    Лаврищева, Е.М. (2007)
    Рассмотрены базовые понятия интерфейса, подходы к обеспечению интерфейса языков программирования (ЯП) и взаимодействия разноязыковых программ и данных. Определены общие проблемы неоднородности ЯП, платформ компьютеров и ...
  • Концепция виртуального организма в биоинформатике 
    Григорян, Р.Д. (2007)
    Проанализированы современное состояние и некоторые тенденции разработок и исследований в области биоинформатики. Обсуждены проблемы и перспективы создания информационной технологии, интегрирующей в себе разнородные данные ...

Пошук


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

Перегляд

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