LOGIN TO YOUR ACCOUNT

Username
Password
Remember Me
Or use your Academic/Social account:

CREATE AN ACCOUNT

Or use your Academic/Social account:

Congratulations!

You have just completed your registration at OpenAire.

Before you can login to the site, you will need to activate your account. An e-mail will be sent to you with the proper instructions.

Important!

Please note that this site is currently undergoing Beta testing.
Any new content you create is not guaranteed to be present to the final version of the site upon release.

Thank you for your patience,
OpenAire Dev Team.

Close This Message

CREATE AN ACCOUNT

Name:
Username:
Password:
Verify Password:
E-mail:
Verify E-mail:
*All Fields Are Required.
Please Verify You Are Human:
fbtwitterlinkedinvimeoflicker grey 14rssslideshare1
Сидоров, Микола Олександрович; Національний авіаційний університет; Луцький, Максим Георгійович; Національний авіаційний університет; Гученко, Інна Володимирівна; Національний авіаційний університет (2012)
Publisher: National Aviation University
Languages: Russian
Types: Unknown
Subjects: Software engineering; system; the level of encapsulation; capsule; real-time processes algebra; system of systems, 51.681.3, Инженерия программного обеспечения; система; уровень инкапсуляции; капсула; алгебра процессов реального времени; система систем, Інженерія програмного забезпечення; система; рівень інкапсуляції; капсула; алгебра процесів реального часу; система систем.
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. В статье предлагается метод решения задачи системного описания программного обеспечения на основе уровней инкапсуляции и алгебры систем. Предложена методика формального описания программных капсул как систем. Показана возможность формализации мегамодульного уровня инкапсуляции, рассматривая программную систему как систему систем. У статті пропонується метод рішення задачі системного опису програмного забезпечення на основі рівнів інкапсуляції та алгебри систем. Запропонована методика формального опису програмних капсул як систем. Показана можливість формалізації мегамодульного рівня інкапсуляції, розглядаючи програмну систему як систему систем.
  • No references.
  • No related research data.
  • No similar publications.