срочно рекомендую испробовать методологии agile (scrum, kanban)
и ессно надо сработанный коллектив, и тогда - невозможное становится более возможным ;-)

bilbobagginz, по-моему ты невнимательно прочитал мой ответ. Правильность - недостижима даже теоретически(если речь идёт не об абстрактных задачах, типа математических), никакая методология тут не поможет. 
Да и вообще программы на императивных языках неверифицируемы по своей природе, поэтому в лучшем случае возможна только формальная верификация на основе спецификации, не имеющая никакого отношения к правильности, т.к. в самой спецификации в 99.9% случаев полно разнокалиберных ошибок. Что мы видим даже в этой теме: спецификация всего 6 строчек и то с ошибками, что уж говорить о спецификациях, к примеру, на 60 листов.

вообщето данная задача плохо сформулирована не из-за того, что ея низзя сформулировать корректно.
я надеюсь в этом ни у кого сомнения нет.

понимаю, что жизненные задачи сложны, НО не все их аспекты интересны.
инженер должен в кооперации с клиентом прийти к общему знаменателю наиболее важных клиенту свойств ПО, которые можно формально или полуформально изложить, т.е. написать под них ПО, по крайней мере это так как у нас делают (ну или пытаются).
Да, source777, программ без багов не существует (по теории).
но на практике нужен какой-то идеал... ;-)
и если классифицировать свойства, то аджильной методологией наиболее важные с т.з. клиента свойства будут реализованы наиболее корректно.

Конечно, учебные задачи возможно сформулировать без ошибок, однако на практике даже такое встречается крайне редко, несмотря на сравнительно лёгкую достижимость: где-то в 10000-100000 раз проще, чем для реальной задачи. 



С позиции корректности - да, а с позиции правильности - все аспекты интересны и одинаково важны. В этом и заключается недостижимость правильности.



Я прекрасно знаком с Agile и даже практикую его, но повторюсь ещё раз, к правильности эти методологии никакого отношения не имеют. Спринты, приоритеты и даже митинги - всё это противоречит критерию правильности, т.к. правильность - понятие неделимое, безотносительное и объективное.

P.S. Предлагаю закончить оффтопик, думаю мы друг друга поняли.

  

Тоже читаю сейчас эту книгу, мучал эту задачу дня два. Решение делал исходя из изложеного материала в предыдущих главах. Вот что вышло:

У меня вопрос другого характера по поводу этой книги. Там на 48 странице есть одно задание где нужно написать: "авайте напишем программу, которая просит нас ввести сколько угодно слов (по 
одному слову в строке до тех пор, пока мы не нажмём  Enter  на пустой строке) и 
которая затем повторяет нам эти слова в алфавитном порядке."

Я ее написал так:

Но как я уже выше написал, на 48 странице просят еще:
"Попробуйте   написать   указанную   программу  без  использования   метода  sort. "

Ума не приложу, как без sort отсортировать   

Написать свой метод sort, очевидно же.

Тоже читаю сейчас эту книгу, мучал эту задачу дня два. Решение делал исходя из изложеного материала в предыдущих главах. Вот что вышло:

mw17, в твоём алгоритме встречаются не високосные года, такие как 1800. В книге об этом сказано - «Однако,  годы,  нацело делящиеся на 100,  — не високосные (как 1800 и 1900) если только они не делятся нацело на 400...»


Вот ещё один вариант кому интересно.