ЗМІСТ

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

Дорошенко А.Е., Захария Л.М., Цейтлин Г.Е.
Алгебраическое проектирование программ: алгоритмы, объекты, инструменты.

Нікітченко М.С., Шкільняк С.С.
Інтенсіонально-орієнтований підхід до побудови логічних систем.

ПАРАЛЕЛЬНЕ ПРОГРАМУВАННЯ

Дорошенко А.Е., Жереб К.А., Яценко Е.А.
Об оценке сложности и координации вычислений в многопоточных программах

МЕТОДИ І ЗАСОБИ ПРОГРАМНОЇ ІНЖЕНЕРІЇ

Коваль Г.І.
Підхід до керування надійністю та якістю програмних систем

Pavlov V.L., Boyko N.I., Babich A.V.
First experience of using INTSPEI P-Modeling Framework in software development projects

Коротун, Т.М.
Моделі і методи тестування програмних систем

ІНФОРМАЦІЙНІ СИСТЕМИ

Дерецький В.О.
Підходи до композиції сервісів в семантичному WEB середовищі

Резніченко В.А., Новицький О.В., Проскудіна Г.Ю.
Інтеграція наукових електронних бібліотек на основі протоколу ОАІ-РМН

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

Грищенко В.Н.
Метод об'єктно-компонентного проектування програмних систем

Лаврищева Е.М.
Интерфейс в программировании

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

Григорян Р.Д.
Концепция виртуального организма в биоинформатике

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

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

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

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