Аннотация

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

Аннотация

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

Аннотация

В учебнике рассмотрены парадигмы, технологии и Case-средства для разработки сложных компьютерных систем из программных ресурсов разных парадигм программирования. В первом разделе даны базовые понятия программной инженерии и метода сборки разноязычных модулей в сложные системы, а также средства автоматизации и реинженерии ресурсов и систем. Во втором разделе приведены новые формальные механизмы парадигм программирования (модульной, объектной, компонентной, аспектной и сервисной). Дано определение метода сборки ресурсов названных парадигм в сложные системы. В третьем разделе описаны технологии, линии изготовления элементов парадигм, их конфигурационной сборки, инженерии качества и CASE-средства поддержки парадигм и обучения языкам С#, JAVA, VBasic в среде веб-сайтов ИТК и фабрики программ КНУ. Текст книги сопровождается рисунками и таблицами.