The Modeling and Optimization of Software Engineering Processes

Abstract

Для формалізації та оптимізації процесів програмної інженерії описано використання методу вставочного програмування і процесу аналітичної ієрархії Saaty (AHP). Показана процедура формалізованого подання специфікації вимог до програмної системи (ПО), а також представлено алгоритм оптимального вибору архітектури при великій кількості параметрів якості. Ключові слова-програмний комплекс, специфікація вимог, формалізація, процес аналізу ієрархії, базові протоколи, архітектура.

Description

Створення SWS досить трудомісткий і дорогий процес, викликаний недостатнім використанням методів математичного моделювання. Особливо це стосується процесів проектування, аналізу і передачі технічних вимог, проектування архітектури, оцінки якості [1]. Формалізація і перевірка вимог базуються на моделі базових протоколів. Це дає можливість формалізувати технічне завдання, використовувати засоби автоматизації для їх перевірки. Для проектування архітектури SWS пропонується використовувати модифікований аналітичний ієрархічний процес (AHP).

Keywords

програмний комплекс

Citation

Для формалізації та оптимізації процесів програмної інженерії описано використання методу вставочного програмування і процесу аналітичної ієрархії Saaty (AHP). Показана процедура формалізованого подання специфікації вимог до програмної системи (ПО), а також представлено алгоритм оптимального вибору архітектури при великій кількості параметрів якості. Ключові слова-програмний комплекс, специфікація вимог, формалізація, процес аналізу ієрархії, базові протоколи, архітектура.