Технология разработки и моделирования вариантов программных систем Мон. (УР) Лаврищева

Серия "Университеты России" позволит высшим учебным заведениям нашей страны использовать в образовательном процессе учебники и учебные пособия по различным дисциплинам, подготовленные преподавателями лучших университетов России и впервые опубликованные в издательствах университетов. Все представленные в этой серии учебники прошли экспертную оценку учебно-методического отдела издательства и публикуются в оригинальной редакции. .Описаны основные положения технологии программирования и инженерии программных продуктов и систем. Изложены отечественные и зарубежные методы разработки сложных программных систем из готовых компонентов повторного использования (КПИ). Рассмотрены подходы к инженерии программных продуктов из КПИ и их вариантов в SPLE (Software Product Line/Product Family), GDM (Generative Programming), Grid и др. Изложен метод сборки программных систем из КПИ с учетом модели характеристик (Feature Model), изменяющей структуру программных продуктов и систем. Описан объектно-компонентный метод моделирования вариантов программных систем и семейств программных систем из КПИ. Излагаются онтология представления доменов, методы извлечения знаний о готовых системах, спецификациях КПИ и доказательстве систем из них. Рассмотрены методы экспертизы, верификации, тестирования и оценки качества систем. Описаны дисциплины SE и методы создания веб-систем в среде Semantic Web и требования стандарта SEMAT к применению теории и методов SE в разработке систем.. .Для разработчиков и специалистов, которые интересуются современными технологиями изготовления отдельных программ и КПИ в разных языках программирования, их сборкой для получения вариантов программных систем и продуктов с обеспечением качества, а также студентов, магистров и специалистов по направлению подготовки "Теория и технология программирования".