Subject: D. Software

2010

Жуков И.А. and Ластовченко М.М. and Лукашенко В.В. and Терещенко В.С. and Ярмолович М.А. (2010) ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ИНСТРУМЕНТАЛЬНО-ТЕХНОЛОГИЧЕСКОЙ СИСТЕМЫ ПРОЕКТИРОВАНИЯ ТЕЛЕКОММУНИКАЦИЙ СО СМЕНЯЕМЫМ НАБОРОМ МОДУЛЕЙ МОДЕЛИРОВАНИЯ. In: УкрПРОГ, 25-27 травня 2010 р., м. Київ, Україна.

Мелащенко А.О. and Перевозчикова О.Л. (2010) КРОССЕРТИФИКАЦИЯ УКРАИНЫ. In: УкрПРОГ, 25-27 травня 2010 р., м. Київ, Україна.

Letichevsky A. and Peschanenko V. (2010) SIMPLE NON-DETERMINISTIC REWRITING IN VERIFICATION. In: УкрПРОГ, 25-27 травня 2010 р., м. Київ, Україна.

Mordvinova Olga and Ludwig Thomas and Bartholomä Christian (2010) I/O BENCHMARKING OF DATA INTENSIVE APPLICATIONS. In: УкрПРОГ, 25-27 травня 2010 р., м. Київ, Україна.

2008

Ильина Е.П. (2008) МОДЕЛИ ЭКСПЕРТНОГО АНАЛИЗА КАЧЕСТВА РЕШЕНИЙ, ПРИНИМАЕМЫХ ПРИ УПРАВЛЕНИИ ЦЕЛЕВЫМИ ПРОГРАММАМИ. Проблеми програмування (4). pp. 60-72. ISSN 1727-4907

2007

Ільман В.М. and Шинкаренко В.И. (2007) СТРУКТУРНИЙ ПІДХІД ДО ПРОБЛЕМИ ВІДТВОРЕННЯ ГРАМАТИК. Проблеми програмування (1). pp. 5-16. ISSN 1727-4907

Дорошенко А.Е. and Захария Л.М. and Цейтлин Г.Е. (2007) АЛГЕБРАИЧЕСКОЕ ПРОЕКТИРОВАНИЕ ПРОГРАММ: АЛГОРИТМЫ, ОБЪЕКТЫ, ИНСТРУМЕНТЫ. Проблеми програмування (2). pp. 5-14. ISSN 1727-4907

2006

Глибовець М.М. and Гломозда Д.К. (2006) ФОРМАЛЬНА МОДЕЛЬ КООРДИНАЦІЙНО-ОРІЄНТОВАНОЇ МЕРЕЖІ ДЛЯ КОЛАБОРАТИВНОЇ СИСТЕМИ НАВЧАННЯ. In: УкрПРОГ, 23-25 травня 2006 р., м. Київ, Україна.

Погорілий С.Д. and Камардіна О.О. (2006) СИСТЕМИ АЛГОРИТМІЧНИХ АЛГЕБР. ПРИКЛАДНИЙ АСПЕКТ. In: УкрПРОГ, 23-25 травня 2006 р., м. Київ, Україна.

Приходько П.П. (2006) О ТЕРМАЛЬНОМ АСПЕКТЕ АВТОМАТИЗАЦИИ ПРОГРАММИРОВАНИЯ. Проблеми програмування (1). pp. 3-16. ISSN 1727-4907

Фісун М.Т. and Гнездьонова О.В. (2006) РОЗРОБКА СИНТАКСИЧНОГО АНАЛІЗАТОРА МОВИ ПРОГРАМУВАННЯ PL/I ДЛЯ РЕІНЖЕНІРИНГУ БЛОК-СХЕМ АЛГОРИТМІВ. In: УкрПРОГ, 23-25 травня 2006 р., м. Київ, Україна.

2003

Парасюк И.М. and Провотар А.И. and Кондратенко В.А. (2003) АКСИОМАТИЧЕСКИЕ МОДЕЛИ И МЕТОДЫ ПРОЕКТИРОВАНИЯ ЯЗЫКОВЫХ ТРАНСЛЯТОРОВ. Проблеми програмування (3). pp. 22-28. ISSN 1727-4907