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


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

Лаврищева Е.М. Программная инженерия. Тема 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 ) и положений стандартов программной инженерии. Представлены методы прикладного и теоретического проектирования, методы доказательства, верификация и тестирование, а также методы интеграции и преобразования программ и данных. Определены основы инженерной дисциплины разработки – управление проектом, риском и качеством. Описана инженерия приложений и предметной области на основе повторного использования компонентов, определены подходы и методы их аннотации для накопления, выбора и оценки применимости в новых программных проектах.
Подробнее