[room] программирование и математика

[Vasya Makarov]

Michael Shigorin пишет:
> On Thu, Dec 01, 2005 at 02:08:33PM +0300, Денис Смирнов wrote:
> 
>>И дело-то в том, что понятно как это решать грамотно -- SIP-стэк это в
>>первую очередь конечный автомат. Надо написать собственный язык
>>программирования, который бы содержал в себе средства для описания
>>конечного автомата такого типа и действий вида "послать сообщения",
>>"вызвать такую-то функцию", и содержал встроеные средства безопасности.
>>
>>Так, и только так, можно гарантировать надёжность работы всего лишь одного
>>этого модуля. И подготовка тут требуется и математическая, и
>>алгоритмическая, и много какая ещё.
>>
>>Мне это не под силам. Судя по коду Asterisk -- его авторам тоже.
> 
> 
> А ты (или ещё кто) это там хоть озвучил вот примерно в таком виде?
> 
> Анализ -- штука не всегда простая, когда от и до в коде с ушами.
> Вылезли -- ба, опять в код надо, только уже переписывать.
> 
К сожалению плохо учат программистов (у нас, за бугром не знаю). 
Подход "Программа готова, осталось только записать" мало 
распространён. И тут не столько математика поможет, сколько 
комплексный подход - поддержку просчитать до того как приступать 
к написанию кода, ИМХО.
-- 
Regards,
Vasya