Додаткова інформація:

Про ІПС
Про журнал
Рубрики журналу
Редакційна колегія
Для авторів
Передплата
Контакти
Партнери

Тел.: (380-44) 526-2148.
Факс: (380-44)526-6263
E-mail: iss@isofts.kiev.ua

Електронна бібліотека ІПС

Матеріали четвертої міжнародної науково-практичної конференції з програмування УкрПРОГ'2004, 1-3 червня 2004 р., Україна, Київ

ЗМІСТ

Панченко Т. В
Моделювання структур даних та функцій над ними в композиційно-номінативній мові ACoN

Грибовская Н.С
Теоретико-категорная характеризация трассовой эквивалентности для временых автоматных моделей

Ошевская Е. С.
Об одной геометрической модели временных параллельных процессов

Дубцов Р. С.
Теоретико-категорная характеризация развертки временных сетей Петри

Петрушенко А.М., Хохлов В.А.
Концепція діалогових обчислень та деякі проблеми автоматизації програмування

Антонцева М. Ф.
Коалгебраическое исследование бисимуляционніх паралельніх процессов

Цейтлин Г.Е., Мохница А.С.
Что такое алгебраическая алгоритмика?

Редько И.В.
Экспликативный базис интеграционных сред

Редько В.Н., Редько И.В, Гришко Н.В
Дескриптологическая среда информационных технологий

Нікітченко М.С., Шкільняк С.С.
Композиційно-номінативні логіки предикатів над даними з неповною інформацією

Усатюк О.В., Крывый С.Л.
Реализация алгоритма преобразования неординарной сети Петри в ординарную

Багрий Р.
Об алгоритмах представления транзиционных систем с помощью бинарных диаграмм

Львов C.М.
О реализации вычислений в задачах анализа программ, определенных над векторными пространствами

Baca J., Giertl J.,Chladny V.
Formal specifications and decomposition of logic systems for purposes of analysis, synthesis and diagnostics

Матвеева Л. Е.
Автоматическая система анализа и верификации телекоммуникационной системы, описанной на языке MSC, с помощью формализма сетей Петри

Лопатина М.В.
Булева оптимизация алгоритмов решения систем линейных диофантовых уравнений

Сергієнко I.В., Парасюк І.М., Єршов С.В.
Нечіткий трансформаційний підхід до розробки програмних систем

Семенец С.В.
Создание программного каркаса Windows CE

Мучник М.М.
Рекурсивная модель жизненного цикла разработки программ и ее применение

Маторин В.С., Маторин С.И., Попов А.С.
CASE-инструментарий UFO-toolkit. Автоматизация построения УФО-моделей

Бондаренко М. Ф., Пирог С.С., Соловьева Е.А., Украинец А.Г.
Взаимное преобразование UFO- и UML-моделей

Задорожна Н. Т.
Менеджмент проекту інформаційної системи ПІдтримки нормативно-правового забезпечення органів державного управління

Ігнатенко П.П., Стрєлов І.А., Ткаченко В.М., Дуднік Р.О.
Концепція створення моделі прикладної програмної системи з розвинутою функцією життєздатності

Бабенко Л.П., Поляничко С.Л.
Онтологічні моделі опису готових ресурсів у розробці програм

Лаврищева Е.М., Рожнов А.М.
Концепция аналитической оценки характеристик качества программных компонентов

Мороз Г.Б., Коваль Г.И., Коротун Т.М.
Применение концепции операционных профилей в инженерии надежности программных систем

Райчев І.Е., Харченко О.Г.
Проблеми оцінювання якості критичних програмних систем при їх сертифікації

Крамар Ю.М.
Автоматизация контроля применения стиля языка программирования

Грищенко В.М.
Методи еволюції програмних компонентів для їх повторного застосування

Шевченко Р.
Javachecker: статический анализ программных комплексов с помощью переписывающих правил

Вдовикин О.И., Машечкин И.В.
Концепция организации хранения данных для параллельного ввода-вывода в кластерных ВС

Захаров О. І., Погорілий С. Д.
Особливості компіляції схем паралельних алгоритмів

Nepomniaschaya A. S., BoretsT. V.
Checking spanning trees optimality using associative parallel processors and its visualization

Lastovetsky Al.
Parallel computing on heterogeneous Networks: Challenges and Responses

Медвідь С.О.
Комбінований компетентний паралельний генетичний алгоритм та його застосування для задачі побудови розкладів

Шинкаренко В.И.
Зависимость временной эффективности вычислительных программ от архитектуры суперскалярных процессоров

Ludwig T.
Research trends in high performance parallel Input/Output for cluster environments

Анісімов А.В., Дерев'янченко О.В.
Система ПАРКС-JAVA як засіб вирішення паралельних алгоритмів на комп'ютерній мережі

Дорошенко А. Е., Рухлис К.А.
Параллельное программирование задач визуализации научных данных

Ходаков В.Е., Граб М.В.
Применение аппарата математической логики для моделирования распостранения лесного пожара

Стадник Ю.В.
Декларативный подход к описанию трансформации данных с разрешением конфликтов обновления

Балабанов О.С.
Ефективний метод виявлення структур залежностей в статистичних даних

Міщенко Н.М., Феліжанко О.Д., Щоголева Н.М.
Про застосування Байєсових мереж у простих експертних системах

Верьовка О.В., Парасюк І.М. Карпінка, Є.С., Заложенкова І.А.
Концептуальні основи Байєсівської діагностики у розмитому інформаційному просторі при дзвоноподібних функціях належності

Прокопчук Ю.А.
Концептуальная модель базы знаний интеллектуальной медицинской системы

Шекета В.І.
Модифікаційні предикатні запити

Ильина Е.П., Ольховская Ю.В., Слабоспицкая О.А.
Построение и обоснование обобщенного дерева критериев ценности при учете различных точек зрения на проблему многокритериального оценивания

Овдій О.М., Проскудіна Г.Ю.
Онтології у контексті інтеграції інформації: представлення, методи та інструменти побудови

Плескач В.Л., Рогушина Ю.В.
Декларация пространств имен ресурсов электронного бизнеса для идентификации домена

Tkachuk M., Sokol V., Mayr H.C., Godlevsky M.
Knowledge based approach to traceability maintenance of requirements for information systems

Домрачев Є.В., Домрачев В.М.
Система підтримки прийняття рішень з монетарної політики

Мучник М.М.
Технология ввода данных с бумажных документов

Дерецкий В., Богданова М., Ремарович С., Обуховская В.
Подход и средства тематического поиска информации в Web окружении

Алексєєв В. А., Терещенко В.С.
Архітектура інтегрованої міжвідомчої інформаційної системи як композиція відомчих інформаційних систем

Дорошенко А.Ю., Романенко В.Г.
Методика реалізації об’єктно-реляційного відображення у середовищі .Net Object-Relational Mapping Techniques for .Net Framework

Погорілий С.Д., Камардіна О.О.
Дослідження та створення інструментальних засобів автоматизованої трансформації схем алгоритмів

Демська-Кульчицька О.
Застосування принципів ТЕІ до кодування текстових корпусних данних

Кульчицкий Б.Н., Тульчинский В.Г., Харченко А.В.
Структурированные семантические сети в распределенной разработке многоязыковых словарей

Теленик С.Ф.
Межмодельный подход к разработке естественно-языкового интерфейса с использованием методов нечеткой логики

Яценко Е.А., Мохница А.С.
Инструментальные средства конструирования синтаксически правильных параллельных алгоритмов и программ

Булавенко О.Н., Коваль В.Н.
Технология анализа и синтеза предложений естественного языка в интегрированном интеллектуальном интерфейсе системы ИРМ

Юсим Г.В.
Синтезаторы речи с MS SAPI интерфейсом для скринридеров

Ромм Я.Е., Гуревич М.Ю., Белоконова С.С., Соловьева И.А.
Вычисление нулей и полюсов функций на основе устойчивой адресной сортировки с приложением к поиску и распознаванию

Gopych P.M.
A neural network assembly memory model based on an optimal binary signal detection theory

Тимошенко Ю.О., Дідковська М.В.
Узагальнена модель негомогенного пуассонівського процесу для оцінювання надійності програмного забезпечення

Григорян Р.Д., Подласов Е.С.
Технология имитационного моделирования процессов жизнеобеспечения на клеточном и органном уровнях

Ластовченко М.М., Биляк В.И.
Проблемы создания инструментально-технологических систем проектирования аппаратно-программных средств интеллектуальных сетей

Бигдан В.Б., Пепеляев В.А., Сахнюк М.А.
Актуальные проблемы и тенденции в области современного имитационного моделирования

Гриценко В.И., Гладун А.Я., Журавлев Ю.Д., Несен М.В.
Модель мультиагентной системы для е-бизнеса и технология ее программной реализации

Сергиенко И.В., Дейнека В.С., Калынюк Н.А., Радионов М.М.
Автоматизированная диалоговая система НАДРА–Д исследования процессов в многокомпонентных средах

Жора Д. В.
Принципы построения программного агента по торговле ценными бумагами

Ластовченко М.М., Артемова А.В.
Проблемы создания мобильной программной среды активного мониторинга системы диспетчеризации воздушного движения

Прусов В.А.
Методы эффективного решения задач моделирования и прогнозирования региональных атмосферных процессов

Молчанов И.Н., Герасимова Т.А., Попов А.В., Химич А.Н., Чистякова Т.В.
Интеллектуальная система для исследования и решения матричных задач на собственные значения

Хайдер Мирослав
Методы и средства решения задач оптимизации размещения узлов при проектировании систем и сетей

Манако А.Ф.
Моделі агрегатування об 'єктів навчального контенту на базі систем інформаційних технологій

Глибовець М.М., Адамчук C.В.
Про один підхід побудови систем централізованих баззнань, які формуються методами навчання зпідкріпленням

Лаврищева Е.М., Безуглый Д.Л., Молдавский С.М.
Подход к созданию комплексной учебной программы для подготовки ИТ-менеджеров

Лидер Д. А., Хальдун Дакак
Портал для завершения высшего образования в области информационных технологий