> -- Илья Ермаков писал(а):
> Извлечение из  «Ф. Бьякуцци, Ш. Уорден. Пионеры программирования. Диалоги с создателями наиболее популярных языков программирования» (со с. 1059).	Извлечено Ермаковым И.Е. ...Да... любопытно, что наконец в сферу внимания попали следствия из инжпсихологоконцепции "скрытого диалога" (показана на примере вэтом посте)... это я о доверии.Уже высказывалсяздесьиздесь, в частности.

В то же время всё это, думаю, стоит поверять как раз положениямиФёдорова. В частности, тут сертификация абсолютизируется - а Фёдоров как раз показывает, что происходит, если это делается некритически, "мёртворождённо" (на примере ТЮФ). В сущности, классический вопрос секьюритологии - "Кто устережёт стражников?".

Хотя идею "офизичивания" кода размещением его на конкретной платформе автор отделяет от проблем безопасности - на самом деле проблема несанкционированного использования вычислительных возможностей в общем случае сохраняется.

Забавно отношение к научным основам программирования... это как раз когда результаты Амира Пнуэли и других, упомянутых уКарпова(а вероятно есть и не упомянутые) уже ставят программу в ряд объектов исследования...

О разделении труда среди разработчиков у меня есть представление - см.этот пост. Конечно, это опять т.зр. "предметника"