В настоящем учебнике подробно рассмотрена история отечественной технологии программирования, теоретические ее аспекты и парадигмы программирования: модульная, объектно-компонентная и сервисная, а также методы разработки в них отдельных элементов, их сборки в систему с проведением верификации, тестирования систем и оценки качества, обозначены перспективы развития технологий компьютерных программ в направлении нанотехнологий. Инженерия программного обеспечения систем представлена областями знаний стандарта SWEBOK и линиями (Product Lines) изготовления вариантов программных продуктов на основе моделей характеристик и готовых ресурсов (Reuses, Assets, Artifakts и др.). Рассмотрены методы верификации моделей систем, конфигурационная сборка вариантов продуктов с обеспечением их правильности и надежной работы. Кроме того, в издании освещены перспективные дисциплины программной инженерии, веб-семантики и онтологии доменов, а также новые методы и теории SEMAT, направленные на повышения уровня компетентности обучения студентов в области Computer Sciences. Приводится сайт (разработки и обучения технологии создания систем из готовых компонентов повторного использования (КПИ) и интерфейсов.
