Том 1 № 1 (2010)

Опубліковано: 2010-12-11

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

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

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

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

Ігор Борисович Туркін, Борис Борисович Михнич

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

Ярослав Михайлович Чабанюк, Віталій Степанович Яковина, Дмитро Васильович Федасюк, Максим Михайлович Сенів, Уляна Теодорівна Хімка

24
- PDF

СУПРОВІД І ЕВОЛЮЦІЯ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ

ПОБУДОВА МОДЕЛЕЙ ДЕФЕКТІВ ПРОЕКТУВАННЯ ОБ'ЄКТНО-ОРІЄНТОВАНОГО ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ

Олександр Сергійович Нечай

30
- PDF

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

ПРОБЛЕМА ІНТЕГРАЦІЇ ПРОГРАМНОЇ ІНЖЕНЕРІЇ З ІНЖЕНЕРІЄЮ ЗНАНЬ

Ігор Борисович Сироджа, Ігор Борисович Туркін, Ліна Олексіївна Волобуєва, Євгенія Віталіївна Соколова, Вероніка Альбертівна Постернакова

39
- PDF

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

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

Микола Олександрович Сидоров

53
- PDF

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

ФАКТОРИ, ЩО ВПЛИВАЮТЬ НА IT-ОСВІТУ: РИНОК ПРАЦІ, ОСВІТНІ СТАНДАРТИ, МОВИ ПРОГРАМУВАННЯ

Зарема Сайдаліївна Сейдаметова, Валерій Анатолійович Темненко

62
- PDF
ОБГРУНТУВАННЯ ЗМІСТУ НАВЧАННЯ В РАМКАХ МЕТОДОЛОГІЇ ВИКЛАДАННЯ ПРОФЕСІЙНО-ОРІЄНТОВАНОЇ ДИСЦИПЛІНИ «ГРУПОВА ДИНАМІКА І КОМУНІКАЦІЯ»

Олена Георгіївна Кириленко, Оксана Вадимівна Лучшева

71
- PDF
ОСВІТНІ ТА НАУКОВІ ІТ-СПЕЦІАЛЬНОСТІ У КІЛЬКІСНОМУ ВИМІРІ

Тетяна Юріївна Морозова

79
- PDF