Как аксиоматический подход применяется в компьютерных науках?

Аксиоматический подход в компьютерных науках применяется, в частности, для более формального и точного описания процессов программирования. sitito.cs.msu.ru

Некоторые области применения:

• Доказательство корректности программ. cyberleninka.ru Операторы программы при этом рассматриваются как правила вывода специфической дедуктивной системы. cyberleninka.ru Путем доказательства можно проверять правильность результатов исполнения программы при правильных исходных данных. cyberleninka.ru
• Обработка больших потоков данных. sitito.cs.msu.ru Рассматриваются алгоритмы как унарных, так и бинарных операций, и на основе аксиом доказывается их частичная правильность. sitito.cs.msu.ru
• Разработка программного обеспечения. sitito.cs.msu.ru Аксиоматический подход позволил решить ряд задач в этой области для различных системных и прикладных областей. sitito.cs.msu.ru
• Аспектно-ориентированное программирование. cyberleninka.ru philomatica.org Этот подход используется для повышения эффективности программной реализации аспектов, которые не поддаются локализации в рамках отдельных модулей, а «рассеиваются» по всей системе. cyberleninka.ru philomatica.org Примеры аспектов: ведение журналов функционирования системы, защита информации и т. д.. cyberleninka.ru
• Автоматизация дедуктивного вывода. cyberleninka.ru philomatica.org Для этой цели создаются программы, предназначенные для доказательства теорем. cyberleninka.ru philomatica.org