Категория : Формальные методы
 | Страницы этой категории следует переместить в подкатегории, если это применимо. Эта категория может потребовать частого обслуживания, чтобы не стать слишком большой. Он должен содержать очень мало страниц, если они вообще есть, и в основном содержать подкатегории. |
Формальные методы — это математические подходы к программного и аппаратного обеспечения компьютерных систем, разработке начиная с требований , спецификации и проектирования и заканчивая программированием и реализацией . Они образуют важную теоретическую основу для разработки программного обеспечения , особенно там, где . безопасности речь идет о Формальные методы являются полезным дополнением к тестированию программного обеспечения, поскольку они помогают избежать ошибок, а также могут служить основой для тестирования. Для промышленного использования требуется поддержка инструмента.
Подкатегории
Эта категория имеет следующие 18 подкатегорий из 18.
А
л
М
О
- Организации формальных методов ( 11 Б)
п
- Вывод программы ( 2 П)
- Логика программы ( 4 Б)
- Публикации по формальным методам ( 8 Б)
С
Т
- Терминология формальных методов ( 8 Б)
- Машина Тьюринга ( 31 С)
С
- Обозначение Z ( 19 P)
С
Страницы в категории «Формальные методы»
Следующие 102 страницы относятся к этой категории из 102 страниц. Этот список может не отражать последние изменения .
А
- Абстрактная машинная запись
- Абстрактная государственная машина
- Конференция АБЗ
- Алгебраическая семантика (информатика)
- Алгебраическая спецификация
- Характеристики алгоритма
- И-инверторный граф
- Универсальные грамматические приложения
- Утверждение (разработка программного обеспечения)
- Асинхронная система
- Автоматизированное доказательство теорем
Б
С
Д
я
л
п
- ПлюсКал
- POPLmark вызов
- Постусловие
- Предварительное условие
- Семантика преобразователя предикатов
- Предикативное программирование
- Протокол квалификации производительности процесса
- Квалификация процесса
- Проверка процесса
- Контроль производственного оборудования
- Теория обещаний
- Код подтверждения
- Доказуемо безопасная операционная система
вопрос
р
С
- Критическая система безопасности
- SAT-решатель
- Теории выполнимости по модулю
- Семантическое пространство-время
- Семантика (информатика)
- Теория множеств
- СИГНАЛ (язык программирования)
- проект SLAM
- Перечисление пространства состояний
- Статический временной анализ
- Статистический статический временной анализ
- Строгая функция
- Заикающаяся эквивалентность
- Символическое моделирование
- Синтаксические методы