Интернет магазин китайских планшетных компьютеров |
|
Компьютеры - Формальные методы - Критика формальных методов22 января 2011Оглавление: 1. Формальные методы 2. Разновидности формальных методов 3. Использование формальных методов 4. Критика формальных методов Легко догадаться, какие претензии предъявляются к формальным методам: доказательства вручную требуют серьёзных вложений времени и не дают никакой выгоды, кроме подтверждения правильности. В результате формальные методы используются или в тех областях, где доказательства можно получить автоматически программным путём, или в тех, где цена ошибки слишком высока. Например, при создании космических аппаратов или магнитно-резонансных томографов необнаруженные ошибки приводят к гибели людей, а при проектировании интерфейсов пользователя или браузеров — в худшем случае к порче настроения, поэтому в первых двух случаях формальные методы будут применяться, а в последних — нет. Абстракции, нотации и языки формальных методов
Просмотров: 3440
|