СИСТЕМНА ІНЖЕНЕРІЯ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ

Автор(и)

  • Микола Олександрович Сидоров Національний авіаційний університет
  • Максим Георгійович Луцький Національний авіаційний університет
  • Інна Володимирівна Гученко Національний авіаційний університет

Ключові слова:

Інженерія програмного забезпечення, система, рівень інкапсуляції, капсула, алгебра процесів реального часу, система систем.

Анотація

У статті пропонується метод рішення задачі системного опису програмного забезпечення на основі рівнів інкапсуляції та алгебри систем. Запропонована методика формального опису програмних капсул як систем. Показана можливість формалізації мегамодульного рівня інкапсуляції, розглядаючи програмну систему як систему систем.

Біографії авторів

Микола Олександрович Сидоров, Національний авіаційний університет

Д. т. н., професор, зав. кафедрою інженерії програмного забезпечення Національного авіаційного університету. Наукові інтереси: інженерія програмного забезпечення

Максим Георгійович Луцький, Національний авіаційний університет

К. т. н., доцент, перший проректор Національного авіаційного університету. Наукові інтереси: інженерія програмного забезпечення, інформаційні технології.

Інна Володимирівна Гученко, Національний авіаційний університет

Aспірант кафедри інженерії програмного забезпечення Національного авіаційного університету. Наукові інтереси: оцінка зручності використання програмного забезпечення, UML, проектування програмного забезпечення.

Посилання

AbranA. , MooreJ.W. Guide to the Software Engineering Body of Knowledge. April, 2005, - 202р.

Wang. Y. Software engineering foundations: a software science perspective. Auerbach Publications, 2008. -1200 р.

Сидоров Н.А. Применение принципов программной инженерии в преподавании основ программирования. УСиМ. -2. -1999. –с.50-59.

http://dmtsoft.ru/bn/370/as/oneaticleshablon/.

WiederholdG., WegnerP., CeriS. Toward megaprogramming/ Communications of the ACM. November, 1992. Vol. 35, No.11., -р. 88-99.

Carney D., Kisher D., Topics in Interperability Sistem –of-System Evolution – Software Engineering Institute Carnegie Mellon University. March, 2005, - 16р.

##submission.downloads##

Номер

Том 4 № 4 (2010)

Розділ

ТЕОРЕТИЧНІ ОСНОВИ ІНЖЕНЕРІЇ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ