On Tuesday 28 March 2006 17:26, Artem Chuprina wrote: > А, ну-ну... Хинт: чтобы это работало, надо построить _полную_ систему > этих самых правил. Доказать ее полноту и дать специально образованным > людям проверить доказательство. И после каждого изменения в программе > проверять, не нарушили ли где протокол. Каковая проверка ой, не всегда > бывает локальной операцией...
Ой, страшно как... Что, бросать программы писать, и подаваться в управдомы? Или не искать способов посложнее, тем более, что "специально образованные люди", как показала практика, часто сами не понимают о чём говорят. -- Anton Petrusevich -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
