oz(1092355) Турский В. Методология программирования. Серия: Математическое обеспечение ЭВМ.

Турский В. Методология программирования. Серия: Математическое обеспечение ЭВМ. Пер. с англ. М.: Мир. 1981г. 264 с.

Охватывает три круга вопросов: основные программные конструкты, модульная структура программ и проектирование программ. Содержание: Основные программные конструкты (Оператор - последовательность - выбор - повторение. Неформальные соображения по поводу правильности. Формальные свойства и не строго детерминированные конструкты. Элементарные структуры. Примеры составных структур. Структуры и операции - алгебры программ. Взаимодействие модулей: Принцип относительной независимости. Преобразования структуры программы. Межмодульные интерфейсы. Неполные спецификации. Асинхронное взаимодействие. Интуитивно выдвигаемые принципы. Формальные свойства. Лингвистические соображения. Проектирование программ: Слои конечного продукта. Аналитический и синтетический подходы к проектированию программ. Получение заранее спроектированной расслоенной структуры. Процесс программирования: Виды деятельности, цели и факторы. Бригадная организация работ. Принципы документирования. Разработка надежных программ. Усовершенствование программ. Сопровождение программ. Для программистов, желающих углубить понимание предмета, для преподавателей, аспирантов и студентов университетов и втузов. Тираж 30 000.