URSS.ru - Издательская группа URSS. Научная и учебная литература
Об издательстве Интернет-магазин Контакты Оптовикам и библиотекам Вакансии Пишите нам
КНИГИ НА РУССКОМ ЯЗЫКЕ


 
Вернуться в: Каталог  
Обложка Турский В. Методология программирования. Пер. с англ.
Id: 35234
 
599 руб.

Методология программирования. Пер. с англ.

1981. 272 с. Мягкая обложка. Букинист. Состояние: 4. .

 Аннотация

Монография, написанная профессором Варшавского университета, отражает коллективный опыт Рабочей группы по методологии программирования Международной федерации по обработке информация (в группу входили Н. Вирт, У. Дал, Э. Дейкстра, Д. Грис, Ч. Хоар и др.). Она охватывает три круга вопросов: основные программные конструкты, модульная структура программ и проектирование программ.

Для программистов, желающих углубить понимание предмета, для преподавателей, аспирантов и студентов университетов и втузов.


 Оглавление

Предисловие редактора перевода................. 5

Предисловие........................... 7

Как пользоваться этой книгой,,................. 10

1. Введение........................... 11

2. Основные программные конструкты.............. 16

2.1, Операции......................... 17

2.1.1. Оператор --- последовательность --- выбор --- повторение........................ 17

2.1.2. Неформальные соображения по поводу правильности. 35

2.1.3. Формальные свойства и не строго детерминированные конструкты..................... 43

2.2. Данные.......................... 58

2.2.1. Элементарные структуры............... 58

2.2.2. Примеры составных структур............ 70

2.2.3. Структуры и операции --- алгебры программ..... 79

3. Взаимодействие модулей................... 90

3.1. Модули и процедуры................... 91

3.1.1. Принцип относительной независимости........ 91

3.1.2. Преобразования структуры программы....... 107

3.1.3. Межмодульные интерфейсы............. 116

3.1.4. Неполные спецификации............... 124

3.2. Асинхронное взаимодействие................ 133

3.2.1. Интуитивно выдвигаемые принципы......... 133

3.2.2. Формальные свойства................ 144

3.2.3. Лингвистические соображения............ 156

4. Проектирование программ................... 165

4.1. Решение проблемы.................... 166

4.1.1. Слои конечного продукта.............. 166

4.1.2. Аналитический и синтетический подходы к проектированию программ.................... 175

4.1.3. Получение заранее спроектированной расслоенной структуры........................ 193

4.2. Процесс программирования................ 202

4.2.1. Виды деятельности, цели и факторы.......... 202

4.2.2. Бригадная организация работ........... 209

4.2.3. Принципы документирования............. 218

4.3. Разработка надежных программ............... 227

4.4. Усовершенствование программ.............. 238

4.5. Сопровождение программ................. 247

Список литературы,,....................... 256

 
© URSS 2016.

Информация о Продавце