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

Компьютеры - Цикл разработки программного обеспечения - Формальные методы

Формальные методы — математические представления проблемы создания программного обеспечения, а также оборудования на уровнях требований, спецификации, а также дизайна. Как пример можно привести B-Method, Сети Петри, RAISE . Доступны разные формальные нотации спецификаций, такие как Z notation. Чаще всего для создания и валидации приложений и их дизайна используется теория конечных автоматов.

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