?

Log in

No account? Create an account
November 2016   01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30
cartoon

Миф о документации, продолжение

Posted on 2011.06.18 at 23:06

Comments:


Gaperton
gaperton at 2011-06-19 11:42 (UTC) (Link)
> Я надеюсь непротиворечивость и полнота тоже совершенно автоматически и точно устанавливается за разумное время :)

Доказательство там полностью автоматическое, в результате успешного доказательства генерируется программа. Как-то так.

Этот курс был у моих друзей с другого потока. Им надо было написать квиксорт. Постоянно рассказывали об ощущениях, и матерились страшенно. :)

> На практике же я не могу представить себе полного разделения между тем, кто придумывает как вести тестирование и тем, кто тестирует. Это сродни архитектору, который "архитектурит", а вот работу делают все остальные, при этом на код архитектор не смотрит.

Ага. И сродни главбуху, который разрабатывает план счетов с типовыми проводками для операций, минимизируя налоги, но при этом не отвечает за бухучет.
Lost In Paradox
localstorm at 2011-06-19 11:47 (UTC) (Link)
Да было у меня что-то похожее. Самое сложное, при кажущейся очевидности, это описать требования. Пусть даже не квиксорт, а просто какой-нибудь сорт.

Как описать с использованием далеко не самого мощного выразительного средства концепцию, что были какие-то элементы, а потом их перенумеровали, но при этом не появилось ни новых элементов, ни старых не исчезло и при этом они стали упорядочены -- это сложно. Очень сложно для такой простой задачи.
Lost In Paradox
localstorm at 2011-06-19 11:57 (UTC) (Link)

Ради смеха

Я понимаю, что все понимают, что все это слишком далеко от практики, но тем не менее. Эта мысль мне показалась забавной.

Мне вот интересно, как тюнить первоманс в приложениях, созданных с применением B-Method? Это ж надо нехилое воображение иметь, чтобы написать такую формально корректную спеку, и чтобы код сгенерировался оптимальный. Это, наверное, только изобретателю этого кодогенератора по зубам...
Previous Entry  Next Entry