А сайт-то чем виноват? Вам не нравится — не смотрите, кому-то нравится.
За несовершеннолетними должны присматривать родители, пусть вот они и блокируют неугодные сайты.
> Но если говорим о логическом управлении — тут ошибок не должно быть
А как это можно подтвердить, что нет ошибок? :)
К тому же — они все равно будут. Есть занятная работа у QXN про гейзенбаги, где утверждается, что когда несколько потоков работает, программа (на практике) получается недетерминированной. Теоретически, доказать отсутствие ошибок можно, но на практике — маловероятно.
Не бывает продуктов без ошибок :)
Вопрос тут в допустимом и недопустимом риске. Если отказала программа — плохо, но не страшно, если не привело к страшным последствиям.
Есть целое направление, в котором исследуются подобные вопросы — функциональная безопасность. Основная идея в том, что мы не можем сделать абсолютно надежный продукт, но можем снизить интенсивность отказов до определенного уровня (не абстрактного, а заданного в самом начале создания продукта) при помощи конкретного набора мер.
Верифицировать можно не только при помощи математических средств.
Есть несколько стандартов, которые помогают при помощи различных мер снизить интенсивность отказов до некоторого определенного значения.
> Одна из главных проблем W3 состоит в том, что основным инструментом дискуссий являются списки рассылки, обслуживаемые CGI-модулем, разработанным в прошлом веке.
Почему список рассылки — это проблема? Открытым проектам это не мешает.
Как было полно бесполезных коммерческих «вузов», так и осталось.
За несовершеннолетними должны присматривать родители, пусть вот они и блокируют неугодные сайты.
У меня в mplayer тормозит, а в VLC все супер.
www.qnx.com/download/feature.html?programid=21289
А как это можно подтвердить, что нет ошибок? :)
К тому же — они все равно будут. Есть занятная работа у QXN про гейзенбаги, где утверждается, что когда несколько потоков работает, программа (на практике) получается недетерминированной. Теоретически, доказать отсутствие ошибок можно, но на практике — маловероятно.
Вопрос тут в допустимом и недопустимом риске. Если отказала программа — плохо, но не страшно, если не привело к страшным последствиям.
Есть целое направление, в котором исследуются подобные вопросы — функциональная безопасность. Основная идея в том, что мы не можем сделать абсолютно надежный продукт, но можем снизить интенсивность отказов до определенного уровня (не абстрактного, а заданного в самом начале создания продукта) при помощи конкретного набора мер.
Есть несколько стандартов, которые помогают при помощи различных мер снизить интенсивность отказов до некоторого определенного значения.
Почему список рассылки — это проблема? Открытым проектам это не мешает.