В настоящем учебнике подробно рассмотрена история отечественной технологии программирования, теоретические ее аспекты и парадигмы программирования: модульная, объектно-компонентная и сервисная, а также методы разработки в них отдельных элементов, их сборки в систему с проведением верификации, тестирования систем и оценки качества, обозначены перспективы развития технологий компьютерных программ в направлении нанотехнологий. Инженерия программного обеспечения систем представлена областями знаний стандарта SWEBOK и линиями (Product Lines) изготовления вариантов программных продуктов на основе моделей характеристик и готовых ресурсов (Reuses, Assets, Artifakts и др.). Рассмотрены методы верификации моделей систем, конфигурационная сборка вариантов продуктов с обеспечением их правильности и надежной работы. Кроме того, в издании освещены перспективные дисциплины программной инженерии, веб-семантики и онтологии доменов, а также новые методы и теории SEMAT, направленные на повышения уровня компетентности обучения студентов в области Computer Sciences. Приводится сайт разработки и обучения технологии создания систем из готовых компонентов повторного использования (КПИ) и интерфейсов.
V nastojaschem uchebnike podrobno rassmotrena istorija otechestvennoj tekhnologii programmirovanija, teoreticheskie ee aspekty i paradigmy programmirovanija: modulnaja, obektno-komponentnaja i servisnaja, a takzhe metody razrabotki v nikh otdelnykh elementov, ikh sborki v sistemu s provedeniem verifikatsii, testirovanija sistem i otsenki kachestva, oboznacheny perspektivy razvitija tekhnologij kompjuternykh programm v napravlenii nanotekhnologij. Inzhenerija programmnogo obespechenija sistem predstavlena oblastjami znanij standarta SWEBOK i linijami (Product Lines) izgotovlenija variantov programmnykh produktov na osnove modelej kharakteristik i gotovykh resursov (Reuses, Assets, Artifakts i dr.). Rassmotreny metody verifikatsii modelej sistem, konfiguratsionnaja sborka variantov produktov s obespecheniem ikh pravilnosti i nadezhnoj raboty. Krome togo, v izdanii osvescheny perspektivnye distsipliny programmnoj inzhenerii, veb-semantiki i ontologii domenov, a takzhe novye metody i teorii SEMAT, napravlennye na povyshenija urovnja kompetentnosti obuchenija studentov v oblasti Computer Sciences. Privoditsja sajt razrabotki i obuchenija tekhnologii sozdanija sistem iz gotovykh komponentov povtornogo ispolzovanija (KPI) i interfejsov.
