Comments:
hedgeov at 2011-06-19 17:52 (UTC)
(Link)Касательно формальной спецификации: был у меня практический опыт работы с кодом, генерированным из UML, непротиворечивого и полного. В общем там было всё ооооочень плохо :) Практическая рекомендация опытных коллег была такая: эта хрень точно и без ошибок умеет вот эту функцию выполнять, проверяли. Если тебе надо еще и вот это вот использовать -- напиши своё, то что есть ну очень кривое и не чинится за разумное время.
(Reply) (Parent) (Thread)
