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

Перегляд Проблеми програмування, 2012, № 2-3 за назвою

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

Перегляд Проблеми програмування, 2012, № 2-3 за назвою

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

  • Models and tools for effectiveness increase of requirements traceability in agile-software development 
    Tkachuk, M.V.; Gamzayev, R.O.; Mayr, H.C.; Bolshutkin, V.O. (Проблеми програмування, 2012)
    This paper presents the Agile-centered framework for advanced requirements traceability support which consists of following components: a procedure to build an advanced traceability matrix (ATM) using the elaborated ...
  • Reputation-based secyrity for heterogtneous structurally complex systems 
    Kussul, O.M. (Проблеми програмування, 2012)
    In this paper we present the service-oriented infrastructure within the Wide Area Grid (WAG) project that was carried out within the Working Group on Information Systems and Services of the Committee on Earth Observation ...
  • Tete-A-Tete Project: software engineering tools supporting understanding 
    Hrytsay, V.P.; Zakhariya, L.M. (Проблеми програмування, 2012)
    Software Understanding is necessary and the most important condition of essential reducing of software development cost. In this paper Tete-A-Tete Project is described which offers a radical rethinking of Software Development ...
  • UWN: Універсальна онтологічна база знань укранської мови 
    Анісімов, А.В.; Марченко, О.О.; Никоненко, А.О. (Проблеми програмування, 2012)
    Дана стаття описує мету та основні задачі, які ставилися розробниками при створенні онтології UWN. Детально розглянуто архітектуру створеної системи, структуру збереження знань, механізми доступу до знань, внутрішню логіку ...
  • Автоматична оптимізація виконання для задачі метеорологічного прогнозування 
    Іваненко, П.А.; Дорошенко, А.Ю. (Проблеми програмування, 2012)
    У статті розглядається поняття автотюнінгу – сучасного підходу до автоматичної оптимізації обчислювальних задач високої складності. На прикладі прикладної задачі метеорологічного прогнозування демонструється універсалізм ...
  • Алгебра для описания данных в композиционных схемах алгоритмов 
    Акуловский, В.Г. (Проблеми програмування, 2012)
    Предлагается алгебра данных, в рамках которой реализуется комплексный подход к программированию при описании управляющих структур и структур данных в композиционных схемах алгоритмов.
  • Аспекты моделирования в системе Гомеопат 
    Провотар, А.А.; Провотар, О.А. (Проблеми програмування, 2012)
    Рассматриваются вопросы построения нечетких моделей процессов диагностирования в системе Гомеопат и процедур нечеткого логического вывода.
  • Ациклічність та замкненість макрокомпозицій 
    Вінник, В.Ю.; Парфірова, Т.С. (Проблеми програмування, 2012)
    Задачу експлікації проектування програмних систем розглянуто з точки зору сутнісної платформи. Обґрунтовано адекватність вибору ациклічних композицій як базовий засіб експлікації логіки будови проектів. Для ациклічних ...
  • Базові основи індустрії програм, обчислень і даних 
    Лавріщева, К.М. (Проблеми програмування, 2012)
    Дано опис підходів з розвитку індустрії виробництва програм із компонентів повторного використання (КПВ). Запропоновані головні елементи – теоретичні аспекти індустрії програм, обчислень та даних. Розглянуто підхід до ...
  • Дефинитологические основания сущностной платформы 
    Редько, В.Н.; Редько, И.В.; Гришко, В.Н. (Проблеми програмування, 2012)
    Даются экспликации дескриптивной и дефинитной систем. Строятся дефинитологические основания сущностной платформы. Эксплицируется взаимодополнение актуальных и потенциальных, композиционных и декомпозиционных систем. Строятся ...
  • Деякі підходи до обчислення умовної невизначеності 
    Провотар, О.І.; Лапко, О.В. (Проблеми програмування, 2012)
    Розглядаються різні підходи до обчислення умовної невизначеності подій запропоновані в рамках теорії ймовірності та можливості. Особлива увага приділяється розгляду поняття залежності невизначених подій.
  • До задачі оптимізації завантаженості ресурсів обчислювального кластера з вузлами у вигляді віртуальних машин 
    Погорілий, С.Д.; Білоконь, І.В. (Проблеми програмування, 2012)
    Виконано формалізацію задачі оптимізації конфігурації обчислювального кластера, вузлами якого є віртуальні машини. Запропоновано підхід, що ґрунтується на застосуванні генетичних алгоритмів, які вимагають формування ...
  • Задача проверки Т-выполнимости для логического языка VL1 системы VRS 
    Тимофеев, В.Г. (Проблеми програмування, 2012)
    В данной работе дается короткое введение в задачу проверки T-выполнимости формул относительно логических теорий, и показывается, что разработанные методы решения этой задачи могут применяться в технологии инсерционного ...
  • Имитационная модель и ее программная реализация планирования ресурсов грид-системы 
    Минухин, С.В.; Знахур, С.В. (Проблеми програмування, 2012)
    Рассмотрена модель и ее программная реализация для имитации процессов планирования ресурсов Грид-системы. Предложены метрики производительности системы и проведен сравнительный анализ разработанного метода планирования на ...
  • Итеративный подход к анализу естественно-языковых текстов: логический аспект 
    Крывый, С.Л.; Бибиков, Д.С. (Проблеми програмування, 2012)
    Описывается логический подход к анализу естественно языкового текста с целью извлечения знаний. В частности рассматривается использование линейной темпоральной логики для анализа и представления модальностей в таком тексте.
  • Імплементація юридично правових електронних документів 
    Мелащенко, А.О.; Скарлат, О.С. (Проблеми програмування, 2012)
    Розглянуто основні проблеми впровадження електронного діловодства як основи електронного урядування. Проаналізовано недоліки чинної нормативно-методичної бази, що регулює електронне діловодство в Україні, та запропоновано ...
  • Інформаційна технологія розробки та аналізу моделей предметних областей для їх вивчення 
    Любченко, В.В. (Проблеми програмування, 2012)
    У роботі описана інформаційна технологія розробки та аналізу моделей предметних областей для їх вивчення. Визначені базові поняття інформаційної технології – абстракція, асоціація та адаптація, на основі яких будуються ...
  • К вопросу о модифицируемости и безаномальности схемы реляционной базы данных 
    Панченко, Б.Е. (Проблеми програмування, 2012)
    Предложен новый подход к синтезу ДКНФ для произвольной предметной области. Дан новый критерий принадлежности схемы БД к ДКНФ. Показана единственность подхода к проектированию одновременно и модифицируемой, и безаномальной ...
  • К вопросу разработки инструментального комплекса онтологического назначения 
    Палагин, А.В.; Петренко, Н.Г.; Величко, В.Ю.; Малахов, К.С.; Тихонов, Ю.Л. (Проблеми програмування, 2012)
    Предлагаются методологические основы проектирования инструментального комплекса онтологического назначения, предназначенного для реализации интегрированной информационной технологии автоматизированного построения онтологий ...
  • Комплексна система тестування взаємодії ресурсів у національній грід-інфраструктурі 
    Слюсар, Є.А. (Проблеми програмування, 2012)
    Розглянуто існуючі підходи до тестування та моніторингу грід-ресурсів у глобальних грід-інфраструктурах та запропоновано власну архітектуру автоматизованої системи тестування грід-ресусрів, що включає в себе локальні, ...

Пошук


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

Перегляд

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