Алгебраїчні засоби проектування діалогових середовищ у системах автоматизованого створення програм: 4, 1998

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

Анализ влияния структуры и размера информационной базы данных на характеристики узлов локальной вычислительной системы: 1-2, 2001

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

Анализ инструментальных средств MetaCASE: 1-2, 2001

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

Аналіз методів специфікації та верифікації компонентів розподілених застосувань: 4, 1998

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

Аспекты реинженерии приложений с графическим интерфейсом пользователя: 1-2, 2001

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

Визначення витрат на створення програмного забезпечення автоматизованих систем: 3 / П. І. Андон, В. Ю. Суслов [et al.], 1998

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

Доказательство теорем в логике первого порядка, унификация и совместность линейных констрейнтов: 4, 1998

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

Евристичний алгоритм побудови розкладу роботи багатопроцесорного комплексу : 3 / М.М. Глибовець, А.М. Глибовець, 1998

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

Застосування гіпертекстових технологій у побудові комп'ютерних навчаючих систем: 1-2, 2001

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

Концептуальные проблемы управления работоспособностью пользователя с помощью адаптивного компьютера: 1-2, 2001

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

Концепция создания единой автоматизированной системы документов проектной базы ядерных установок: 1-2, 2001

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

Критерий оценки обучающих выборок с точки зрения качества результатов их индуктивного обобщения: 4, 1998

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

Логическая реконструкция основ концептуального моделирования в информационных системах. Ч. II: 4, 1998

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

Логическая реконструкция основ концептуального моделирования в информационных системах. Часть I: 3 / А. Е. Яшунин, 1998

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

Метатехнология и концепции создания специализированных технологий программирования : 3 / Е. И. Моренцов, 1998

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

Модель определения критерия завершения тестирования на основе анализа риска отказа и ее реализация: 1-2, 2001

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

Модель оценки технологической зрелости организаций-разработчиков программного обеспечения: 4, 1998

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

Непрерывность в индуктивных множествах. Часть 2: рекурсия: 4, 1998

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

Непрерывность в индуктивных множествах. Часть 1. Суперпозиция : 3 / Д. Б. Буй, 1998

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

Новые условия полиномиальной составляющей ПДС-алгоритма задачи "Минимизация суммарного взвешенного момента": 1-2, 2001

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