1.2. Програмна інженерія як дисципліна.

Програмна інженерія — це наука побудови комп'ютерних програмних систем на інженерній основі за методами, засобами і. інструментами програмування, сучасними стандартами процесів ЖЦ, менеджменту та керування якістю. Особливістю виробництва нових систем є технологія їх проектування від аналізу предметної області до утворення коду для виконання на комп'ютерах. Основа інженерії проектування - теорія алгоритмів і програмування, теорія обчислень і розподіленої обробки, теорія обчислювальних мереж та ін.

Проектування у ПІ - це конструювання комп'ютерних систем методами та засобами програмування за такими загальними кроками:

- опис вимог;

- опис специфікацій системи;

- розроблення системи;

- тестування, оцінка надійності і якості системи.

Значну роль у становленні програмної інженерії відіграла систематизація накопичених знань у програмуванні, виконана комітетом спеціалістів у галузі інформатики під комітетом відомих комп'ютерних організацій IEEE Computer Society і ACM (Association for Computer Machinery). Цей комітет створив (1999 p.- перший варіант, 2001 p. - другий) ядро знань SWEBOK, де наведено визначення предмету програмної інженерії і її тематичних областей (knovvledge areas). Одночасно були розроблені стандарти з програмної інженерії, головні серед яких ISO/IEC 12207-життєвий цикл ПЗ і ДСТУ 9126 - якість програмного продукту тощо.

Ядро знань SWEBOK і регламентовані процеси стандарту ISO/IEC 12207 узгоджені між собою. Вони утворюють практичний базис інженерії виробництва програмного продукту. Питання керування програмним проектом розглянуті в іншому ядрі знань - РМВОК та відповідному стандарті IEEE Std.1490 «IEEE А Guide to the Project Management Body of Knowledge». Стандарти визначають порядок діяльності в сфері технології розробки, а знання, те що необхідно фахівцям для виконання всіх видів діяльності з проектування і реалізації задач проекту, визначені в ядрі знань SWEBOK.

Виходячи з базових положень стандартів, програмний продукт проектується більш цілеспрямовано і регламентовано з використанням на кожному з процесів необхідних методів та засобів ядра знань SWEBOK. Програмна інженерія та її стандарти орієнтують колективи виконавців до менеджменту проекту та якісний вимір його показників, а також до прийняття рішень про компоненти повторного використання, оцінювання проміжного і кінцевого результату на задоволення вимог замовника тощо.

індустріальне виробництво різних видів програмних систем і сімейств систем потребує структуризації програмної інженерії, пов'язаної не тільки з процесами ЖЦ і відповідними змістовними методами проектування з SWEBOK, а й з теоретичними і прикладними методами забезпечення виробництва.

Сутність кожної з дисциплін, які є складовими програмної інженерії, наступні:

- наукова дисципліна визначена як сукупність формальних методів специфікації, доведення та верифікації програмних об'єктів, методів їх об'єднання, теоретичних і прикладних методів програмування та теоретичних моделей надійності програм та методів їхнього застосування;

- інженерна дисципліна сформульована як сукупність технологічних засобів і методів проектування ПС за фундаментальними моделями ЖЦ, положеннями сучасного стандарту із процесів ЖЦ, техніки аналізу предметної області, формулювання вимог з розробленням за ними відповідного вихідного коду, його супроводу та внесення до нього різного роду змін, включаючи ті, що забезпечують перенесення програмного продукту на інші комп'ютерні платформи;

- дисципліна керування базується на теорії управління, як підґрунті для визначення сутності базових методів керування програмним проектом за графіками робіт, спостереження за виконанням планів, керуванням ризиками та формуванням версій (конфігурацій) виготовленого програмного продукту та передачі його користувачам;

- економічна дисципліна сформульована як сукупність методів експертного, якісного і кількісного оцінювання проміжних об'єктів ЖЦ, а також економічних методів розрахунків часу, обсягу і вартості виготовлення програмних продуктів, що поставляються на ринок;

- виробнича дисципліна - це сучасні промислові технологічні прийоми виробництва прикладних систем, сімейств систем з застосуванням готових програмних ресурсів, включаючи компоненти повторного використання, накопичених у сучасних інформаційних сховищах, одиночні готові програми розв'язку деяких задач, сервісні, агентні артефакти тощо. Для забезпечення їх правильності виконуються методи верифікації, тестування і оцінки за отриманими на них показниками якості програмного продукту.