UkrPROG 2014
International Conference of Programming

Table of Contents

Theory and Methodology of Programming

• Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями
  (First-order composition-nominative logics with generalized renominations) 17-28
  Mykola Nikitchenko, Oksana Shkilniak, Stepan Shkilniak
• Согласованное описание алгоритмов в рамках алгебраического аппарата
  (Coordinated description of algorithms within the framework of algebraic vehicle) 29-37
  Valeriy Akulovskiy, Anatoly Doroshenko
• NP-трудность задач оптимизации коллективного преследования
  (NP-hardness of collective pursuiting optimization problems) 44-51
  Serhei Pashko

Parallel Programming. Distributed Systems and Networks

• Формалізоване проектування та генерація паралельної програми чисельного прогнозування погоди
  (Formalized designing and generation of parallel program for numerical weather forecasting task) 72-81
  Anatoly Doroshenko, Olexiy Beketov, Vitaliy Prusov, Yurii Tyrchak, Olena Yatsenko
• Блочний алгоритм перетворень Хаусхолдера для комп’ютерів гібридної архітектури
  (Block algorithm for Householder transformations for hybrid architecture computers) 99-106
  Alexandr Popov, Olga Rudich

Methods and Facilities of Software Engineering

• Регрессивное тестирование: методы и будущие направления исследований
  (Regression testing: techniques and future research directions) 133-145
  Grigorii Moroz, Andey Plys

Formal Methods of Programming

• Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем
  (Static method of consistency and completeness checking in formal model of distributed software systems) 146-150
  Alexander Kolchin, Aleksandr Letichevsky, Stepan Potiyenko

Models and Facilities for Data and Knowledge Bases

• Формальна семантика агрегатних операцій мультимножинної табличної алгебри
  (A formal semantics of aggregate operations of multiset table algebra) 166-173
  Irina Glushko
• Онтолого-ориеентированная интеграция данных в Семантическом Вебе
  (Ontology-oriented data integration on the Semantic Web) 188-196
  Inna Chystiakova

Information Security

• Завадостійкий код на основі скінченного автомата та подання чисел у двобазисній системі числення
  (Error correcting code based on finite automaton and representation of numbers in the two-base numeration system) 205-211
  Igor Zavadskyi

Intelligent Information Technology

• Методы моделирования поведения агентов в мультиагентной системе «Навигация»
  (Methods of simulation of behavior of agents in multi-agent system "Navigation") 212-220
  Andriy Yalovets
• Развитие формальных моделей, алгоритмов, процедур, разработки и функционирования программной системы “Инструментальный комплекс онтологического назначения”
  (Development of formal models, algorithms, procedures, engineering and functioning of the software system "Instrumental complex for ontological engineering purpose") 221-232
  Alexander Palagin, Nikolay Petrenko, Vitalii Velychko, Kiril Malakhov
• Mathematical foundations for designing and development of intelligent systems of information analysis 233-241
  Dmytro Terletskyi, Olexander Provotar

Applied Software

• Проектирование специализированной компьютерной системы для проведения пульмонологического диагностирования
  (Designing of the specialized computer system for making pulmonology diagnosis) 253-262
  Natalia Komlevaya, Aleksandr Komlevoy, Kyrylo Chernega
• Евристичний алгоритм морфолексичного аналізу для невідомих слів
  (Heuristic algorithm of morpholexical analysys of unknown words) 279-284
  Vladimir Taranukha
• Автоматизований переклад з української мови на українську жестову мову: алгоритмична реалізація
  (Automated translation from ukrainian to sign language: algorithmic implementation) 285-294
  Iurii Krak, Olexander Barmak, Sergii Romanyshyn
• Розробка архітектури програмного забезпечення для інтерактивного навчання жестовій мові
  (Software architectural design for the interactive learning of sign language) 295-302
  Iurii Kryvonos, Iurii Krak, Miroslav Lisniak, Anton Ternov
• Пошукова система наукових матеріалів українською мовою із соціальною складовою
  (Specialized search engine system of scientific materials in Ukrainian language with social aspects) 312-317
  Andrey Glybovets