У статті пропонується метод рішення задачі системного опису програмного забезпечення на основі рівнів інкапсуляції та алгебри систем. Запропонована методика формального опису програмних капсул як систем. Показана можливість формалізації мегамодульного рівня інкапсуляції, розглядаючи програмну систему як систему систем.
В статье предлагается метод решения задачи системного описания программного обеспечения на основе уровней инкапсуляции и алгебры систем. Предложена методика формального описания программных капсул как систем. Показана возможность формализации мегамодульного уровня инкапсуляции, рассматривая программную систему как систему систем.
In the article the method deciding task of the software system description beth on the basis of encapsulation levels and the systems of algebras. Methodology of formal specification of capsules as systems is offered. Possibility of formalization of megamodule's encapsulation level is showed. Examining the program system as system of systems is presented.
