Том 17 № 1 (2014)

Опубліковано: 2014-08-02

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

АЛГОРИТМИ РОЗВ'ЯЗАННЯ СИСТЕМ ЛІНІЙНИХ ДІОФАНТОВИХ РІВНЯНЬ В КОНТЕКСТІ ПРОБЛЕМИ ВИКОНУВАНОСТІ ОБМЕЖЕНЬ. Ч. 1

Сергій Лук'янович Кривий

6
- PDF

ЯКІСТЬ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ

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

Юрій Семенович Манжос

20
- PDF

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

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

Мілана Миколаївна Костів, Юлія Михайлівна Крамар

28
- PDF

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

ОПТИМІЗАЦІЯ КОДА ПОШТОВОГО ПРОГРАМНОГО ЗАСТОСУВАННЯ НА ПЛАТФОРМІ APPLE IOS ЗА КРИТЕРІЄМ МІНІМУМУ ЕНЕРГОСПОЖИВАННЯ

Ігор Борисович Туркін, Олександр Валерійович Вдовитченко

32
- PDF

БАЗИ ДАНИХ, БАЗИ ЗНАНЬ ТА ІНЖЕНЕРІЯ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ

МЕТОДИКА РОЗРОБКИ ТЕРМІНОЛОГІЇ ІНФОРМАЦІЙНИХ РЕСУРСІВ ЯК БАЗИСУ ФОРМУВАННЯ ОНТОЛОГІЙ ТА ТЕЗАУРУСІВ ДЛЯ СЕМАНТИЧНОГО ПОШУКУ

Юлія Віталіївна Рогушина, Анатолій Ясонович Гладун

41
- PDF
РОЛЬ ОНТОЛОГІЙ В ІНТЕГРАЦІЇ ДАНИХ У СЕМАНТИЧНОМУ ВЕБІ

Інна Сергіївна Чистякова

52
- PDF