русс | укр

Языки программирования

ПаскальСиАссемблерJavaMatlabPhpHtmlJavaScriptCSSC#DelphiТурбо Пролог

Компьютерные сетиСистемное программное обеспечениеИнформационные технологииПрограммирование

Все о программировании


Linux Unix Алгоритмические языки Аналоговые и гибридные вычислительные устройства Архитектура микроконтроллеров Введение в разработку распределенных информационных систем Введение в численные методы Дискретная математика Информационное обслуживание пользователей Информация и моделирование в управлении производством Компьютерная графика Математическое и компьютерное моделирование Моделирование Нейрокомпьютеры Проектирование программ диагностики компьютерных систем и сетей Проектирование системных программ Системы счисления Теория статистики Теория оптимизации Уроки AutoCAD 3D Уроки базы данных Access Уроки Orcad Цифровые автоматы Шпаргалки по компьютеру Шпаргалки по программированию Экспертные системы Элементы теории информации

Формальные методы

Формальные методы ( англ. Formal methods ) - в компьютерных науках, построенные на математике методы написания спецификаций, разработки и проверки ( англ.verification ) программного обеспечения и компьютерного оборудования. Этот подход особенно важен для встроенных систем , для которых важны надежность или безопасность, для защиты от ошибок в процессе разработки. Применение формальных методов особенно эффективно на ранних этапах написания требований и спецификаций, но они также могут применяться для полностью формальной разработки реализации (например, программы).

 

Таксономия

Формальные методы могут быть применены на нескольких уровнях:

Уровень 0
Написание формальной спецификации и неформализованная разработка, на ее основе, программы . Такой подход, также, называется упрощенные формальные методы. Он может быть самым оптимальным подходом с точки зрения затрат во многих случаях.
Уровень 1
Формальный подход к разработке и проверки программного обеспечения может использоваться для более формально реализации программы. Например, может выполняться доведение свойств или уточнения ( англ. refinement ) с формальной спецификации в программе. Такой подход наиболее оптимальный во встроенных системах, которые должны иметь высокий уровень безопасности или надежности.
Уровень 2
Возможно применение систем автоматического доказательства теорем для проведения полностью автоматизированной проверки доказательства теорем. Это может быть слишком дорого, и, на практике, применяется в случаях, когда цена ошибки может быть слишком высокой (например, в критически важных частях схемы микропроцессоров ).

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

Вернуться воглавление




Карта сайта Карта сайта укр


Уроки php mysql Программирование

Онлайн система счисления Калькулятор онлайн обычный Инженерный калькулятор онлайн Замена русских букв на английские для вебмастеров Замена русских букв на английские

Аппаратное и программное обеспечение Графика и компьютерная сфера Интегрированная геоинформационная система Интернет Компьютер Комплектующие компьютера Лекции Методы и средства измерений неэлектрических величин Обслуживание компьютерных и периферийных устройств Операционные системы Параллельное программирование Проектирование электронных средств Периферийные устройства Полезные ресурсы для программистов Программы для программистов Статьи для программистов Cтруктура и организация данных


 


Полезен материал? Поделись:

Не нашли то, что искали? Google вам в помощь!

 
 

© life-prog.ru При использовании материалов прямая ссылка на сайт обязательна.