Институт системного программирования им. В.П. Иванникова РАН


Программная инженерия. Тема 2. Технология программирования.

Авторы

Лаврищева Е.М.

Аннотация

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

Издание

Учебно-методическое пособие. Москва, МФТИ, 2016. 52 с.

Научная группа

Технологии программирования

Все публикации за 2016 год Все публикации