Чайников, С. И.Солодовников, А. С.2018-04-202018-04-202016Чайников С. И. К вопросу оценивания последовательностей взаимодействия модулей проблемно-ориентированных программных комплексов / С. И. Чайников, А. С. Солодовников // Бионика интеллекта. – 2016. – №1 (86). – С. 145–148.http://openarchive.nure.ua/handle/document/4821Рассмотрены принципы формирования автоматной модели последовательностей взаимодействия модулей проблемно- ориентированных программных комплексов и использования соответствующего автоматного метода в целях повышения надежности программной системы на этапе формирования структуры программного комплекса. Показано использование автоматного метода в условиях динамически меняющихся требований заказчика, позволяющего повысить надежность системы при ее конфигурации.ruBDDграфовая модельпрограммный комплексArticle