Создание формальной модели разрабатываемого по ис.
Вики. Сайт.
В информатике и инженерии программного обеспечения формальными методами называется группа техник, основанных на математическом аппарате для спецификации, разработки и верификации программного и аппаратного обеспечения[1]. Использование формальных методов для проектирования программного и аппаратного обеспечения обусловлено ожиданиями того, что, как и в других инженерных областях, использование математического анализа может существенно поднять надёжность систем[2]. При этом формальные методы довольно сложны, требуют специальной подготовки, временных и ресурсных вложений, и при этом нередко основываются на не всегда достижимых в реальных условиях предположениях. Это приводит к тому, что формальные методы чаще всего находят применение в проектировании высокоточных систем, где важность безопасностиоправдывает любые средства.
Формальные методы занимаются приложением довольно широкого класса фундаментальных техник теоретической информатики: разные исчисления логики, формальных языков, теории автоматов, формальной семантики, систем типизации и алгебраических типов данных[3].
Формальная модель строится относительно легко и в этом случае путем введения понятия активности компонента. Можно представить себе модель, в которой коэффициент активности учитывает все взаимодействия, а затем изменение какого-либо свойства рассчитывается по законам идеальных систем. Например, давление пара летучего компонента над бинарным растре ром может быть найдено следующим образом: Р Р а Р х, и, хотя это уравнение позволяет описать зависимость давления от состава достаточно точно, к пониманию природы раствора такой путь не приблизит нас ни на шаг.
Классификация моделей разрабатываемого программного обеспечения, используемых на этапе определения спецификаций.
Сайт.
В рамках структурного подхода на этапе анализа и определения спецификаций используют три типа моделей: ориентированные на функции, ориентированные на данные и ориентированные на потоки данных. Каждую модель целесообразно использовать для своего специфического класса программных разработок.
На рис.1 показана классификация моделей разрабатываемого программного обеспечения, используемых на этапе определения спецификаций.
