Розглядається проблема автоматизації створення комп'ютерних діалогових середовищ. Введено поняття діалогової алгебри та розглянуто деякі її властивості. Результати щодо цієї алгебри покладено в основу розробки інструментального засобу Fancy for Windows. Цей засіб дає змогу в значній мірі автоматизувати створення програм зі складною взаємодією з користувачем.

Розглянуто вплив структури та розміру інформаційної бази даних на проектне моделювання і реалізацію вузлів локальної обчислювальної системи.

Описано підхід до дослідження й аналізу інструментальних засобів MetaCASE з використанням їх типової архітектури та методоорієнтованої класифікації. Наведено результати, що визначають перспективи розробки та розвитку таких інструментів.

Проведено аналіз методів специфікації моделей розподілених застосувань (РЗ), їх компонентів, методів верифікації та тестування РЗ у середовищі розподілених систем. Розглянуто традиційні методи тестування РЗ, які базуються на викликах віддалених процедур.

Проаналізовано та узагальнено науково-практичний матеріал з реінженерії програмних застосувань з графічним інтерфейсом користувача на підставі напрацювань і технічних прийомів, застосованих у ряді проектів. Запропоновано підхід, що базується на виділенні тонкого клієнта, здатного функціонувати під керуванням різних апаратних і програмних платформ. Проведено декомпозицію процесу реінженерії. Висвітлено деякі аспекти реалізації, в тому числі організацію черги обробки повідомлень результуючого розподіленого застосування, оптимізацію його дієвості, авторизацію клієнтської частини, інтернаціоналізацію.

Робота присвячена дослідженню методів та моделей оцінювання витрат на створення програмного забезпечення (ПЗ) комп'ютерних систем, що є однією з важливих складових управління програмними проектами. Запропонована модель оцінки трудомісткості та вартості ПЗ найбільш сприйнятна для застосування при розробці автоматизованих систем.

Розглядається зв'язок проблем автоматизації суджень, АС-уніфікації і сумісність систем лінійних діофантових рівнянь над множиною натуральних чисел. Запропонована інкрементальна версія критерію перевірки сумісності системи лінійних однорідних діофантових рівнянь над множиною натуральних чисел.

^aОписується евристичний списковий алгоритм побудови розкладу роботи багатопроцесорного паралельного комплексу, який забезпечує виконання всіх робіт за мінімально можливий час при достатній кількості процесорів для максимального розпаралелювання без переназначень робіт. Доводиться коректність і часова складність алгоритму.

Розглянуто теоретичні питання побудови гіпертекстового середовища та його якісні характеристики, які є суттєвими для створення комп'ютерних навчальних систем. Запропоновано механізм раціональної організації інформаційно-методичного забезпечення, який реалізовано у гіпертекстовій системі "ДИСК-М". Висвітлено особливості структурно-модульної організації даної системи.

Сформульовано основні принципи керування станом користувача з урахуванням фізіологічної адаптації. Проведено розмежування механізмів адаптації залежно від системних гомеостатичних і функціональних регуляторів. Показано, що модель динаміки уваги користувача повинна мати показники фізіологічної адаптації, а алгоритми керування працездатністю людини за допомогою адаптивного комп'ютера повинні узгоджуватися з природними адаптаційними процесами.

Запропоновано концептуальні рішення щодо архітектури інформаційної моделі та моделі життєвого циклу документів проектної бази (ДПБ) ядерних установок, принципи організації роботи з електронними ДПБ та загальні вимоги до єдиної автоматизованної системи ДПБ ядерних установок.

Пропонуються критерії оцінки навчаючих вибірок (не з кількісної, а зі структурної точки зору). Запропоновані критерії, призначені для прогнозування якості знань, які одержуються з вибірок, що оцінюються, за допомогою алгоритмів індуктивного узагальнення. Розглянуто застосування цих критеріїв для порівняння навчаючих вибірок, отриманих в результаті різних видів дискретизації реальних даних.

Подані й впорядковані в цілісному контексті основні вихідні поняття концептуального моделювання, запропонована формально-логічна система для аналізу логічних проблем подання знань про предметні області в інформаційних системах.

Представлены и упорядочены в целостный контекст исходные основные понятия концептуального моделирования и предложена формально-логическая система для анализа логических проблем представления знаний о предметных областях в информационных системах.

Изложен подход к интеллектуализированному созданию специализированных технологий программирования (СТП). Рассмотрены базовые концепции метода конструирования СТП из технологических объектов, представленных в базе знаний. Описан типовой метатехнологический процесс конструирования СТП.

Розглянуто підхід до тестування інформаційних систем організаційного керування з урахуванням ризику відмови компонентів їх прикладного програмного забезпечення. Наведено модель визначення часу, необхідного на тестування, з урахуванням ризику відмови, визначено критерій завершення тестування та процедуру збору даних результатів тестування. Модель реалізовано у програмному комплексі керування тестуванням.

У статті наведені концепція та модель зрілості технологічних процесів (ТП) створення програмного забезпечення (ПЗ) комп'ютерних систем (СММ-модель). Подано стислий огляд існуючих методів застосування цієї моделі, а також описано розроблений авторами статті експрес-метод оцінювання рівня зрілості технологічних процесів організацій-розробників ПЗ з метою вибору виконувачів великих замовлень на розробку ПЗ.

Досліджена операція рекурсії, що індукується рівнянням чи системою рівнянь. Показана замкненість класів монотонних (неперервних) функцій відносно рекурсії, а також неперервність самої рекурсії.

Исследуется монотонность и непрерывность в индуктивных множествах. Введена топология Скотта, рассмотрены произведения и обобщенные произведения индуктивных множеств. Установлена замкнутость классов монотонных и непрерывных функций относительно суперпозиции, а также монотонность и непрерывность самой суперпозиции.

Запропоновано нові поліноміальні підкласи важкорозв'язуваної задачі теорії розкладу "Мінімізація сумарного зваженого моменту", отримані внаслідок реалізації поліноміальної складової ПДС-алгоритму цієї задачі.