Том 5 № 1 (2011)

Опубліковано: 2011-12-10

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

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

Борис Михайлович Конорев, Володимир Володимирович Сергієнко, Ігор Борисович Туркін

5
- PDF

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

МЕТОД КАЛІБРУВАННЯ МОДЕЛІ COCOMO ШЛЯХОМ РЕДУКЦІЇ ОСНОВНОГО РІВНЯННЯ

Дмитро Володимирович Баценко

15
- PDF

ТЕХНОЛОГІЇ РОЗРОБКИ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ

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

Максим Георгійович Луцький

25
- PDF

ДОМЕННИЙ АНАЛІЗ

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

Юлія Миколаївна Рябокінь

35
- PDF

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

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

Юлія Михайлівна Крамар

46
- PDF
ОСОБЛИВОСТІ ВИКОРИСТАННЯ МОВИ ПРОГРАМУВАННЯ С++ BUILDER ДЛЯ РОЗРОБКИ ОСВІТНІХ ПРОГРАМ

Ірина Андріївна Сліпухіна, Роман Сергійович Одарченко, Олег Олегович Полігенько

54
- PDF

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

СИСТЕМА ЕКОЛОГІЧНОГО МОНІТОРИНГУ НА ОСНОВІ КАРТОГРАФІЧНОГО СЕРВІСУ MICROSOFT BING MAPS

Тетяна Володимирівна Ковалюк, Дмитро Сергійович Іващенко, Олег Ігорович Шумар

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

Микола Миколайович Глибовець, Семен Самуїлович Гороховський, Ольга Вадимівна Краткова

68
- PDF