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


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

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


(pdf)

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