Доказове управління генерацією та модифікацією програмних модулів для інформаційно-аналітичних систем

Буханцов С.Н., Пустоваров В.І., Стіренко С.Г., Желудкова Т.В.

Розглянуті типові послідовності розв’язання задач інформаційно-аналітичних систем (ІАС) та модульна структура їх спеціальних програм. Запропонована методика визначення стану процесів для досягнення цілей оперативних регламентних робіт з підготовки та оцінки рішень з проектів, супроводжуваних в ІАС. Показано, що застосування цієї методики дозволяє обрати структуру програм для їх ефективного використання в критичних ситуаціях, що виникають в ІАС, інтегрованих з підсистемами обліку та розв’язання регламентних задач.

Завантажити (pdf)