- Об институте
- Инновации
- Структура
- Отдел "Архитектуры вычислительных систем"
- Отдел "Информационных систем"
- Отдел "Компиляторных технологий"
- Отдел "Системного программирования"
- Отдел "Системной интеграции и прикладных программных комплексов"
- Отдел "Теоретической информатики"
- Отдел "Технологий программирования"
- Ученый совет
- Диссертационный совет
- Центр верификации ОС Linux
- Исследовательский центр доверенного искусственного интеллекта
- Центр компетенции по параллельным и распределенным вычислениям
- Образование
- Издания
- Новости
- Лицензии
Учебные пособия Лаврищевой Е.М.
- О Лаврищевой Е.М.
- Аннотированный список научных работ
- Монографии
- Учебные пособия
- Статьи
- Доклады
- Лекции
- Программная инженерия (сайт)
Новости
Учебные пособия Лаврищевой Е.М.
Лаврищева Е.М. Программная инженерия. Тема 2. Технология программирования. Учебно-методическое пособие. Москва, МФТИ, 2016. 52 с.
(pdf)
В учебно-методическом пособии рассматривается вопросы развития технологии программирования - четыре транслятора ТА1-ТА4, системы синтеза, отладки тестирования программ. Дана характеристика технологии разработки крупных систем В.В. Липаева. Определено понятие - сборочное программирование, - основу которого составляют модули и интерфейсы связи через модули-посредники разноязычных программ. Приведена теория модульного программирования и методы доказательства объединяемых из модулей программ математическим аппаратом матриц смежности и достижимости. Приведены методы тестирования модульных программ и точка зрения академика А.П. Ершова на перспективу доказательства программ в системе сборки. Предназначено для студентов 4-5 курсов, изучающих программную инженерия и технологию программирования.