Интернет магазин китайских планшетных компьютеров



Компьютеры - Формальные методы

22 января 2011


Оглавление:
1. Формальные методы
2. Разновидности формальных методов
3. Использование формальных методов
4. Критика формальных методов



Пример формальной спецификации с использованием Z-нотации

В информатике и инженерии программного обеспечения формальными методами называется группа техник, основанных на математическом аппарате для спецификации, разработки и верификации программного и аппаратного обеспечения. Использование формальных методов для проектирования программного и аппаратного обеспечения обусловлено ожиданиями того, что, как и в других инженерных областях, использование математического анализа может существенно поднять надёжность систем. При этом формальные методы довольно сложны, требуют специальной подготовки, временных и ресурсных вложений, и при этом нередко основываются на не всегда достижимых в реальных условиях предположениях. Это приводит к тому, что формальные методы чаще всего находят применение в проектировании высокоточных систем, где важность безопасности оправдывает любые средства.

Формальные методы занимаются приложением довольно широкого класса фундаментальных техник теоретической информатики: разные исчисления логики, формальных языков, теории автоматов, формальной семантики, систем типизации и алгебраических типов данных.



Просмотров: 1684


<<< Философия UNIX
Функциональная спецификация >>>