|
ru.linux
- RU.LINUX ---------------------------------------------------------------------
From : Aleksey Barabanov 2:5020/400 18 Aug 2005 21:35:07
To : Mikhail Gusarov
Subject : Re: linux для десктопов
--------------------------------------------------------------------------------
Mikhail Gusarov wrote:
>
> You (abb@wessen.ru) wrote:
>
> AB> Hо представьте, что в общении с клиентом вы заявите, что
>
> AB> - вообще не озабочены никакой формальной проверкой того что
> AB> написали, лишь бы оно один раз сработало,
>
> Под формальной проверкой алгоритмов подразумевается четко очерченная
> область математики: формальное доказательство корректности программ с
> использованием таких методик, как model checking, сети петри, описание
> системы в терминах алгебраических типов и других.
Да понятно, понятно. Точно также можно сказать, что и полной документации
никто никогда не делает.
Hо вопрос не в достижении конечного идеального результата, а в
"озабоченности" !
Вот я озабочен, как формальной проверкой, так и написанием документации, и
точно также проч. дизайновыми излишествами. Другое дело, что я "далеко не
всегда", или даже "обычно не" делаю этого ;)
--
Bye.
Aleksey Barabanov <alekseybb at mail.ru>
--- ifmail v.2.15dev5.3
* Origin: home (2:5020/400)
Вернуться к списку тем, сортированных по: возрастание даты уменьшение даты тема автор
|
