Екатерина Михайловна Лаврищева


Учебные пособия Лаврищевой Е.М.

Лаврищева, Е. М. Программная инженерия и технологии программирования сложных систем : учебник для вузов / Е, М. Лаврищева. — М. : Издательство Юрайт, 2017. — 432 с, — Серия : Бакалавр. Академический курс.

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

Лаврищева Е.М. Программная инженерия. Тема 3. Базовые основы программной инженерии. Учебно-методическое пособие. Москва, МФТИ, 2016. 52 с.

Дано определение программой инженерии, представленное П. Науром в 1968 г. на конференции НАТО. Она занимает центральное место в компьютерных науках и информатике. Ориентирована на разработку программного обеспечения (ПО) прикладных и информационных систем разного назначения. Создано ядро знаний SWEBOK (2001), которое включает базовые разделы знаний - разработка требований, проектирование, конструирование, тестирование и сопровождение ПО и организационные разделы - управление проектом, конфигурацией, качеством, методы и средства инженерии ПО. Ядро знаний отображено в процессах жизненного цикла (ЖЦ) стандарта 1SO/1EC 12207 и в ряде парадигм программирования (SCRUM, Reusebility, eXtremal Programming и др.)
Предназначено для преподавания студентам 1-3 курсов, обучающихся в области информатики, программной инженерии и компьютерных наук.

Лаврищева Е.М. Программная инженерия. Тема 2. Технология программирования. Учебно-методическое пособие. Москва, МФТИ, 2016. 52 с.

В учебно-методическом пособии рассматривается вопросы развития технологии программирования - четыре транслятора ТА1-ТА4, системы синтеза, отладки тестирования программ. Дана характеристика технологии разработки крупных систем В.В. Липаева. Определено понятие - сборочное программирование, - основу которого составляют модули и интерфейсы связи через модули-посредники разноязычных программ. Приведена теория модульного программирования и методы доказательства объединяемых из модулей программ математическим аппаратом матриц смежности и достижимости. Приведены методы тестирования модульных программ и точка зрения академика А.П. Ершова на перспективу доказательства программ в системе сборки.
Предназначено для студентов 4-5 курсов, изучающих программную инженерия и технологию программирования.

Лаврищева Е.М. Программная инженерия. Тема 1. Теория программирования. Учебно-методическое пособие. Москва, МФТИ, 2016. 48 с.

Представлены школы по теории программирования (А.А. Ляпунова, Ю.И. Янова, А.П. Ершова, В.М. Глушкова, Е.Л. Ющенко, Г.Е. Цейтлина, В.Н. Редька и др.) на первых ЭВМ. Дана характеристика теории схем программ и автоматов, алгоритмического, алгебраического и синтезирующего программирования. Рассмотрены подходы к формальной спецификации программ и доказательства их правильности. Дана теория композиции и сборки модулей в сложные системы.
Предназначено для преподавания студентам 1-3 курсов, обучающихся в области информатики, программной инженерии и компьютерных наук.

Лаврищева Е.М., Петрухин В.А. Методы и средства инженерии программного обеспечения. Москва, МФТИ, 2007. 415 c.

В учебнике систематически изложены методы программирования , их теория и практика с учетом ядра знаний SWEBOK ( SoftWare Engineering of Body Knowledge ) и положений стандартов программной инженерии. Представлены методы прикладного и теоретического проектирования, методы доказательства, верификация и тестирование, а также методы интеграции и преобразования программ и данных. Определены основы инженерной дисциплины разработки – управление проектом, риском и качеством. Описана инженерия приложений и предметной области на основе повторного использования компонентов, определены подходы и методы их аннотации для накопления, выбора и оценки применимости в новых программных проектах.
Подробнее