СИСТЕМНА ІНЖЕНЕРІЯ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ
Наукові журнали НАУ
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
СИСТЕМНА ІНЖЕНЕРІЯ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ
СИСТЕМНАЯ ИНЖЕНЕРИЯ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ SOFTWARE SYSTEM ENGINEERING |
|
| Creator |
Сидоров, Микола Олександрович; Національний авіаційний університет
Луцький, Максим Георгійович; Національний авіаційний університет Гученко, Інна Володимирівна; Національний авіаційний університет |
|
| Subject |
Інженерія програмного забезпечення; система; рівень інкапсуляції; капсула; алгебра процесів реального часу; система систем.
51.681.3 Инженерия программного обеспечения; система; уровень инкапсуляции; капсула; алгебра процессов реального времени; система систем 51.681.3 Software engineering; system; the level of encapsulation; capsule; real-time processes algebra; system of systems 51.681.3 |
|
| Description |
У статті пропонується метод рішення задачі системного опису програмного забезпечення на основі рівнів інкапсуляції та алгебри систем. Запропонована методика формального опису програмних капсул як систем. Показана можливість формалізації мегамодульного рівня інкапсуляції, розглядаючи програмну систему як систему систем.
В статье предлагается метод решения задачи системного описания программного обеспечения на основе уровней инкапсуляции и алгебры систем. Предложена методика формального описания программных капсул как систем. Показана возможность формализации мегамодульного уровня инкапсуляции, рассматривая программную систему как систему систем. 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. |
|
| Publisher |
Національний Авиаційний Університет
|
|
| Contributor |
—
— — |
|
| Date |
2012-12-20
|
|
| Type |
—
— — |
|
| Format |
application/pdf
|
|
| Identifier |
http://jrnl.nau.edu.ua/index.php/IPZ/article/view/3017
|
|
| Source |
Інженерія програмного забезпечення; Том 4, № 4 (2010); 13
|
|
| Language |
ru
|
|