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