Принятие решений при автоматизированной разработке программного обеспечения

Abstract

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

Software development always relates to important management and engineering decisions. The quality of software and risks related to its development considerably depend on these decisions. It’s proposed to automate the process of decision making during software development process using formal methods of decision making. This will allow to make decisions basing on objective analysis of facts, clear ground made conclusions and estimate consequences of the decisions, and minimize here by risks related to development of software.