книги по формальным методам спецификации программ

[ ] Разновидности формальных мето

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

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

Текущая версия страницы пока опытными участниками и может значительно отличаться от , проверенной 4 декабря 2012;

Текущая версия страницы пока опытными участниками и может значительно отличаться от , проверенной 4 декабря 2012;

Материал из Википедии ЂЂЂ свободной энциклопедии

Формальные методы ЂЂЂ Википедия