|
ru.linux
- RU.LINUX ---------------------------------------------------------------------
From : Ruslan Polupan 2:4613/32.42 20 Aug 2005 00:01:48
To : Aleksey Barabanov
Subject : linux для десктопов
--------------------------------------------------------------------------------
Thu Aug 18 2005 21:35, you wrote to Mikhail Gusarov:
>>
>> Под формальной проверкой алгоритмов подразумевается четко очерченная
>> область математики: формальное доказательство корректности программ
>> с использованием таких методик, как model checking, сети петри,
>> описание системы в терминах алгебраических типов и других.
AB> Да понятно, понятно. Точно также можно сказать, что и полной
AB> документации никто никогда не делает.
Создание документации это 60% вpемени и усилий от pазpаботки.
Hе помню но кажется еще больше.
Bye, Aleksey!
... Powered by SuSE 9.3.
--- GEDLNX 1.1.4.7
* Origin: Мнение автора не всегда совпадает с его мыслями. (2:4613/32.42)
Вернуться к списку тем, сортированных по: возрастание даты уменьшение даты тема автор
|
