ЗМІСТ

Титульні сторінки та зміст

ТЕОРЕТИЧНІ ТА МЕТОДОЛОГІЧНІ ОСНОВИ ПРОГРАМУВАННЯ

Лавріщева К.М.
Компонентне програмування. Теорія і реалізація

Нікітченко М.С., Шкільняк С.С.
Логіки квазіарних предикатів кванторно-екваційного рівня

Провотар О.І., Лапко О.В.
Про нові методи опису невизначених величин

Щегельський Т.С., Провотар О.О., Провотар О.І.
Аналіз систем нечіткої логіки для апроксимації нечітких функцій

ПРОГРАМУВAАННЯ ДЛЯ КОМП’ЮТЕРНИХ МЕРЕЖ ТА INTERNET

Ігнатенко О.П.
Одна динамічна конфліктно керована модель взаємодії користувачів у відкритих інформаційних середовищах

ІНСТРУМЕНТАЛЬНІ ЗАСОБИ І СЕРЕДОВИЩА ПРОГРАМУВАННЯ

Кожаев В.В.
Иструментарий создания игровой логики

ФОРМАЛЬНІ МЕТОДИ РОЗРОБКИ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ

Колчин А.В., Летичевский А.А., Потиенко С.В., Песчаненко В.С.
Обзор современных систем и методов верификации формальных моделей

ЕКСПЕРТНІ ТА ІНТЕЛЕКТУАЛЬНІ ІНФОРМАЦІЙНІ СИСТЕМИ

Захарова О., Міненко В.
Технологія оптимального вибору варіантів на основі семантичного аналізу інформаційних об’єктів бізнес-процесу

ПРИКЛАДНІ ЗАСОБИ ПРОГРАМУВАННЯ ТА ПРОГРАМНЕ ЗАБЕЗПЕЧЕННЯ

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

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

Терещенко А.Н., Задирака В.К.
Оптимизация умножения больших N-разрядных чисел на основе N-разрядных ДПФ

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

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

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

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