Русский | English   поискrss RSS-лента

Главная  → Библиотека

Программная инженерия. Тема 3. Базовые основы программной инженерии

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

Автор: Лаврищева Е.М.

Год издания: 2016

Тема: Из области программирования; Учебное пособие

PDF или ZIP:/books/lavrischeva_3_basics.pdf

Объем: 890 Кб

К списку литературы

Проект Эдуарда Пройдакова
© Совет Виртуального компьютерного музея, 1997 — 2017