Книги по грамотной декомпозиции кода

[ilovb]

Такие есть в природе?

Интересует обычное структурное программирование. Т.е. разбиение на процедуры.
Хочу дать чего-нибудь падавану, но вспомнить ничего такого не могу.

Уже даже была мысль самому написать краткое руководство.

[Geniepro]

Как насчёт виртовской классики "Алгоритмы + структуры данных = программы"?

[ilovb]

Это я ему уже дал. Но разве там есть про декомпозицию? Не припомню...

[Geniepro]

Это я ему уже дал. Но разве там есть про декомпозицию? Не припомню...

Ну тогда другую классику:

Фредерик Брукс "Мифический человеко-месяц или Как создаются программные системы"

[Илья Ермаков]

Не забудьте ещё про Вирта "Систематическое программирование".
Вот там, кажется, step-by-step refinement-у много внимания.

А вообще, для падаванов (и их наставников) очень прописан Кушниренко
- самый обычный "Основы информатики и вычислительной техники",
мехматовский "Программирование для математиков"
и "Как преподавать школьный курс информатики".
http://www.niisi.ru/kumir/books.htm

Нету аналогов по глубине базовой постановки мозгов.

Те из падаванов,кто сначала думает, что "это игрушки, типа, робот на клетках" - не могут обычно написать тривиальный какой-нить цикл для простой визуально задачи на этом клетчатом поле (где нужна конъюнкция/дизъюнкция в условии и т.п.) - и уже не думают, что это игрушки

[trurl]

Лисков Б., Гатэг Дж. " Использование абстракций и спецификаций при разработке программ".

[ilovb]

Лисков Б., Гатэг Дж. " Использование абстракций и спецификаций при разработке программ".

Вах! Похоже оно. 

Всем спасибо.

ps http://mexalib.com/view/34601

[Geniepro]

Лисков Б., Гатэг Дж. " Использование абстракций и спецификаций при разработке программ".

Вах! Похоже оно. 

Всем спасибо.

ps http://mexalib.com/view/34601

Есть у меня такая книга в бумаге, думал -- привести её или не стоит, она же в основном про язык CLU, а не про декомпозицию...
Впрочем, давно я её не перечитывал, может и забыл уже о чём она...