Формализация и моделирование широко применяются в различных областях современной науки и техники, например:

• В естественных науках (физике, химии и других) строятся формальные модели явлений и процессов. 2 В большинстве случаев для этого используется универсальный математический язык алгебраических формул. 2 В некоторых случаях применяются специализированные формальные языки (в химии — язык химических формул, в музыке — нотная грамота и т. д.). 2
• В проектировании и создании технических устройств, машин и механизмов, зданий, электрических цепей и т. д.. 2 Модели позволяют создать объект с требуемыми свойствами и сократить затраты на доработку изделия по данным испытаний опытных образцов. 3
• В управлении сложными техническими системами. 3 Управление производится компьютерными системами на основе моделей объектов управления, которые позволяют учесть возможные взаимосвязи, ограничения, установить оптимальные режимы функционирования. 3
• В диагностике состояния технических объектов. 3 На основе моделирования аварийных ситуаций получают информацию о состояниях, предшествующих аварии, что позволяет своевременно вывести объект из эксплуатации для проведения ремонта. 3
• В развитии искусственного интеллекта. 3 Методология моделирования и формализации знаний, ориентированная на их компьютерную обработку, является одним из основных направлений развития искусственного интеллекта. 3

Также моделирование используется в науках, где требуется классификация объектов по их внешним признакам (в ботанике, биологии, палеонтологии и других). 2