Программная инженерия и технологии программирования сложных систем, учебник для вузов
| প্রধান লেখক: | |
|---|---|
| সংস্থা লেখক: | , |
| সংক্ষিপ্ত: | Описаны основные положения технологии программирования и инженерии программных продуктов и систем. Изложены отечественные и зарубежные методы разработки сложных программных систем из готовых компонентов повторного использования (КПИ). Рассмотрены подходы к инженерии программных продуктов из КПИ и их вариантов в SPLE (Software Product Line/Product Family), GDM (Generative Programming). Grid и др. Изложен метод сборки программных систем из КПИ с учетом модели характеристик (Feature Model), изменяющей структуру программных продуктов и систем. Описан объектно-компонентный метод моделирования вариантов программных систем и семейств программных систем из КПИ. Излагаются онтология представления доменов, методы извлечения знаний о готовых системах, спецификациях КПИ и доказательстве систем из них. Рассмотрены методы экспертизы, верификации, тестирования и оценки качества систем. Описаны дисциплины SE и методы создания веб-систем в среде Semantic Web и требования стандарта SEMAT к применению теории и методов SE в разработке систем. |
| ভাষা: | রুশ |
| প্রকাশিত: |
Москва, Юрайт, 2019
|
| সংস্করন: | 2-е изд., испр. и доп. |
| মালা: | Бакалавр. Академический курс |
| বিষয়গুলি: | |
| বিন্যাস: | গ্রন্থ |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=327854 |
| দৈহিক বর্ননা: | 432 с. ил. |
|---|---|
| সংক্ষিপ্ত: | Описаны основные положения технологии программирования и инженерии программных продуктов и систем. Изложены отечественные и зарубежные методы разработки сложных программных систем из готовых компонентов повторного использования (КПИ). Рассмотрены подходы к инженерии программных продуктов из КПИ и их вариантов в SPLE (Software Product Line/Product Family), GDM (Generative Programming). Grid и др. Изложен метод сборки программных систем из КПИ с учетом модели характеристик (Feature Model), изменяющей структуру программных продуктов и систем. Описан объектно-компонентный метод моделирования вариантов программных систем и семейств программных систем из КПИ. Излагаются онтология представления доменов, методы извлечения знаний о готовых системах, спецификациях КПИ и доказательстве систем из них. Рассмотрены методы экспертизы, верификации, тестирования и оценки качества систем. Описаны дисциплины SE и методы создания веб-систем в среде Semantic Web и требования стандарта SEMAT к применению теории и методов SE в разработке систем. |
| আইসবিএন: | 9785534076042 |